|
|
libcats.org
Математическая логика и основы теории алгоритмов: Программа курсаРадаев В.Н.Представленная программа соответствует современным требованиям, предъявляемым к студентам механико-математических факультетов университетов в области классической математической логики и теории алгоритмов, обучающимся по специальности ''Компьютерная безопасность'', и государственному стандарту по этой специальности и учитывает опыт, накопленный кафедрой математических методов защиты информации Самарского государственного университета в процессе обучения студентов указанной специальности, а также практику ведущих научных и образовательных центров России. Программа рассчитана на трехсеместровый период обучения и состоит из шести разделов: вводные понятия математической логики; исчисление высказываний; исчисление предикатов; теория рекурсивных функций; теория алгоритмов; арифметизапия процесса логического вывода, рекурсивная неразрешимость и дедуктивная неполнота формальной арифметики. Программа нацелена прежде всего на изучение обширного комплекса чисто математических результатов, относящихся к понятию ''формальные системы'', которое предназначается для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма и вычислимой функции. В этот комплекс включаются также все классические результаты по формальным системам первого порядка: существование непротиворечивого дедуктивно полного расширения непротиворечивой формальной системы, существование модели непротиворечивой формальной системы со счетной индивидной областью, семантическая полнота классического исчисления предикатов, рекурсивная неразрешимость классического исчисления предикатов; рекурсивная неразрешимость, дедуктивная неполнота и непротиворечивость формальной арифметики
Скачать книгу бесплатно (pdf, 227 Kb)
Читать «Математическая логика и основы теории алгоритмов: Программа курса» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Постъядерный мир Алисы Селезнёвой или как мы станем такими(10 лет спустя)Автор: Налбандян Карен ЭдуардовичКатегория: Публицистика
Размер книги: 27 Kb
Биологические основы противоопухолевой терапиии. МонографияАвтор: Владимирская Елена БорисовнаКатегория: Здравоохранение. Медицинские науки
Размер книги: 1.52 Mb
The Vest Pocket CPAАвтор: Joel G. Siegel, Автор: Nick A. Dauber, Автор: Jae K. ShimКатегория: economics_finances
Размер книги: 12.56 Mb
Hall Of The Mountain KingАвтор: Night, Автор: BlackmoreКатегория: Учебники для всех
Размер книги: 1 Kb
Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I (Lecture ... Vision, Pattern Recognition, and Graphics)Автор: Richard Boyle, Автор: Bahram Parvin, Автор: Darko Koracin, Автор: Ronald Chung, Автор: Riad Hammoud, Автор: Muhammad Hussain, Автор: Kar-Han Tan, Автор: Roger Crawfis, Автор: Daniel Thalmann, Автор: David Kao, Автор: Lisa AvilaКатегория: Наука (общее)
Размер книги: 26.52 Mb
|
|
|