Практикум по математическим основам информатики. Часть 2. Введение в математическую логику

	Практикум по математическим основам информатики. Часть 2. Введение в математическую логику Автор: Мейлахс А.Л. Год: 2004 Страниц: 73 UDK: 519.6:622 Цена: 200.00 руб. Купить электронную версию

Аннотация:

Приведены материалы трех практических занятий логически объединенных общим названием. На уровне несложных задач даны основные понятия исчисления высказываний, расчета истинностных таблиц, булевой и жегалкинской алгебр логики. Материал практических занятий изложен в форме, позволяющей студенту самостоятельно изучить его, познакомиться с примерами, выполнить упражнения, проверить правильность их выполнения.

Для студентов высших учебных заведений, обучающихся по направлению подготовки инженеров 651900 «Автоматизация и управление» специальности 210100 «Управление и информатика в технических системах» и направлению подготовки бакалавров 550200 «Автоматизация и управление».

Содержание:

Практическое занятие 4. «Введение в математическую логику»

Применение математической логики в организации ЭВМ

Высказывания

Логические связки

Пропозициональные формулы

Булево множество и операции в нем

Булевы функции

Таблицы истинности

Упражнения

Практическое занятие 5. «Особые и равносильные формулы. Равносильные преобразования в булевой алгебре»

Равносильные формулы

Особые формулы

Равносильные преобразования формул

Основные равносильные формулы

Доказательство равносильности

Упрощение формул

Замечания о равносильных преобразованиях.

Упражнения

Практическое занятие 6. «Выделение фиктивных переменных. Нормальные формы логических функций. Равносильные преобразования в алгебре Жегалкина»