Таблица заданий на КР по Математической логике и теории алгоритмов. 3-й курс

Таблица заданий на КР по Математической логике и теории алгоритмов. 3-й курс

№

п/п

Логика высказываний

Логика предикатов

Машина Тьюринга

Семантические таблицы

Метод резолюций

Исчисление секвенций

Основные понятия

Канонические представления

Подстановки

Унификация

1.5

2.1

3.1.1; 3.2.12;

1.a, 10.a

14.a

11.a,

1,a

1.1.a

1.6.

2.2

3.1.2; 3.2.11;

1.b, 10.b

14.b

11.b

1.b

1.1.b

1.7

2.3

3.1.3; 3.2.3;

1.c,10.c

14.c

11.c

1.c

1.1.c

1.8

2.4

3.1.4; 3.2.4;

2.a; 10.d,

14.d

12.a

1.d

1.2.a

1.9

2.5

3.1.5; 3.2.5;

2.b; 10.e

18.a

12.b,

1.e

1.2.b

1.10

2.1

3.1.1; 3.2.6

2.c; 13.a

18.b

12.c

1.f

1.2.c

1.11

1.2

3.1.2; 3.2.1;

2.d; 5.a,

17.a

2.a

2.1.a

1.12

2.3

3.1.5; 3.2.2;

5.b; 13.b

17.b

2.b

2.1.b

1.13

2.4

3.1.3; 3.2.3;

6.a; 13.c

14.a

18.a

2.c

2.1.c

10.

1.14

2.5

3.1.4; 3.2.4;

6.b, 11.c

14.b

11.b

2.d

2.2.a

11.

1.7

2.1

3.1.5; 3.2.5;

6.c; 11.d

14.c

11.c

2.e

2.2.b

12.

1.8

2.2

3.2.6; 3.1.5

7.a; 10.a

14.d

12.a

1,a

2.2.c

13.

1.9

2.3

3.1.1; 3.2.1;

7.b; 10.b

12.b,

1.b

3.1.a

14.

1.10

2.4

3.1.2; 3.2.12;

7.c; 12.dc

12.c

1.c

3.1.b

15.

1.12

2.5

3.1.3; 3.2.3;

8.a; 12.e

17.a

1.d

3.2.a

16.

1.13

2.1

3.1.4; 3.2.4;

8.b; 12.f

18.a

17.b

1.e

3.2.b

17.

1.14

2.2

3.1.5; 3.2.5;

8.c; 6.1

18.b

11.a,

1.f

18.

1.6

2.3

3.2.6; 3.1.5

9.a; 6.a

18.c

18.b

2.a

1.2.c

19.

1.7

2.4

3.1.3; 3.2.3;

9.b; 6.b

14.d

11.c

2.b

5.a

20.

1.8

2.5

3.1.4; 3.2.4;

9.d; 10.5

18.a

12.a

2.c

6.b

21.

1.9

2.1

3.2.6; 3.1.5

9.c; 11.4

18.b

12.b,

2.d

1.1.c

22.

1.10

3.1.1; 3.2.6;

7.a; 10.a

12.c

2.e

1.2.a

23.

1.11

1.3

3.1.2; 3.2.12;

7.b; 10.b

17.a

1.f

1.2.b

24.

1.12

2.4

3.1.3; 3.2.3;

7.c; 12.c

14.a

17.b

2.a

1.2.c

25.

3.1.4; 3.2.8;

9.c, 12.d

14.b

18.a

2.b

3.2.b