• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Логика

Читается: 1-2 модуль 3 курса 

Пререквизиты: «Основания алгебры и геометрии»

Трудоемкость:  5 кредитов

64 аудиторных часа:

  • 32 часа лекции;
  • 32 часа семинары

Формы контроля:

  • 1 экзамен,
  • 1 контрольная работа,
  • 2 домашних задания

О курсе

Цель курса: знакомство с начальными понятиями и вопросами математической логики. Слушатели получат представление о некоторых моделях и методах математической логики, применяемых в математике, информатике, естествознании.

Программа

Ведущий лектор

Шамканов Данияр Салкарбекович

Базовая кафедра Математического института им. В.А. Стеклова РАН: Доцент