Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Радаев В.Н. — Математическая логика и основы теории алгоритмов: Программа курса
Радаев В.Н. — Математическая логика и основы теории алгоритмов: Программа курса



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


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

Автор: Радаев В.Н.

Аннотация:

Представленная программа соответствует современным требованиям, предъявляемым к студентам механико-математических факультетов университетов в области классической математической логики и теории алгоритмов, обучающимся по специальности ''Компьютерная безопасность'', и государственному стандарту по этой специальности и учитывает опыт, накопленный кафедрой математических методов защиты информации Самарского государственного университета в процессе обучения студентов указанной специальности, а также практику ведущих научных и образовательных центров России. Программа рассчитана на трехсеместровый период обучения и состоит из шести разделов: вводные понятия математической логики; исчисление высказываний; исчисление предикатов; теория рекурсивных функций; теория алгоритмов; арифметизапия процесса логического вывода, рекурсивная неразрешимость и дедуктивная неполнота формальной арифметики. Программа нацелена прежде всего на изучение обширного комплекса чисто математических результатов, относящихся к понятию ''формальные системы'', которое предназначается для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма и вычислимой функции. В этот комплекс включаются также все классические результаты по формальным системам первого порядка: существование непротиворечивого дедуктивно полного расширения непротиворечивой формальной системы, существование модели непротиворечивой формальной системы со счетной индивидной областью, семантическая полнота классического исчисления предикатов, рекурсивная неразрешимость классического исчисления предикатов; рекурсивная неразрешимость, дедуктивная неполнота и непротиворечивость формальной арифметики.


Язык: ru

Рубрика: Математика/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2004

Количество страниц: 20

Добавлена в каталог: 25.11.2012

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте