Математическая логика и теория алгоритмов, практика
Группы
- Группа 9306 (Поздняков)
- Группа 9374 (Чухнов)
Учебник Рыбина
Индивидуальные домашние задания (ИДЗ)
ИДЗ 1 про исчисление высказываний
Ссылка для выкладывания решений: http://alpha.multivariant.ru/room/60485ddbb58dc4e3c26ee686 В решениях обязательно вынесите в начало свои имя, группу, ответы на задачи по порядку.
В решении ИДЗ особенно важно, чтобы вы записали решение задачи, даже если оно вам кажется коротким и очевидным, и отдельно выписали ответ на задачу на первом листе.
В условии задачи по ссылке есть важные пояснения про то, что писать в решении, что писать в ответах.
ИДЗ 2 про исчисление предикатов и не только
Ссылка для выкладывания решения: http://alpha.multivariant.ru/room/60b7643bb58dc4e3c2af0b5f
ИДЗ про программирование грамматики
Пример составления LL(1) грамматики и программирования аналазитора: Разбор «ИДЗ» про КС-грамматики
Выкладывание решений
Для каждого задания я даю ссылку, куда надо выкладывать ваши решения. По ссылке вы сможете писать мне либо тексты с решениями, либо прикладывать фотографии работ. Для выкладывания нужна регистрация на alpha.multivariant.ru. При регистрации напишите Имя, Фамилию и группу. Пожалуйста, не теряйте пароль, потому что сейчас сайт не умеет его восстанавливать.
Задание 1 (для 9306)
Первое задание выложено по ссылке. Вы могли еще не успеть пройти на лекциях логические операции, но, возможно, вы их помните со школы или курсов по программированию. В условии будет ссылка на всякий случай с таблицами значений функций.
http://alpha.multivariant.ru/room/6020f051b58dc4e3c252a20a
Задание 2 (для 9306, 9374)
Загрузите себе помощь по формулам Шпаргалка по формулам исчисления высказываний
В этой шпаргалке должны быть, но не доделаны на данный момент примеры упрощения формул. Все равно посмотрите хотя бы начало процесса упрощения.
Используйте вот такой генератор логических выражений: Генератор логических выражений
Задание, которое нужно сделать с этими материалами следующее:
http://alpha.multivariant.ru/room/602a6330b58dc4e3c259f3db
Задание 3. Минимизация ДНФ
Загрузите, пожалуйста, решения заданий с практического занятия, когда была минимизация ДНФ, сюда: