Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.mccme.ru/dubna/2011/courses/raskin.htm
Дата изменения: Sat May 7 15:15:46 2011
Дата индексирования: Mon Feb 4 09:09:40 2013
Кодировка: koi8-r
Поисковые слова: solar system
Dubna-2011: Raskin
На главную страницу ЛШСМ-2011 К списку курсов ЛШСМ-2011

Михаил Александрович Раскин

Классические неклассические логики и стандартные нестандартные модели

М.А.Раскин планирует провести 4 занятия

Курс посвящён базовым понятиям логики математики как средства науки и тому, что о них говорится в математической логике как в области науки (но на что потом может не хватать времени в курсе математической логики как учебной дисциплины).

Примерное содержание курса:

  1. Базовая структура того, что в математической логике считается доказательством (формальным выводом).
    «Следствие» (импликация), шаг вывода и «разве отсюда это следует?» как три разных понятия.
    Правила вывода, аксиомы и схемы аксиом (что такое, например, математическая индукция с формальной точки зрения).
  2. «Теория практического применения» — модели теорий. Натуральные числа как номера формул в выводе и натуральные числа как их описывает теория. Построение моделей из того, что не может не существовать.
  3. Неклассические логики. Интуиционизм, модальные логики. Модели и шкалы Крипке для моделирования неклассических логик. Ограничения на модель и ограничения на логику.
Rambler's Top100