Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата

Математическая логика и теория алгоритмов 5-е изд. Учебник и практикум для академического бакалавриата
Скачать
Язык:
Русский (эта книга не перевод)
Опубликовано здесь:
2022-01-10
Файл подготовлен:
2022-01-10 12:45:25
Поделиться:

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

Полная версия

Читать онлайн
Рейтинг@Mail.ru