Математическая логика и теория алгоритмов. Сергиевская И.М. - 59 стр.

UptoLike

ВУЗ: 

ПГУТИ | Самара

Составители: 

Рубрика: 

64
Глава 9. Машины Тьюринга. 1. 1)
3
0
2
11 q . 2)
3
0
101q . 3) 1011
0
q . 4) 0101
0
4
q . 5)
2
0
110q
. 6)
2
0
2
11 q
. 7)
2
0
2
101 q
. 8)
101
0
42
q
. 9)
1100
23
0
q
.
11)
2
0
0110q . 2. 1) а) 011)(
3
=PT ; б) 101)(
=
P
T
. 2) а) Неприменима;
б) 1)( =
P
T
. 3) а); б) Неприменима. 4) а)
32
011)( =PT ; б) Неприменима. 5) а)
Неприменима; б) 1)( =
P
T
. 6. 1) а) 011
4
; б)
5
1 . 2) а)
011
2
;
б)
2
101 . 3) а)
4
1; б) 011
2
. 7. 1) а)
2
1; б) 1. 2) а)1; б) 1. Вернуться в Задачи.
В
Содержание.
Литература.
1. Бочкарева О.В. Учебное пособие по математике (специальные главы). М., Радио
и связь, 2001.
2.
Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по курсу дискретной
математики. М., Наука, 1992.
3.
Горбатов В.А. Фундаментальные основы дискретной математики. М., Наука,
2000.
4.
Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров.
М., Энергоатомиздат, 1988.
5.
Кук Д., Бейз Г. Компьютерная математика. М., Наука,1990.
6.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической
логике и теории алгоритмов. М., ФИЗМАТЛИТ, 2001.
7.
Логинов Б.М. Введение в дискретную математику. Калуга, 1998.
8.
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций.
Задачник-практикум и решения. СПб, Лань, 1999.
9.
Математическая энциклопедия. Т. 1. М., Советская Энциклопедия, 1977.
10.
Мендельсон Э. Введение в математическую логику. М., Наука, 1984.
11.
Непейвода Н.Н. Прикладная логика. Новосибирск, Изд-во Новосибирского
университета, 2000.
12.
Новиков Ф.А. Дискретная математика для программистов. СПб, Питер, 2000.
13.
Тишин В.В. Теория алгоритмов, предикаты. Самара, 2001.
14.
Фролов И.С. Элементы математической логики. Самара, Самарский университет,
2001.
15.
Яблонский С.В. Введение в дискретную математику. М., Высшая школа, 2001.
В
Содержание. 
       Глава 9. Машины Тьюринга. 1. 1) 12 q013 . 2) q01013 . 3) 1q0101 . 4) 1014 q0 0 . 5)
10q012 . 6) 12 q012 . 7) 12 0q0 12 . 8) 12 0 4 q01 . 9) q0 0310 21.
11)    10q0 012 . 2. 1) а) T ( P) = 13 01 ; б) T ( P) = 101 . 2) а) Неприменима;
б) T ( P) = 1 . 3) а); б) Неприменима. 4) а) T ( P ) = 12 013 ; б) Неприменима.         5) а)
                                                                  2
Неприменима; б) T ( P ) = 1 . 6. 1) а) 14 01 ; б) 15 . 2) а) 1 01;
б) 1012 . 3) а) 14 ; б) 12 01 . 7. 1) а) 12 ; б) 1. 2) а)1; б) 1. Вернуться в Задачи.

В Содержание.




Литература.

1. Бочкарева О.В. Учебное пособие по математике (специальные главы). М., Радио
   и связь, 2001.
2. Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по курсу дискретной
   математики. М., Наука, 1992.
3. Горбатов В.А. Фундаментальные основы дискретной математики. М., Наука,
   2000.
4. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров.
   М., Энергоатомиздат, 1988.
5. Кук Д., Бейз Г. Компьютерная математика. М., Наука,1990.
6. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической
   логике и теории алгоритмов. М., ФИЗМАТЛИТ, 2001.
7. Логинов Б.М. Введение в дискретную математику. Калуга, 1998.
8. Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций.
   Задачник-практикум и решения. СПб, Лань, 1999.
9. Математическая энциклопедия. Т. 1. М., Советская Энциклопедия, 1977.
10.Мендельсон Э. Введение в математическую логику. М., Наука, 1984.
11.Непейвода Н.Н. Прикладная логика. Новосибирск, Изд-во Новосибирского
   университета, 2000.
12.Новиков Ф.А. Дискретная математика для программистов. СПб, Питер, 2000.
13.Тишин В.В. Теория алгоритмов, предикаты. Самара, 2001.
14.Фролов И.С. Элементы математической логики. Самара, Самарский университет,
   2001.
15.Яблонский С.В. Введение в дискретную математику. М., Высшая школа, 2001.

В Содержание.




                                                     64

Страницы