В этой книге излагается содержание нескольких первых лекций по математической логике, которые читались в разное время студентам механико-математического факультета СГУ. Вместе с тем значительная часть этого материала была прослушана также и школьниками, посещавшими Юношескую математическую школу при механико-математическом факультете СГУ. Ориентируясь на эту аудиторию, автор при работе над книгой, естественно, стремился сделать ее более доступной и популярной по изложению. Поэтому в соответствующих разделах подробно рассказывается об определении двоичной булевой алгебры, о свойствах ее основных алгебраических операций и т. д.
Приложения двоичной булевой алгебры даны в двух последних параграфах: во-первых, к исчислению высказываний и, во-вторых, к теории релейно-контактных схем. Правда, из-за небольшого объема книги пришлось ограничиться самыми минимальными сведениями, но даже и сжатый курс должен дать представление о той пользе, которую приносит в обоих случаях применение двоичной булевой алгебры.
Для лучшего усвоения излагаемого материала теоретические положения иллюстрируются различными примерами и после каждого параграфа приводятся задачи и упражнения, часть которых отличается известной сложностью. Некоторые задачи и примеры сообщают читателю дополнительные факты, не входящие в основной текст.
ОГЛАВЛЕНИЕ
Предисловие
§ 1. Основные алгебраические операции
§ 2. Свойства основных алгебраических операций двоичной булевой алгебры
§ 3. Булевы полиномы и булевы функции
§ 4. Нормальные формы
§ 5. Исчисление высказываний
§ 6. Релейно-контактные схемы
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Фото книг в состоянии "новое", "как новое" и "отличное" не высылаю.
Встречи по договоренности исключаются.