Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лабораторные / ЛР_ММИП_12.doc
Скачиваний:
19
Добавлен:
29.02.2016
Размер:
1.32 Mб
Скачать

Индивидуальные задания

Вариант

задание1

задание2

1

7

16

2

8

27

3

5

21

4

13

26

5

1

17

6

12

28

7

6

22

8

14

20

9

2

29

10

11

25

11

9

18

12

15

23

13

3

30

14

10

19

15

4

24


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

  1. Что называют исчислением предикатов?

  2. Сформулируйте аксиомы исчисления предикатов.

Соседние файлы в папке Лабораторные