10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 4 117,90 soʻm oling.
0+
matnPDF
Hajm 70 sahifalar
Формальные системы
matnPDF
41 178,90 soʻm
Kitob haqida
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач.Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Janrlar va teglar
Izoh qoldiring
Kirish, kitobni baholash va sharh qoldirish
Kitob tavsifi
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач.
Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
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 2019Hajm:
70 Sahifa ISBN:
978-5-907226-02-9Umumiy o'lcham:
652 КБUmumiy sahifalar soni :
70Mualliflik huquqi egasi:
МИСиСФормат скачивания:
pdf
