Тьюринг. Компьютерное исчисление - Рафаэль Лаос-Бельтра Страница 30
Тьюринг. Компьютерное исчисление - Рафаэль Лаос-Бельтра читать онлайн бесплатно
Bell, E.T., Los grandes matemdticos, Buenos Aires, Losada, 2010.
Boyer, C., Historia de la matemdtica, Madrid, Alianza Editorial, 2007.
Coello, C.A., Breve historia de la computation у sus pioneros, Mexico D.F., FCE, 2003.
Crane, T., La mente mecdnica. Introduction filosofica a mentes, md- quinas у representation mental, Mexico D.F., FCE, 2008.
Isasi, P., Martinez, P., Borrajo, D., Lenguajes, gramdticas у automatas. Un enfoque prdctico, Madrid, Pearson Education, 1997.
Lahoz-Beltra, R., Bioinformdtica. Simulation, vida artificial e inteligencia artificial, Madrid, Diaz de Santos, 2004.
—: Turing. Del primer ordenador a la inteligencia artificial, Madrid, Nivola, 2009.
Leavitt, D., El hombre que sabia demasiado, Barcelona, Editorial Antoni Bosch, 2007.
Odifreddi, P., La matemdtica delsiglo xx: de los conjuntos a la complejidad, Buenos Aires, Katz Editores, 2006.
Pena, R., De Euclides a Java: Historia de los algoritmos у de los lenguajes de programacion, Madrid, Nivola, 2006.
Stewart, I., Historia de las matemdticas, Madrid, Critica, 2008.
Strathern, P., Turingy el ordenador, Madrid, Siglo XXI, 1999.
автомат 46-49, 92, 104
клеточный 46, 47, 49, 138
конечный 22, 28, 34, 46-48
нейронный 47, 102-109, 136, 137
самовоспроизводящийся 92 4
Алгол 37
алгоритм 34-38, 40, 50, 70, 73, 88, 95, 112, 113, 117, 124, 125, 127, 135, 137, 141
квантовый 126, 127
свойства 34
алфавит 28, 30, 46, 57, 58
анализ числовой 86, 95
«Аполлон», проект 32, 33
Атанасофф, Джон Винсент 89, 90
байт 97
барабаны см. Bombe 57, 66
бесконечный ряд 19
биоинформатика 123, 141
биология 7, 8, 10, 11, 17, 102, 116, 117, 123, 137, 138
вычислительный подход 116
математика 117, 123 бит 71, 75, 106, 127, 129
операции 13, 37, 49, 55, 62, 68, 73, 74, 84, 88, 90, 94, 103, 104, 112, 129, 132-134
Блетчли-Парк 9, 11, 23, 51, 60-64, 68, 70-72, 75-77, 79, 81, 95, 112, 126, 130
Блох, сфера 132, 133 бомба 61, 63, 64
бомба атомная 73, 87, 92
Брока, Поль 103
булева алгебра 74, 75, 104, 106, 133
Бэббидж, Чарльз 81, 90
Вейнценбаум, Джозеф 114
вентиль
Адамара 135
квантовый 18-20, 38, 92, 123-127, 129, 131, 133, 134
Паули 135
вероятности теория 23, 73, 132, 133
Вирт, Никлаус 37
Вторая мировая война 7-9, 11, 22, 23, 27, 53, 55, 57, 59, 62, 68, 70, 76, 77, 81, 86, 90, 97, 142
вычисление 11, 22, 27, 34, 40, 116, 126, 129, 131, 141
ДНК 141
Национальный музей 77
«эффективный метод» 34
Гарднер, Мартин 46
Гедель, Курт 22, 24, 26, 27, 39, 124
гены 118, 138, 140
Гильберт, Давид 22, 26, 27, 130
голоса шифровка 64, 65
Дарвин, Чарльз 81
дедукция 26
ДНК 10, 25, 136, 138, 140, 141
Дойч, Дэвид 28, 123, 124
точка плавающая 84
зебры, образец шкуры 10, 118, 120, 137, 139
золотое сечение 117
игра «Жизнь» 46-49, 134
интуиция 25, 50, 114, 124, 125
искусственный интеллект 7, 9, 37, 68, 101, 102, 107, 111-115, 123, 126, 134, 136, 137
квантовый 134
поведенческий подход 110
сильный 114
символьный подход 112
слабый 114
субсимвольный подход 104
КАПЧА 7, 111
Каспаров, Гарри 112-114, 119
карта перфорированная 63
Килбурн, Том 95
Кларк, Уэсли 135
когнитивные науки 102
код 44, 53, 60, 69-71, 83, 87, 93, 94, 140
Бодо 70, 71
ключевой 44, 83, 93
машинный 44, 83, 93
Морзе 70
«Энигмы» 7, 11, 62, 142
компилятор 44, 93, 112
компьютер 7-11, 13, 22, 25-27, 32-34, 36, 38, 40-47, 49, 53, 70, 72-77, 79, 81-93, 95, 97, 99, 101-105, 109-117, 120, 123, 125, 127, 129, 132-136, 141
виртуальный 33, 83
квантовый 8, 10, 38, 123, 127, 129, 130, 132-135
Цузе 90
эмуляторы 85
АВС 89
Baby 23, 86, 89, 95
Bendix G15 86
Colossus 9, 10, 33, 72, 74-77, 79, 88-90, 95, 134
EDSAC 10, 82, 87, 89
EDVAC87, 89, 92, 93
ENIAC 10, 44, 77, 87-90, 92, 93, 136
Ferranti Mark I 11, 86, 89, 91, 97
Harvard Mark 190
IAS 92
Macintosh 83, 85, 88
Manchester Mark I (MADAM) 11, 95, 97, 102, 113
ORDVAC 92, 93
Packard-Bell PB250 86
Pilot ACE 7, 9-11, 76, 79, 82, 83, 85, 86, 88, 89
UNIVAC 182
ZX Spectrum 85
Конвей, Джон 46, 47, 134
Королевское общество 95, 114
криптография 68, 126, 129, 134
криптология 60 (см. криптография) кубит 127-133
лжец парадокс 24, 25
логика 20, 22-24, 33, 50, 70, 74, 75, 94, 102, 104
лямбда-исчисление 36
Маккалок — Питтс модель 103, 104, 108, 136, 137
Маккарти, Джон 37, 101, 136
Макмахон закон 87
маркер 40
математика прикладная 23, 88, 95
машина
дезорганизованная 103
индетерминистская 40, 46
конечных состояний 46
Лоренца — Lorenz SZ 40-42, 68, 70, 72, 76
программируемая 72, 88
Робинсона 72
самовоспроизводящаяся 92
состояния 29-32, 45
Жалоба
Напишите нам, и мы в срочном порядке примем меры.
Comments