Основной контент книги Формальные системы
matnPDF
Hajm 70 sahifalar
Формальные системы
Muallif
Е. В. Зайцева
39 218,26 s`om
10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 3 921,83 soʻm oling.
Kitob haqida
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач.
Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Janrlar va teglar
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.