Приложение
для AndroidПолное описание
519.7/Т 956
Тьюринг, Алан Мэтисон (британский математик, логик, криптограф ; 1912-1954). Игра в имитацию : о шифрах, кодах и искусственном интеллекте : [сборник] / Алан Тьюринг ; перевод с английского Ю. Данилова. - Москва : Изд-во Родина, 2024. - 190, [1] с. - (Сила мысли). - Библиогр. в подстроч. примеч. - 150 экз. - ISBN 978-5-907149-55-7 : 500 р. - Текст (визуальный) : непосредственный.
Содержание:
Тьюринг, Алан Мэтисон. Может ли машина мыслить? / А. М. Тьюринг. - С. 6-71
Нейман, Джон фон. Общая и логическая теория автоматов / Д. фон Нейман. - С. 72-137
Мичи, Дональд. Алан Тьюринг и проект машины-ребенка / 138-168
Кнут, Дональд. Программирование как искусство / Д. Кнут. - С. 169-191
| ГРНТИ | УДК | |
| 28.25 | 519.713 | |
| 28.23 | 004.8 |
Рубрики:
Автоматов теория
Искусственный интеллект
Кл.слова (ненормированные): цифровые вычислительные машины -- универсальность -- обучающиеся машины -- логическая теория автоматов -- программирование как искусство
Аннотация: Учёный-математик Алан Тьюринг в тексте работы "О вычислимых числах", вышедшей в 1936 году, доказал, что универсального метода установления истины нет и не может быть в математической науке. Математика всегда будет содержать не поддающиеся разрешению задачи. На базе этого метода учёный разработал так называемую "Машину Тьюринга", ставшую прообразом современного персонального компьютера. Во времена Второй мировой он создал дешифровальную машину, которая позволила взломать код "Энигмы", что изменило весь ход Второй мировой войны. Именно Алан Тьюринг считается основателем современной кибернетики и главным теоретиком проблемы искусственного интеллекта. В этой книге Алан Тьюринг расшифровывает не только свои методы, философию, но и код собственной жизни. "Всегда есть ошибка. В этом всё дело. Без них невозможно существование любой системы. Вопрос лишь в том, как её найти..." (Алан Тьюринг).
Доп. точки доступа:
Данилов, Юлий Александрович\пер.\
Имеются экземпляры в отделах: всего 2 : ПНТ (1), ЗПН (1)
Свободны: ПНТ (1), ЗПН (1)
Заказаны экз-ры для отделов: ФО20, ФО26
Обложка
Грэхем, Роналд. Конкретная математика. Математические основы информатики / Р. Грэхем, Д. Э. Кнут, О. Паташник ; перевод с английского и редакция И. В. Красикова, 2021. - 781, [1] с. - Текст (визуальный) : непосредственный.Кнут, Д. Э. Искусство программирования. Т. 3(2019) : Сортировка и поиск, 2019. - 822 с. - Текст : непосредственный.Нейман, Джон фон. Вычислительная машина и мозг / Джон фон Нейман ; перевод с английского А. Чечиной, 2022. - 190, [1] с. - Текст (визуальный) : непосредственный.Кнут, Д. Э. Искусство программирования. Т. 2(2022) : Получисленные алгоритмы, [2020]. - 828 с. - Текст : непосредственный.Кнут, Д. Искусство программирования для ЭВМ : [в 7 томах]. Т 1 : Основные алгоритмы, 1976. - 734, [1] с. - Текст : непосредственный.Тьюринг, Алан Мэтисон. Игра в имитацию : о шифрах, кодах и искусственном интеллекте : [сборник] / Алан Тьюринг, 2024. - 190, [1] с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Тьюринг А. Может ли машина мыслить. Общая и логическая теория автоматов ; / Д.фон Нейман ; Пер. с англ. Ю.А.Данилова; Ред. и предисл. С.А.Яновской, 1960. - 112 с. - Текст : непосредственный.Тьюринг А.М. Может ли машина мыслить? : С прил.ст.Дж.фон Неймана Общая и логическая теория автоматов / А.М.Тьюринг;Пер.с англ.Ю.А.Данилова, 1999. - 99 с. - Текст : непосредственный.Гегель, Георг Вильгельм Фридрих. Законы диалектики : всеобщая мировая ирония : перевод с немецкого / Георг Гегель, 2022. - 238, [1] с. - Текст (визуальный) : непосредственный.Кант, Иммануил. Метафизика нравов. "Ты должен, значит, ты можешь" / Иммануил Кант ; [перевод с немецкого С. Я. Шейнман-Топштейн и Ц. Г. Арзаканьяна], 2022. - 270, [1] с. - Текст (визуальный) : непосредственный.Тесла, Никола. Власть над миром / Никола Тесла ; [переводчик - Л. Бабушкина], 2023. - 205, [2] с. - Текст (визуальный) : непосредственный.Вернадский, Владимир Иванович. Русский космизм : научное понимание земного мира и Вселенной / Владимир Вернадский, 2024. - 332, [2] с. - Текст (визуальный) : непосредственный.Эйнштейн, Альберт. Бог не играет в кости : моя теория относительности / Альберт Эйнштейн, 2024. - 254, [1] с. - Текст (визуальный) : непосредственный.Шрёдингер, Эрвин. Квантовый кот вселенной : [перевод с немецкого] / Эрвин Шрёдингер, 2024. - 222, [1] с. - Текст (визуальный) : непосредственный.Тьюринг, Алан Мэтисон. Игра в имитацию : о шифрах, кодах и искусственном интеллекте : [сборник] / Алан Тьюринг, 2024. - 190, [1] с. (Введено оглавление). - Текст (визуальный) : непосредственный.Элиас, Норберт. "Мы" и "Я". Общество индивидов / Норберт Элиас, 2025. - 238, [1] с. - Текст (визуальный) : непосредственный.Хейзинга Йохан.Злой мир и пляска смерти. Особенности средневекового мышления / Йохан Хейзинга, Ален Либера, 2025. - 222, [1] с. - Текст (визуальный) : непосредственный.Хофмайстер, Хаймо. Воля к войне, или Бессилие политики : перевод с немецкого / Хаймо Хофмайстер, 2026. - 256, [1] с. - Текст (визуальный) : непосредственный.
Распознавание рукописных знаков японской слоговой азбуки Катаканы с помощью методов синтаксического анализа / ВЦП. - 18 с. - Текст : непосредственный.Поиск минимального значения с помощью многопереходной нейронной сети / ВЦП. - 26 с. - Текст : непосредственный.Применение принципа машинного обучения при решении проблемы задания параметров для осуществления неразрушающего контроля / ВЦП. - 18 c. - Текст : непосредственный.Светло-темная структура интерференционных линий Косселя и анализ кристаллической структуры /II/ / ТПП УССР. - 37 c. - Текст : непосредственный.Результаты прогноза 1985 года по компьютерному зрению в Дельфи / ВЦП. - 47 c. - Текст : непосредственный.Пацан А. Средства представления и обработки знаний в объективно-ориентированных экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.18.11 / А. Пацан, 1991. - 21 с. - Текст : непосредственный.Сардалишвили Т.Р. Разработка многокритериальных моделей принятия решений и методов параллельных вычислений для представления знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Т. Р. Сардалишвили, 1991. - 20 с. - Текст : непосредственный.Рогов В.Н. Разработка методов и средств распознавания цвета на основе многокомпонентных моделей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.11.16 / В. Н. Рогов, 1990. - 19 с. - Текст : непосредственный.Дудкин А.К. Исследование и разработка методов и алгоритмов идентификации объектов изображения в системах машинного зрения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / А. К. Дудкин, 1991. - 16 с. - Текст : непосредственный.Ковалева Г.Е. Применение функционального подхода к реализации систем представления знаний : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Г. Е. Ковалева, 1991. - 11 . - Текст : непосредственный.Рачковский Д.А. Разработка и исследование многоуровневых ансамблевых сетей нейроподобных элементов : Автореферат диссертации на соискание ученой степени канд.техн.наук:15.13.09 / Д. А. Рачковский, 1990. - 17 с. - Текст : непосредственный.Полянский П.В. Пространственно-частотная структура и фильтрующие свойства голограммы : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.05 / П. В. Полянский, 1991. - 16 с. - Текст : непосредственный.Жожикашвили А.В. Теоретико-категорный язык для задач представления знаний и обучения посредством обобщения : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.17 / А. В. Жожикашвили, 1991. - 18 с. - Текст : непосредственный.Бычков И.В. Сетевая система представления и обработки знаний для решения задач на ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. В. Бычков, 1991. - 17 с. - Текст : непосредственный.Галаванова Е.И. Преобразование изображения в оптических системах с ЖК ПВМС в режиме нелинейного взаимодействия в нем оптических сигналов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.05 / Е. И. Галаванова, 1991. - 17 с. - Текст : непосредственный.Дадешидзе В.В. Распознавание образов и анализ сцен с использованием корреляционной функции инвариантного описания изображений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.05 / В. В. Дадешидзе, 1991. - 19 с. - Текст : непосредственный.Терехина А.Ю. Разработка методов многомерного шкалирования для представления структуры знаний : Автореферат диссертации на соискание ученой степени д-ра техн.наук:01.01.11 / А. Ю. Терехина, 1991. - 36 с. - Текст : непосредственный.Шклярский В.И. Вопросы управления электронно-лучевой трубкой в автоматизированных системах обработки фотоизображений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / В. И. Шклярский, 1991. - 20 с. - Текст : непосредственный.Башмаков Д.М. Нечеткие модели и линейные методы принятия оптимизированных управляющих решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16:05.13.01 / Д. М. Башмаков, 1991. - 16 с. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.
Показать все результатыСистемы, использующие мысли вместо знаний, основанных на формальных правилах / ВЦП (Киев). - 7 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.3. Датчики и искусственный интеллект. Искусственный интеллект в системах машинного зрения / ВЦП. - 19 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Системы управления и моделирования на базе знаний / ВЦП.Минская ред. - 15 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.5. МАР и ТОР / ВЦП.Минская ред. - 41 c. - Текст : непосредственный.Искусственный интеллект. Применения в CIM. Гл.11.Управляющие экспертные системы. Базы данных и базы знаний в УЭС / ВЦП.Минская ред. - 32 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.7. Базы данных CIM.Искусственный интеллект в CIM базах данных / ВЦП.Минская ред. - 53 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.8. Распределенный искусственный интеллект. Системы распределенного искусственного интеллекта / ВЦП.Минская ред. - 47 c. - Текст : непосредственный.Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Foundations of artificial intelligence / сост.ed. D. Kirsh, 1992. - 358 p. - Текст : непосредственный.Niemela I. Autoepistemic logic as a unified basis for nonmonotonic reasoning : Diss. / I.Niemela, 1993. - 162 p. - Текст : непосредственный.Дулин С.К. Структурная согласованность данных и знаний : Учеб.пособие / С.К.Дулин, 1993. - 87 c. - Текст : непосредственный.Drescher G.L. Made-Up Minds : A constructivists approach to artificial intelligence / G.L.Drescher, 1991. - 220 p. - Текст : непосредственный.Innovative applications of artificial intelligence 2 / сост.ed. A. Rappaport, сост.ed. R. Smith, 1991. - 310 мкф.Бакаев А.А. Методы организации и обработки баз знаний / А.А.Бакаев,В.И.Гриценко,Д.Н.Козлов, 1993. - 149 c. - Текст : непосредственный.Дулин С.К. Моделирования сходства элементов базы знаний / С.К.Дулин,И.А.Киселев, 1994. - 23 c. - Текст : непосредственный.Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G.Frederichs,M.Rader, 1993. - 108 S. - Текст : непосредственный.Asker L. Partial explanations as a basis for learning : Diss. / L.Asker, 1994. - 151 p. - Текст : непосредственный.Kilander F. Incremental conceptual clustering in an on-line application : Diss. / F.Kilander, 1994. - 140 p. - Текст : непосредственный.Брусакова И.А. Проектирование баз знаний и экспертные системы : Учеб.пособие / И. А. Брусакова, Д. Д. Недосекин, С. В. Прокопчина, 1993. - 59 c. - Текст : непосредственный.
Показать все результатыПацан А. Средства представления и обработки знаний в объективно-ориентированных экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.18.11 / А. Пацан, 1991. - 21 с. - Текст : непосредственный.Сардалишвили Т.Р. Разработка многокритериальных моделей принятия решений и методов параллельных вычислений для представления знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Т. Р. Сардалишвили, 1991. - 20 с. - Текст : непосредственный.Ковалева Г.Е. Применение функционального подхода к реализации систем представления знаний : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Г. Е. Ковалева, 1991. - 11 . - Текст : непосредственный.Канеп Я.Я. Представимость языков в двусторонних конечных вероятностных автоматах : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Я. Я. Канеп, 1991. - 14 с. - Текст : непосредственный.Бычков И.В. Сетевая система представления и обработки знаний для решения задач на ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. В. Бычков, 1991. - 17 с. - Текст : непосредственный.Терехина А.Ю. Разработка методов многомерного шкалирования для представления структуры знаний : Автореферат диссертации на соискание ученой степени д-ра техн.наук:01.01.11 / А. Ю. Терехина, 1991. - 36 с. - Текст : непосредственный.Башмаков Д.М. Нечеткие модели и линейные методы принятия оптимизированных управляющих решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16:05.13.01 / Д. М. Башмаков, 1991. - 16 с. - Текст : непосредственный.Богачев Д.А. Семантическая память адаптивных интеллектуальных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Д. А. Богачев, 1991. - 16 с. - Текст : непосредственный.Васильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный.Гинкул Г.П. Игровой подход к формированию баз знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. П. Гинкул, 1991. - 15 с. - Текст : непосредственный.Зикеева Г.В. Метод автоматизированного формирования и контроля целостности баз знаний с неструктурированными продукционными правилами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. В. Зикеева, 1991. - 20 с. - Текст : непосредственный.Абдуллаева М. Системы логического вывода,основанные на методе резолюций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. Абдуллаева, 1991. - 19 с. - Текст : непосредственный.Хведчук В.И. Средства ПЭВМ с поддержкой логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. И. Хведчук, 1991. - 16 с. - Текст : непосредственный.Воробьев В.Б. Представление,организация и обработка знаний в интеллектуальной системе ИКАР : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Б. Воробьев, 1992. - 15 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Андриенко Г.Л. Методы сопоставления для автоматизированного приобретения экспертных знаний : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. Л. Андриенко, 1992. - 15 с. - Текст : непосредственный.Симов С.Ж. Разработка и исследование интервальных моделей при анализе данных и проектировании экспертных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. Ж. Симов, 1992. - 20 с. - Текст : непосредственный.Коваленко Г.М. Способы,модели и программная реализация эффективной физической организации данных в автоматизированных комплексах формирования знаний операторов технических систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Г. М. Коваленко, 1992. - 22 с. - Текст : непосредственный.Дулин С.К. Методология поддержки согласованности активных систем знаний интеллектуальными диалоговыми средствами : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / С. К. Дулин, 1992. - 36 с. - Текст : непосредственный.Андриенко А.В. Инструментальные средства формирования баз процедурных знаний : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Андриенко, 1992. - 16 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽