libcats.org
Главная

Факультативный курс ''Система автоматизации процесса решения задач''. Часть 1. Элементы математической логики

Обложка книги Факультативный курс ''Система автоматизации процесса решения задач''. Часть 1. Элементы математической логики

Факультативный курс ''Система автоматизации процесса решения задач''. Часть 1. Элементы математической логики

,
На примере занимательных задач авторы знакомят читателей с математической логикой, с понятиями истинного и ложного высказывания, отрицания, конъюнкции, дизъюнкции, таблицы истинности. В приводимых случаях решение получается однозначно и автоматически. В качестве примеров использованы задачи из книг Раймонда М. Смаллиана ''Как же называется эта книга?'', ''Принцесса или тигр?'', ''Алиса в стране смекалки''.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Только что пользователи скачали эти книги: