Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Волгоградский государственный технический университет

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

7. Исчисление предикатов.docx

Скачиваний:

80

Добавлен:

24.09.2019

Размер:

104.97 Кб

Скачать

☆

<<< < Предыдущая 1 2 34 / 44

Контрольные вопросы

Определите исчисление предикатов как формальную систему.
Сформулируйте основные теоремы исчисления предикатов.
Что такое пренексная нормальная форма и сколемовская стандартная форма в исчислении предикатов?
Привести формулу к ПНФ F = x(P(x)xR(x))yQ(y).

15

<<< < Предыдущая 1 2 34 / 44

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

#
14.03.2016173.57 Кб66602.doc
#
14.03.2016175.1 Кб5761-81.doc
#
14.03.2016206.98 Кб1186м80.docx
#
14.03.20161.95 Mб257 - подпрограммы.doc
#
14.03.2016625.31 Кб327 - подпрограммы.pdf
#
24.09.2019104.97 Кб807. Исчисление предикатов.docx
#
01.03.202586.02 Кб137. Методичка 2010.тесты.doc
#
14.03.2016275.58 Кб677. Семестровая работа №1.pdf
#
14.03.2016287.74 Кб577. Семестровая работа №2.doc
#
23.04.2019104.96 Кб1167.01 Каналы связи и их основные характеристики.doc
#
23.04.201992.67 Кб647.02 Возможности и преимущества сетевых техноло....doc