книга

Практикум по математическим основам информатики

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

Автор: Артем Мейлахс

Форматы: PDF

Издательство: Московский государственный горный университет

Год: 2004

Место издания: Москва

Страниц: 66

Артикул: 20064

цена: 100 ₽

Купить и скачать

Читать фрагмент

15 ₽ на счет за репост

Аннотация

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

Содержание

Практическое занятие 4. «Введение в математическую логику»
Применение математической логики в организации ЭВМ
Высказывания
Логические связки
Пропозициональные формулы
Булево множество и операции в нем
Булевы функции
Таблицы истинности
Упражнения
Практическое занятие 5. «Особые и равносильные формулы. Равносильные преобразования в булевой алгебре»
Равносильные формулы
Особые формулы
Равносильные преобразования формул
Основные равносильные формулы
Доказательство равносильности
Упрощение формул
Замечания о равносильных преобразованиях
Упражнения
Практическое занятие 6. «Выделение фиктивных переменных. Нормальные формы логических функций. Равносильные преобразования в алгебре Жегалкина»
Поиск фиктивных переменных
Минтермы и макстермы
Нормальные формы булевой алгебры
Запись формулы по таблице истинности
Алгебра Жегалкина
Равносильные преобразования в алгебре Жегалкина
Полином Жегалкина
Упражнения
Примерные варианты семестровой контрольной работы
Ответы к упражнениям
Список литературы

Отзывы

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите

С этой книгой читают