В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, Книга «Математическая логика и теория алгоритмов. Учебник» авторов Елена Овчинникова, Сергей Судоплатов оценена посетителями КнигоГид, и её читательский рейтинг составил 8.00 из 10.Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а та...
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, Книга «Математическая логика и теория алгоритмов. Учебник» авторов Елена Овчинникова, Сергей Судоплатов оценена посетителями КнигоГид, и её читательский рейтинг составил 8.00 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
Рецензии на книгу
Написано 0 рецензий