Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Летняя школа «Современная математика», 2011
19 июля 2011 г. 17:00, г. Дубна
 


Классические неклассические логики и стандартные нестандартные модели. Лекция 1

М. А. Раскин
Видеозаписи:
Flash Video 495.3 Mb
Flash Video 3,008.5 Mb
MP4 495.3 Mb

Количество просмотров:
Эта страница:1260
Видеофайлы:571

М. А. Раскин


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

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

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021