Основи дискретного аналізу

Автор: Пользователь скрыл имя, 03 Апреля 2013 в 03:00, доклад

Описание работы

Предикатом називають функціональне висловлювання, а висловлювання - предикатною константою. Логіка предикатів - це розширення логіки висловлювань за рахунок використання предикатів в ролі логічних функцій. Ці функції дещо відмінні від функцій Буля. Булеві функції однорідні, тобто, і область значень і область зміни аргументів або істинні, або хибні. Для предикатів область зміни логічна, а область значень - предметна. Розглянемо приклади логічних функцій.

Работа содержит 1 файл

ОСНОВИ ДИСКРЕТНОГО АНАЛІЗУ.doc

— 157.50 Кб (Открыть, Скачать)
Открыть текст работы Основи дискретного аналізу