Математическая логика и основы теории алгоритмов: Программа...

Математическая логика и основы теории алгоритмов: Программа курса

Радаев В.Н.
এই বইটি আপনার কতটা পছন্দ?
ফাইলের মান কিরকম?
মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন
ডাউনলোড করা ফাইলগুলির মান কিরকম?
Представленная программа соответствует современным требованиям, предъявляемым к студентам механико-математических факультетов университетов в области классической математической логики и теории алгоритмов, обучающимся по специальности ''Компьютерная безопасность'', и государственному стандарту по этой специальности и учитывает опыт, накопленный кафедрой математических методов защиты информации Самарского государственного университета в процессе обучения студентов указанной специальности, а также практику ведущих научных и образовательных центров России. Программа рассчитана на трехсеместровый период обучения и состоит из шести разделов: вводные понятия математической логики; исчисление высказываний; исчисление предикатов; теория рекурсивных функций; теория алгоритмов; арифметизапия процесса логического вывода, рекурсивная неразрешимость и дедуктивная неполнота формальной арифметики. Программа нацелена прежде всего на изучение обширного комплекса чисто математических результатов, относящихся к понятию ''формальные системы'', которое предназначается для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма и вычислимой функции. В этот комплекс включаются также все классические результаты по формальным системам первого порядка: существование непротиворечивого дедуктивно полного расширения непротиворечивой формальной системы, существование модели непротиворечивой формальной системы со счетной индивидной областью, семантическая полнота классического исчисления предикатов, рекурсивная неразрешимость классического исчисления предикатов; рекурсивная неразрешимость, дедуктивная неполнота и непротиворечивость формальной арифметики
ক্যাটাগোরিগুলো:
সাল:
2004
প্রকাশক:
Изд-во ''Самарский университет''
ভাষা:
russian
পৃষ্ঠা:
20
ফাইল:
PDF, 227 KB
IPFS:
CID , CID Blake2b
russian, 2004
অনলাইনে পড়া
তে রূপান্তর প্রক্রিয়া চলছে
-এ রূপান্তর ব্যর্থ হয়েছে

প্রায়শই ব্যবহৃত পরিভাষা