И код направления подготовки
жүктеу/скачать 341.63 Kb.
|
- Бұл бет үшін навигация:
- Отрицание предиката
- Теория графов. Основные понятия и определения
| Дизъюнкция - это новый предикат, который принимает значение ложно при тех и только тех значениях из вещественной области , при которых оба предиката и ложны одновременно, и истинно во всех других случаях.
Отрицание предиката - это новый предикат, который принимает значение истинно при всех из вещественной области , при которых предикат принимает значение ложно и наоборот. Квантовые операции. Для предикатов кроме логических операций применимы кванторные операции: всеобщности и существования. Пусть - предикат, определенный на множестве . Тогда - означает «для всякого (любого) истинно ». Символ называется квантором всеобщности. Переменную в предикате называют свободной ( ей можно придавать различные значения из М), в высказывании переменную называют связанной квантором всеобщности. Пусть - предикат, определенный на множестве . Тогда - означает «существует , для которого истинно ». Символ называется квантором существования. Вопросы для закрепления: Что представляет предикат? Приведите пример. Какие логические операции над предикатами выполняются? Какие кванторные операции применимы над предикатами? Литература: Основная[1] стр.145-152, [2]стр. 285-288, 291-293 ; [1],[2]; дополнительная [1],[2]; Интернет ресурсы [1]-[4] Тема 8 Теория графов. Основные понятия и определения Количество часов 1 Основные вопросы/план темы: 1.Перегрузка операторов. Основные понятия и определения. Способы задания графов. Смежность, инцидентность, степени. Правые и левые инциденции графа. Тезисы лекции*: Граф – множество точек плоскости V, называемых вершинами, и множество линий X, соединяющих все или некоторые из вершин. Существует два основных вида графов – ориентированные, в которых линии имеют направление от одной вершины к другой, и неориентированные, в которых линии не имеют направления. жүктеу/скачать 341.63 Kb. Достарыңызбен бөлісу:
|