Темы курсовых работ на 2011-2012 учебный год профессор В.Б.Шехтман. Курс Тема. 1-2 курс 1. Аксиома выбора в математике. 2. Теоретико-модельные игры. 3. Закон нуля и единицы в логике предикатов. 4. Логика предикатов на конечных множествах. 5. 10-я про

Темы курсовых работ
на 2011-2012 учебный год
профессор В.Б.Шехтман

Курс
Тема

1-2 курс
1. Аксиома выбора в математике.
2. Теоретико-модельные игры.
3. Закон нуля и единицы в логике предикатов.
4. Логика предикатов на конечных множествах.
5. 10-я проблема Гильберта.
6. Проблема тождества слов в группах.
7. Интуиционистская логика и модели Крипке.



Приложенные файлы

  • doc 44664243
    Размер файла: 25 kB Загрузок: 0

Добавить комментарий