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

Hajm 70 sahifalar

0+

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

38 181,59 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 3 818,16 soʻm oling.

Kitob haqida

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

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

Izoh qoldiring

Kirish, kitobni baholash va sharh qoldirish
Kitob Е. В. Зайцевой «Формальные системы» - pdf-ga yuklab oling yoki internetda o'qing. Sharhlar va fikr-mulohazalarni qoldiring, o'zingiz yoqtirganlarga ovoz bering.
Yosh cheklamasi:
0+
Litresda chiqarilgan sana:
24 avgust 2019
Hajm:
70 Sahifa
ISBN:
978-5-907226-02-9
Umumiy o'lcham:
652 КБ
Umumiy sahifalar soni :
70
Mualliflik huquqi egasi:
МИСиС
Yuklab olish formati:

Ushbu kitob bilan o'qiladi