Математическая логика. Контрольная работа (вариант 20)
-
Категории:
Задачи, Санкт – Петербургский государственный технический университет, Математика вычислительная
-
Добавлен:
07.02.2014
-
Размер:
114 KB
-
Покупок:
0
-
Добавил:
margarit04ka
Написать сообщение
Скачать
Состав работы
|
вар 20.docx
|
Необходимые программы
Работа представляет собой 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. Проверить решение на некоторых значениях аргументов.
Задание к контрольной работе № 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
sinikiss
: 19 сентября 2013
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
fitaria
: 27 августа 2013
Контрольная работа по предмету Математическая логика и теория алгоритмов вариант №20 оценка зачет
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z =>1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
fitaria
: 27 августа 2013
150 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20
IT-STUDHELP
: 2 января 2020
Вариант No20
Задача 1. Построить таблицу истинности логической формулы.
20. (A⟶(B⟶C))⟶((A⟶B)~(A⟶C))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
20. Если подозреваемый совершил кражу, то кража была тщательно подготовлена. Если бы кража была тщательно подготовлена, то если бы был соучастник, украдено было бы гораздо больше. Значит, подозреваемый не виновен.
Задача 3. В формуле указать свободные и связанные пе
IT-STUDHELP
: 2 января 2020
680 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 20
Учеба "Под ключ"
: 25 октября 2017
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда я свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.
Исчисление предикатов
3. Пользуясь определением формулы логики п
Учеба "Под ключ"
: 25 октября 2017
700 руб.
Математическая логика. Контрольная работа
zhdv
: 5 апреля 2011
Вариант 5.
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z ≥ 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
5.Пока
zhdv
: 5 апреля 2011
300 руб.
Контрольная работа № 1 по дисциплине: Математическая логика и теория алгоритмов. Вариант №20
Despite
: 29 апреля 2013
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 руб.
Контрольная работа по дисциплине: Математическая логика.
IT-STUDHELP
: 5 октября 2023
Задание 2. Привести следующие формулы к минимальной КНФ.
3. ;
Задание 3.Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций.
15. ;
Задание 4.Минимизировать логическую функцию F(a, b, c), заданную ТИ (табл.1), с помощью четырех методов:
1. Методом Квайна;
2. Методом испытания импликант;
3. Методом импликантных матриц;
4. Методом карт Карно.
Сравнить полученные минимизированные формы функции.
Таблица 1- ТИ функции Fi,
IT-STUDHELP
: 5 октября 2023
350 руб.
Математическая логика и теория алгоритмов - Контрольная работа
Дарья140
: 4 января 2024
Контрольная работа "Математическая логика и теория алгоритмов" вариант 2
Дарья140
: 4 января 2024
300 руб.
Другие работы
Производственный менеджмент на предприятиях почтовой связи. Вариант №4
dychkova
: 18 ноября 2014
Задача 1.
Рассчитать рабочий и инвентарный парк почтовых вагонов на магистрали А – Б аналитическим методом. Рассчитать количество бригад почтовых вагонов для обслуживания данного маршрута.
• поезд ежедневно отправляется из пункта А
• годовой фонд рабочего времени бригады – 1992 ч.
Задача 2.
Определите количество машин для обслуживания совмещенных маршрутов в городе. Обмен с ГОПС и выемка писем из почтовых ящиков осуществляется в течение одного рейса автомобиля Время на обмен с ГОПС – 5 мин.; в
dychkova
: 18 ноября 2014
250 руб.
Гидравлика Пермская ГСХА Задача 19 Вариант 5
Z24
: 3 ноября 2025
Закрытый резервуар А, заполненный водой, снабжен ртутным манометром и мановакуумметром. Определить глубину подключения ртутного манометра к резервуару Н, если заданы разность уровней ртути в манометре h, величина а известна и показание мановакуумметра М рм
Z24
: 3 ноября 2025
150 руб.
Управление калькулятором р-ичных чисел. Лабораторная работа № 5
new2011
: 2 марта 2013
Тема: Классы Object Pascal, С++
Цель: Сформировать практические навыки реализации классов средствами объектно-ориентированного программирования Object Pascal, С++.
Задание
1. Разработать и реализовать класс «Управление калькулятором р-ичных чисел» тип TCtrl, используя класс
• Object Pascal,
• С++.
new2011
: 2 марта 2013
35 руб.
Построение модели динамического программирования
Aronitue9
: 14 января 2012
СОДЕРЖАНИЕ
Введение______________________________________________________3
1. Анализ задания_________________________________________________4
2. Понятие и общая постановка задачи динамического программирования_5
3. Принцип оптимальности_________________________________________7
4. Основные этапы составления математической модели задачи динамического программирования________________________________8
5. Задачи динамического программирования_________________________10
5.1. Оптималь
Aronitue9
: 14 января 2012
20 руб.
