- Уровень
- высшее образование
- Язык
- русский
- Дата
- 01.09.2013
- Ключевые слова
- высказывание, предикат, логические операции, кванторы, аксиоматическая система, непротиворечивость, полнота
- Области знаний
- Математика
- URL адрес карточки
- https://kpfu.ru/dc?p_id=84945
- Электронный конспект лекций
-
Конспект лекций по "Математическая логика"
Аннотация
В курсе излагаются основные разделы математической логики. Изучается логика высказываний и логика предикатов и соответствующие им аксиоматические системы: исчисление высказываний и исчисление предикатов. Доказываются теоремы о непротиворечивости и полноте указанных исчислений.
Темы курса
1. Логика высказываний. 2. Исчисление высказываний. 3. Логика предикатов. 4. Исчисление предикатов.
| Подразделение | Направление | Дисциплина | Уровень | Курс | Форма обучения | Количество часов | Форма контроля |
|---|---|---|---|---|---|---|---|
| КФУ / Высшая школа информационных технологий и интеллектуальных систем | 230700.62 Прикладная информатика | Математическая логика
|
бакалавр | 2 | очное | 108 | зачет: 3 |
Скриншоты
Доступ к курсу
- Адрес (URL)
- http://tulpar.kfu.ru/course/view.php?id=837
- Формат доступа
- свободный доступ
Курс открыт для гостевого доступа. Это означает, что Вы можете посмотреть полное содержание курса без предварительной регистрации в системе дистанционного обучения КФУ. Для этого нажмите на URL курса. Если возникнет окно с формой ввода логина и пароля, нажмите на кнопку "Зайти гостем".
В случае возникновения вопросов или проблем с доступом к курсу, Вы можете обратитьсья к нам за помощью с помощью формы обратной связи или через контактные данные.