Формальные системы
Жанры:
Читать онлайн:
Вам понравится:
Описание:
Книга автора Е. В. Зайцева. Относится к жанрам: . Объем: 70 стр.. Дата написания: . Возрастное ограничение: 0+.
Вы можете в один клик скачать книгу ‘Формальные системы’ в форматах fb2, ePub, txt без регистрации. Или же, выбирая подходящий Вам вариант, читать онлайн ‘Формальные системы’ на нашем сайте. Здесь Вы легко сможете выбрать нужную книгу в соответствии со своими предпочтениями.
Если Вы ещё не определились с выбором, то посмотрите разделы «Рейтингов» и «Обзоров книг» нашего сайта, там сможете подобрать книгу или серию книг, которые Вам обязательно понравятся.
Аннотация:
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач.
Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY

