Основной контент книги Формальные системы
Text PDF

Volume 70 pages

0+

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

$3.52

About the book

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

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

Log in, to rate the book and leave a review
Book Е. В. Зайцевой «Формальные системы» — download in pdf or read online. Leave comments and reviews, vote for your favorites.
Age restriction:
0+
Release date on Litres:
24 August 2019
Volume:
70 p.
ISBN:
978-5-907226-02-9
Total size:
652 КБ
Total number of pages:
70
Copyright holder:
МИСиС
Download format:
Логика
Сергей Михайлович Марков
Text PDF
Average rating 0 based on 0 ratings
Философия и теория познания
Татьяна Геннадьевна Лешкевич
Text PDF
Average rating 0 based on 0 ratings
Text
Average rating 5 based on 2 ratings