Математическая логика. Контрольная работа (вариант 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 руб.
Контрольная работа № 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 руб.
Математическая логика. Контрольная работа
zhdv
: 5 апреля 2011
Вариант 5.
1.Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
3. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z ≥ 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
5.Пока
zhdv
: 5 апреля 2011
300 руб.
Контрольная работа по дисциплине: Математическая логика.
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 руб.
Другие работы
ММА/ИДО Иностранный язык в профессиональной сфере (ЛТМ) Тест 20 из 20 баллов 2024 год
mosintacd
: 28 июня 2024
ММА/ИДО Иностранный язык в профессиональной сфере (ЛТМ) Тест 20 из 20 баллов 2024 год
Московская международная академия Институт дистанционного образования Тест оценка ОТЛИЧНО
2024 год
Ответы на 20 вопросов
Результат – 100 баллов
С вопросами вы можете ознакомиться до покупки
ВОПРОСЫ:
1. We have … to an agreement
2. Our senses are … a great role in non-verbal communication
3. Saving time at business communication leads to … results in work
4. Conducting negotiations with foreigners we shoul
mosintacd
: 28 июня 2024
150 руб.
Задание №2. Методы управления образовательными учреждениями
studypro
: 13 октября 2016
Практическое задание 2
Задание 1. Опишите по одному примеру использования каждого из методов управления в Вашей профессиональной деятельности.
Задание 2. Приняв на работу нового сотрудника, Вы надеялись на более эффективную работу, но в результате разочарованы, так как он не соответствует одному из важнейших качеств менеджера - самодисциплине. Он не обязателен, не собран, не умеет отказывать и т.д.. Но, тем не менее, он отличный профессионал в своей деятельности. Какими методами управления Вы во
studypro
: 13 октября 2016
200 руб.
Особенности бюджетного финансирования
Aronitue9
: 24 августа 2012
Содержание:
Введение
Теоретические основы бюджетного финансирования
Понятие и сущность бюджетного финансирования
Характеристика основных форм бюджетного финансирования
Анализ бюджетного финансирования образования
Понятие и источники бюджетного финансирования образования
Проблемы бюджетного финансирования образования
Основные направления совершенствования бюджетного финансирования образования
Заключение
Список использованный литературы
Цель курсовой работы – исследовать особенности бюджетного фин
Aronitue9
: 24 августа 2012
20 руб.
Программирование (часть 1-я). Зачёт. Билет №2
sibsutisru
: 3 сентября 2021
ЗАЧЕТ по дисциплине “Программирование (часть 1)”
Билет 2
Определить значение переменной y после работы следующего фрагмента программы:
a = 3; b = 2 * a – 10; x = 0; y = 2 * b + a;
if ( b > y ) or ( 2 * b < y + a ) ) then begin x = b – y; y = x + 4 end;
if ( a + b < 0 ) and ( y + x > 2 ) ) then begin x = x + y; y = x – 2 end;
sibsutisru
: 3 сентября 2021
200 руб.
