Конспект лекций О.Б.Лупанова по курсу ''Введение в математическую логику''
Угольников А.Б.(ред.)
Учебное пособие составлено на основе конспектов лекций академика РАН О.Б.Лупанова по курсу "Введение в математическую логику", прочитанных им на первом курсе механико-математического факультета МГУ им. М.В.Ломоносова в 1982 - 2006гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.Для студентов и аспирантов.
سب زمرہ:
سال:
2007
زبان:
russian
صفحات:
192
فائل:
PDF, 1.12 MB
IPFS:
,
russian, 2007
Litres
اپنی کتاب کی دکان شامل کرنا چاہتے ہیں؟ ہم سے support@z-lib.do پر رابطہ کریں۔
فائل کنورٹر
مزید تلاش کے نتائج
دیگر فوائد 
