Тема I. Основы логики (2 ч)

Основные понятия: логика, высказывание, суждение, алгебра логики, утверждение, логическое выражение, таблица истинности, основные логические операции.

Содержание темы:

- Введение в основы логики

- Основные понятия алгебры логики

- Критерии различий высказывания, суждения, утверждения.

- Основы классической формальной логики.

- Понятия логическое выражение, сложное логическое логических выражений, связанных с помощью логических операций.

- Таблицы истинности. Законы алгебры логики.

- Дополнительная информация

- Обобщение

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

Ход работы:

1)Повторение лекции №1(5 минут);

2)Прохождение теста №1(10 минут);

3)Заполнение таблиц истинности

4)Решение логических задач в тетради

5)Дополнительная информация

6)Обобщение

Тема II. Понятие предиката (2 ч)

Основные понятия: предикат, логика предикатов, субъект, условие, одноместный предикат, бинарный предикат, трехместный предикат.

Содержание темы:

Понятие предиката и его виды. Отношение объект-условие. Основные понятия логики предикатов. Примеры предикатов различных типов. Практическое занятие. Тема «Понятие предиката»

Ход работы:

1)Повторение лекции №1(5 минут);

2)Прохождение теста №1(10 минут);

3)Построить предикаты на основе данных высказываний:

4)Определить какие из данных выражений являются предикатами:

5) Для каждого из данных высказываний найти предикат (одноместный или многоместный), который обращается в высказывание при замене предметных переменных подходящими значениями из соответствующих областей.

6)Дополнительная информация

7)Обобщение

Тема III. Основные понятия языка Prolog (2 ч)

Основные понятия: предложение, факт, правило, тело правила, константа, переменные, функциональный символ.

Содержание главы:

Изучение основных понятий языка Prolog. Предложения в Prolog. Правила в Prolog. Построение предложений. Переменные. Сопоставление термов.

Практическое занятие. Тема «Основные понятия языка Prolog»

Ход работы:

1)Повторение лекции №3(5 минут);

2)Прохождение теста №3(10 минут);

3)Анализ кода программы данной ниже и попытка определить её смысл, и определить какой результат получится в результате её выполнения.

4)Основываясь на тексте программы организовать поиск "Кто_же_дочь", "Кто_же_мама","Кто_же_папа".

5)Основываясь на фрагменте программы организовать поиск "Кто_же_сестра", "Кто_же_брат".

6)Дополнительная информация

7)Обобщение

Тема IV. Разделы программы на Prolog (2 ч)

Основные понятия: разделы программы, объявление предикатов, определение типов данных, объявление констант.

Содержание главы:

- Использование следующих разделов программ:

- (class) facts, (class) predicates, domains, constants, clauses, goal.

- Самооценка

- Рефлексия

Практическое занятие. Тема «Разделы программы на Prolog»

Ход работы:

1)Повторение лекции №4(5 минут);

2)Прохождение теста №4(10 минут);

3)Составьте программу «Страны и столицы» позволяющую определить столицу по стране и наоборот.

4)Составьте в нужном порядке данные ниже фрагменты программы и попробуйте определить для чего была создана эта программа и каков её результат. Запустите программу.

Тема V. Оператор присваивания и сравнения (2 ч)

Основные понятия: оператор, оператор присваивания, оператор сравнения.

Содержание главы:

Изучение принципов функционирования операторов сравнения и присваивания. Их сходства и различия, принципы использования.

Самооценка

Рефлексия

Практическое занятие. Тема «Оператор присваивания и сравнения»

Ход работы:

1)Повторение лекции №5(5 минут);

2)Прохождение теста №5(10 минут);

3)Составьте программу «Четыре арифметические операции над целыми числами» (+,-,*,/).

⇐ Предыдущая1234567Следующая ⇒

Поделиться: