Математическая логика
Зыков А.Г., Поляков В.И., Скорубский В.И.
В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия».
سال:
2013
ناشر کتب:
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и
زبان:
russian
صفحات:
131
فائل:
PDF, 2.49 MB
IPFS:
,
russian, 2013
Litres
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.do پر رابطہ کریں۔
فائل کنورٹر
مزید تلاش کے نتائج
دیگر فوائد 
![Нарский И.С. (ред) — Проблемы логики и теории познания [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/6fe7f26a028e40ebd50052e38e4fb4ff5c3115e9a2a91b48c684d3ca5fd3bae8.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
