Математическая логика и теория алгоритмов: Учебное пособие
Блатов И. А., Старожилова О. В.
Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Предназначено в качестве учебного пособия для студентов направления подготовки 09.03.02. «Информационные системы и технологии», а также для студентов и магистрантов других направлений подготовки и специалистов, желающих изучать математическую логику самостоятельно. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки
సంవత్సరం:
2017
ప్రచురణకర్త:
ЭБС Лань
భాష:
russian
ఫైల్:
PDF, 2.56 MB
IPFS:
,
russian, 2017
Litres
మీ పుస్తక దుకాణాన్ని జోడించాలనుకుంటున్నారా? support@z-lib.do వద్ద మమ్మల్ని సంప్రదించండి
ఫైల్ converter
మరిన్ని శోధన ఫలితాలు
మరిన్ని ప్రయోజనాలు 
![Таванец П.В. (ред.) — Проблемы логики [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/27e55901677336d152cad151232462056a9b207f70d545fcbf6282af0e274f87.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
