Раздел 4 / 5

Страница 9 / 16

4. Введение в логику предикатов

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Регистрация

На предыдущую главу

На следующую главу

Скачать приложение

Дискретная математика

Оглавление

1. Множества +

2. Математическая логика +

3. Введение в логику высказываний +

4. Введение в логику предикатов -

4.1. Конкретизация предикатов

4.2. Кванторы в предикатах

4.3. Построение доказательств в логике предикатов

Упражнения

Библиографический список