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

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





Для просмотра файлов Вам могут потребоваться






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


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

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

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

М. А. Раскин


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

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

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

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