Реферат: Тема 1 курс

Темы курсовых работ

на 2011-2012 учебный год

профессор Л.Д.Беклемишев


Курс

Тема

1 курс

1) Лямбда-исчисление как универсальная вычислительная модель.

2) Интуиционистская логика высказываний и её возможные интерпретации.

3) Теоремы о неподвижной точке в формальной арифметике и теории алгоритмов.

4) Разрешимость элементарной теории поля действительных чисел (теорема
Зайденберга-Тарского).

5) Аксиоматика Тарского элементарной геометрии.

6) Модели, представимые конечными автоматами.

7) Вторая теорема Гёделя о неполноте и прогрессии Тьюринга.