KZ

Математическая логика

  • Цель: формирование у студентов знаний о логических исчислениях и понятий алгоритмической вычислимости математических объектов. Рассмотреть логику высказываний: высказывания, операции над ними; тавтологии; законы логики. Разобрать дизъюнктивную и конъюнктивную нормальные формы. Применить приложение логики высказываний к решению текстовых «логических» задач. Рассмотреть аксиоматическое построение логики высказываний; правила вывода. Изучить логику предикатов, аксиоматическое построение. Использование словесных и практических методов, методов самостоятельной работы.
  • Образовательная программа 6B01506 Математика (полиязычное обучение)
  • ВУЗ Кокшетауский университет имени Шокана Уалиханова
  • Кредитов 6
  • Селективная дисциплина
  • Год обучения 4
  • Семестр 1
Top