Формальные системы (Елена Вячеславовна Зайцева) - скачать книгу в FB2, EPUB, PDF на Bookz
bannerbanner
НовинкиВсе новинки
img
Формальные системы (Елена Вячеславовна Зайцева)
Формальные системы
Оценить:

4

Поделиться

Формальные системы (Елена Вячеславовна Зайцева)

Описание аудиокниги:

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

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

Другие книги автора

Все книги
img
Формальные системы. Практикум
Елена Вячеславовна Зайцева
img
Промышленные логистические системы
Елена Вячеславовна Зайцева
Спасибо за оценку! Будем признательны, если Вы оставите комментарий о данном произведении.

Добавить отзыв:

bannerbanner