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