Математическая логика. Контрольная работа (вариант 20)

565430E3-B65E-4BF5-A5BB-A57DAB6459C0.rar [114 KB]

вар 20.docx [118 KB]

Необходимые программы

Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:

Microsoft Word

Что делать, если файл не открывается

Описание

Контрольная работа

Задание к контрольной работе № 1
Исследовать на равносильность формулы f1, f2 и f3, заданные в дизъюнктивной нормальной форме, двумя способами:
1) путем их представления (на основе равносильных формул алгебры логики) в виде совершенных конъюнктивных нормальных форм с подтверждением правильности реструктуризации исходных формул построением их таблиц истинности;
2) путем представления заданных формул f1, f2 и f3 в виде полиномов Жегалкина, формируемых двояко: а) на основе формулы Жегалкина; б) на основе метода неопределенных коэффициентов.

Задание к контрольной работе № 2. Часть 1.
1) Методом от противного выяснить, верно ли предложенное логическое следование. Справедливость полученного вывода подтвердить решением этой же задачи на основе определения понятия логического следования.
2) Найти все не равносильные между собой и не тождественно истинные формулы алгебры высказываний, являющиеся логическими следствиями заданных формул-посылок F1, F2,….
3) Найти все не равносильные между собой и не тождественно ложные формулы алгебры высказываний, для которых заданная формула G является логическим следствием.
Задание к контрольной работе № 2. Часть 2.
4) Построить релейно-контактную схему, заданную формулой А, и определить ее функцию проводимости; провести минимизацию схемы.
5) Вывести формулу для указанного ряда Sn и обосновать ее справедливость методом математической индукции.

Задание к контрольной работе № 3
1. Составить программу, таблицу соответствия и граф алгоритма для машины Тьюринга по заданной начальной и конечной конфигурации, используя алфавит A={|,#}.
2. Проверить решение на некоторых значениях аргументов.

Дополнительная информация

Методические указания к выполнению контрольных работ для студентов заочной формы обучения
направления подготовки "Информатика и вычислительная техника"

Контрольная работа по дисциплине "Математическая логика". Вариант №20

1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: 1. E(x, y) = И <=> x и y – один и тот же человек; 2. P(x, y) = И <=> x родитель y; 3. C(x, y) = И <=> x и y – супруги; 4. M(x) = И <=> x – мужчина; 5. W(x) = И <=> x – женщина. С использованием этих предикатов записать формулы, выражающие следующее утверждения: Некоторые супруги бездетны 3) Привести формулу к п

Математика вычислительная Работа

sinikiss : 19 сентября 2013

150 руб.

«Математическая логика и теория алгоритмов» Контрольная работа. Вариант №20

Контрольная работа по предмету Математическая логика и теория алгоритмов вариант №20 оценка зачет 1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 2. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z =>1) Проверить работу машины Тьюринга для конкретных значений x , y , z .

Математика Работа Контрольная

fitaria : 27 августа 2013

150 руб.

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20

Вариант No20 Задача 1. Построить таблицу истинности логической формулы. 20. (A⟶(B⟶C))⟶((A⟶B)~(A⟶C)) Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции. 20. Если подозреваемый совершил кражу, то кража была тщательно подготовлена. Если бы кража была тщательно подготовлена, то если бы был соучастник, украдено было бы гораздо больше. Значит, подозреваемый не виновен. Задача 3. В формуле указать свободные и связанные пе

СибГУТИ Математическая логика и теория алгоритмов Работа Контрольная

IT-STUDHELP : 2 января 2020

680 руб.

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 20

Исчисление высказываний 1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда я свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин. Исчисление предикатов 3. Пользуясь определением формулы логики п

ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная

Учеба "Под ключ" : 25 октября 2017

700 руб.

Математическая логика. Контрольная работа

Вариант 5. 1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: 3. Привести формулу к предваренной форме 4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z ≥ 1) Проверить работу машины Тьюринга для конкретных значений x , y , z . 5.Пока

Математика СибГУТИ Работа Контрольная

zhdv : 5 апреля 2011

300 руб.

Контрольная работа № 1 по дисциплине: Математическая логика и теория алгоритмов. Вариант №20

1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. 2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты: 1. E(x, y) = И <=> x и y – один и тот же человек; 2. P(x, y) = И <=> x родитель y; 3. C(x, y) = И <=> x и y – супруги; 4. M(x) = И <=> x – мужчина; 5. W(x) = И <=> x – женщина. 3) Привести формулу к предваренной форме 4) Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Ть

СибГУТИ Логика Работа Контрольная

Despite : 29 апреля 2013

150 руб.

Контрольная работа по дисциплине: Математическая логика.

Задание 2. Привести следующие формулы к минимальной КНФ. 3. ; Задание 3.Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций. 15. ; Задание 4.Минимизировать логическую функцию F(a, b, c), заданную ТИ (табл.1), с помощью четырех методов: 1. Методом Квайна; 2. Методом испытания импликант; 3. Методом импликантных матриц; 4. Методом карт Карно. Сравнить полученные минимизированные формы функции. Таблица 1- ТИ функции Fi,

Математическая логика и теория алгоритмов Работа Контрольная

IT-STUDHELP : 5 октября 2023

350 руб.

Математическая логика и теория алгоритмов - Контрольная работа

Контрольная работа "Математическая логика и теория алгоритмов" вариант 2

СибГУТИ Математическая логика и теория алгоритмов Работа Контрольная

Дарья140 : 4 января 2024

300 руб.

ЭКЗАМЕНАЦИОННАЯ РАБОТА по дисциплине «Антенны и распространение радиоволн»

При распространении электромагнитной волны через свободное пространство непосредственно от передающей антенны к приёмной, мощность на входе приёмника зависит от коэффициента усиления приёмной антенны 1) прямо пропорционально 2) прямо пропорционально квадратному корню из КУ 3) обратно пропорционально 4) обратно пропорционально квадратному корню из КУ ...

ДО СИБГУТИ Антенно - фидерные устройства Работа Экзаменационная

mike0307 : 24 января 2023

300 руб.

Курсовая работа по дисциплине «Финансовый менеджмент». вариант №1

1. Теоретическая часть Рассмотреть теоретическое содержание вопроса: Управление дебиторской задолженностью. Содержание: Введение………………………………………………………………………….4 1. Определение дебиторской задолженности…………………………………4 2. Цели и задачи управления дебиторской задолженностью………………...5 3. Классификация дебиторской задолженности………………………………5 4. Основные приемы управления дебиторской задолженностью……………7 5. Формирование политики управления дебиторской задолженностью предприятия…………………………………………………………………

Финансовый менеджмент СибГУТИ Работа Курсовая

Albinashiet : 2 октября 2015

200 руб.

Конструкторская часть.Расчет приспособления для правки арок автомобиля

Расчет приспособления для правки арок автомобиля. Хорошая работа на 4 или 5. Графическая часть:Сборочный чертеж, 17 элементов деталировки. Теоретическая часть: 1 Анализ Прототипов. 2 Описание предлагаемой конструкции. 3 Расчет на прочность.

Диплом и связанное с ним Автомобильный транспорт

Botanbotan : 15 марта 2014

700 руб.