В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов.В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению...
ISBN: 9785534062793
Издательство:
Юрайт
Дата выхода: декабрь 2017
Однажды в некотором королевстве приключилось ЧП! Каждый день принц и принцесса задавали придворным сотни вопросов. Почему облака не падают на землю? Где живёт курица, которая несёт шоколадные яйца? Вопросы не заканчивались! Что делать?! Пришлось звать на помощь мудрых тётушек-фей. Одна говорила сказками, другая – научными докладами. Вместе волшебницам удалось спасти королевство, ответить на все детские...
ISBN: 9785171475741
Издательство:
АСТ
Дата выхода: февраль 2023
Найденных опечаток пока нет
Добавить запись