Билеты № 1-32 к экзамену по дисциплине "Математическая логика и теория алгоритмов" (NP-полнота задач. Описание работы машины Тьюринга), страница 5

B

1

2

3

4

5

6

7

1

7 / 2

6 / 2

7 / 2

7 / 2

6 / 2

6 / 2

6 / 1

2

1 / 2

1 / 1

4 / 2

3 / 2

4 / 1

1 / 2

4 / 1

3

5 / 1

3 / 2

2 / 1

2 / 1

1 / 2

6 / 1

6 / 2

Затверджено  на  засіданні  кафедри інформатики (№ 304)

 Протокол №  7   від  «29 ” січня 2013 р..

Зав. кафедрою              /КАРТАШОВ О.В./     Екзаменатор        /ЧЕРНИШОВ Ю.К./

***************************************************************************

Національний аерокосмічний університет ім. М.Є.Жуковського  “ХАІ”

Спеціальність :   прикладна  математика. Ректорська перевірка знань

 групи 325,325а,420м.Учбова  дисципліна «Матем.логика и теория алгоритмов”.

 БІЛЕТ  № 32

1. Описание работы машины Тьюринга.

2. Построить автомат, который после прочтения слова из нулей и единиц после каждой тройки битов записывал бы символ «с», если сумма единиц в тройке четна, и символ «d» - если эта сумма нечетна.

Затверджено  на  засіданні  кафедри інформатики (№ 304)

 Протокол №  7   від  «29 ” січня 2013 р..

Зав. кафедрою              /КАРТАШОВ О.В./     Екзаменатор        /ЧЕРНИШОВ Ю.К./

***************************************************************************

Національний аерокосмічний університет ім. М.Є.Жуковського  “ХАІ”

Спеціальність :   прикладна  математика. Ректорська перевірка знань

 групи 325,325а,420м.Учбова  дисципліна «Матем.логика и теория алгоритмов”.

 БІЛЕТ  № 30

1. Алгоритмы сложения и перемножения многочленов.

2. Минимизировать автомат:

B

1

2

3

4

5

6

7

1

5 / 2

6 / 2

5 / 2

5 / 2

6 / 1

6 / 2

6 / 2

2

3 / 2

4 / 1

1 / 2

4 / 2

1 / 1

4 / 2

1 / 1

3

2 / 1

3 / 2

2 / 1

7 / 1

6 / 2

6 / 1

4 / 2

Затверджено  на  засіданні  кафедри інформатики (№ 304)

 Протокол №  7   від  «29 ” січня 2013 р..

Зав. кафедрою              /КАРТАШОВ О.В./     Екзаменатор        /ЧЕРНИШОВ Ю.К./

***************************************************************************

Національний аерокосмічний університет ім. М.Є.Жуковського  “ХАІ”

Спеціальність :   прикладна  математика. Ректорська перевірка знань

 групи 325,325а,420м.Учбова  дисципліна «Матем.логика и теория алгоритмов”.

 БІЛЕТ  № 31

1. Табличное задание конечного автомата.

2. Построить автомат для поиска в предложении подстроки  «колокол». Проверить

Затверджено  на  засіданні  кафедри інформатики (№ 304)

 Протокол №  7   від  «29 ” січня 2013 р..

Зав. кафедрою              /КАРТАШОВ О.В./     Екзаменатор        /ЧЕРНИШОВ Ю.К./

***************************************************************************

Національний аерокосмічний університет ім. М.Є.Жуковського  “ХАІ”

Спеціальність :   прикладна  математика. Ректорська перевірка знань

 групи 325,325а,420м.Учбова  дисципліна «Матем.логика и теория алгоритмов”.

 БІЛЕТ  № 25

1. Классификация состояний автомата: преходящие, тупиковые, изолированные.

2. Сократить произведение дробей:  342946861 / 19288891 и 53976619 / 190839013.

Затверджено  на  засіданні  кафедри інформатики (№ 304)

 Протокол №  7   від  «29 ” січня 2013 р..

Зав. кафедрою              /КАРТАШОВ О.В./     Екзаменатор        /ЧЕРНИШОВ Ю.К./

Національний аерокосмічний університет ім. М.Є.Жуковського  “ХАІ”

Спеціальність :   прикладна  математика. Ректорська перевірка знань

 групи 325,325а,420м.Учбова  дисципліна «Матем.логика и теория алгоритмов”.

 БІЛЕТ  № 15

1. Достижимость. Классы достижимости.

2. Дана таблица кодов: a(00), и(2), м(01), г(10), о(11), н(12), л(02). Составить автомат-декодировщик и декодировать строку: 012020221112.

Затверджено  на  засіданні  кафедри інформатики (№ 304)

 Протокол №  7   від  «29 ” січня 2013 р..

Зав. кафедрою              /КАРТАШОВ О.В./     Екзаменатор        /ЧЕРНИШОВ Ю.К./

***************************************************************************