Формальные системы

Формальные системы
Автор книги: id книги: 1195756     Оценка: 0.0     Голосов: 0     Отзывы, комментарии: 0 299 руб.     (2,91$) Купить и читать книгу Купить бумажную книгу Электронная книга Жанр: Учебная литература Правообладатель и/или издательство: МИСиС Дата добавления в каталог КнигаЛит: ISBN: 978-5-907226-02-9 Возрастное ограничение: 0+

Реклама. ООО «ЛитРес», ИНН: 7719571260.

Описание книги

Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».

Добавление нового отзыва

Комментарий Поле, отмеченное звёздочкой  — обязательно к заполнению

Отзывы и комментарии читателей

Нет рецензий. Будьте первым, кто напишет рецензию на книгу Формальные системы
Подняться наверх