Математическая логика и теория алгоритмов, практика

Группы

  1. Группа 9306 (Поздняков)
  2. Группа 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. Минимизация ДНФ

Загрузите, пожалуйста, решения заданий с практического занятия, когда была минимизация ДНФ, сюда:

http://alpha.multivariant.ru/room/604efe65b58dc4e3c273b3ce