KZ

Основы 1

  • Цель курса - познакомить с основными принципами и методами логики и доказательства, лежащими в основе компьютерных наук, и дать им оценку. Понятие о λ-исчислении, о том, как вычислимые функции представлены в λ-исчислении, об основных теоретических свойствах λ-исчисления и о важности λ-исчисления для информатики. Основы 1: Логика и доказательство: исчисление высказываний – таблицы истинности, исчисление предикатов, правила вывода, правильность, полнота, достоверность, выполнимость, рассуждения и вычисления с предложениями. Лямбда-исчисление: синтаксис, обозначения, связанные и свободные переменные, α-преобразование и подстановка, редукция и вычисление, представление вычислимых функций, теоретические свойства.
  • Образовательная программа 6B06107 Компьютерная инженерия (РК+UK)
  • ВУЗ Актюбинский региональный университет имени Кудайбергена Жубанова
  • Кредитов 5
  • Год обучения 3
  • Семестр 5
Top