Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Задания для контрольной работы по МЛ и ТО.docx
Скачиваний:
28
Добавлен:
29.03.2015
Размер:
112.83 Кб
Скачать

Варианты

Вариант вычисляется по правилу: № зачетки (студенческого билета) делится нацело на количество вариантов (15), берется остаток от деления и к нему добавляется 1.

Например, если № зачетки=12з-234, то вариант вычисляется следующим образом:

  1. 234 mod 15= 9 (mod –остаток от целочисленного деления).

  2. 9+1=10 – номер варианта.

Выполняются только задачи, номера которых указаны в строке соответствующего варианта.

№ варианта

I. Логика и исчисление высказываний

II. Логика и исчисление предикатов. Автоматическое доказательство теорем.

III. Теория алгоритмов

1

1.1, 2.1, 2.2, 3.1, 4.1, 5.1, 6.1, 7.1

1.1, 2.5, 3.1, 4.5

1.1, 2.4, 3.1

2

1.2, 2.3, 2.4, 3.2, 4.2, 5.2, 6.2, 7.2

1.2, 2.4, 3.2, 4.4

1.2, 2.2, 3.2

3

1.3, 2.5, 2.6, 3.3, 4.3, 5.3, 6.3, 7.3

1.3, 2.3, 3.3, 4.3

1.3, 2.1, 3.3

4

1.4, 2.7, 2.8, 3.4, 4.4, 5.4, 6.4, 7.4

1.4, 2.2, 3.4, 4.2

1.4, 2.6, 3.4

5

1.5, 2.1, 2.3, 3.5, 4.5, 5.5, 6.5,7.5

1.5, 2.1, 3.5, 4.1

1.5, 2.5, 3.5

6

1.6, 2.2, 2.4, 3.6, 4.6, 5.6, 6.6, 7.6

1.6, 2.10, 3.1, 4.5

1.6, 2.4, 3.6

7

1.1, 2.5, 2.7, 3.7, 4.7, 5.7, 6.7, 7.7

1.7, 2.9, 3.2, 4.4

1.7, 2.3, 3.1

8

1.2, 2.6, 2,8, 3.8, 4.8, 5.8, 6.8, 7.8

1.8, 2.8, 3.3, 4.3

1.8, 2.2, 3.2

9

1.3, 2.1, 2.2, 3.1, 4.9, 5.9, 6.9, 7.1

1.9, 2.7, 3.4, 4.2

1.9, 2.1, 3.3

10

1.4, 2.3, 2.4, 3.2, 4.10, 5.10, 6.10, 7.2

1.10, 2.6, 3.5, 4.1

1.10, 2.6, 3.4

11

1.5, 2.5, 2.6, 3.3, 4.11, 5.1, 6.11, 7.3

1.11, 2.5, 3.1, 4.5

1.1, 2.5, 3.5

12

1.6, 2.7, 2.8, 3.4, 4.12, 5.2, 6.12, 7.4

1.12, 2.4, 3.2, 4.4

1.2, 2.4, 3.6

13

1.1, 2.1, 2.3, 3.5, 4.1, 5.3, 6.1, 7.5

1.13, 2.3, 3.3, 4.3

1.3, 2.3, 3.1

14

1.2, 2.2, 2.4, 3.6, 4.2, 5.4, 6.2, 7.6

1.14, 2.2, 3.4, 4.2

1.4, 2.2, 3.2

15

1.3, 2.5,2.7, 3.7, 4.3, 5.5, 6.3, 7.7

1.15, 2.1, 3.5, 4.1

1.5, 2.1, 3.3