Математическая логика и теория алгоритмов Учебник практикум Юрайт 978-5-534-12274-9, С. В. Судоплатов,Е.В. Овчинникова
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и...
Издательство: Юрайт
ISBN: 978-5-534-12274-9
Объем: 207
Серия: Высшее образование
Автор: С. В. Судоплатов, Е.В. Овчинникова
Формат: твердая обложка
Год: 2021
Электронная: Нет
подробнее...
ISBN: 978-5-534-12274-9
Объем: 207
Серия: Высшее образование
Автор: С. В. Судоплатов, Е.В. Овчинникова
Формат: твердая обложка
Год: 2021
Электронная: Нет
подробнее...
Комментарии, отзывы о "Математическая логика и теория алгоритмов. Учебник и практикум":
Добавить первый отзыв ...
Посетители интересовались:
