Алгоритмические машины
Информация - Компьютеры, программирование
i>Клини С. Введение в метаматематику [Текст] / С. Клини. М.: Изд-во иностр. лит., 2008.
Клини С. Машины Тьюринга и рекурсивные функции [Текст] / С. Клини. М., 2010.
Клини С. Математическая логика [Текст] / С. Клини. М., 2009.
Колин, К.К. Фундаментальные основы информатики: социальная информатика [Текст]: учеб. пособие для вузов / К.К. Колин. М.: Академический Проект; Екатеринбург: Деловая книга, 2008.
Кондаков Н.И. Логический словарь-справочник [Текст] / Н.И. Кондаков. М.: Наука, 2010.
Основы философии науки [Текст]: учеб. пособие для аспирантов / В.П. Кохановский [и др.]. Ростов н/Д: Феникс, 2009.
Ларичев О.И. Наука и искусство принятия решений [Текст] / О.И. Ларичев. М.: Наука, 2009.
Пенроуз Р. Новый ум короля: о компьютерах, мышлении и законах физики [Текст] / общ. ред. В.О. Малышенко; пер. с англ. М.: Едиториал УРСС, 2008. 384 с.
Петров Ю.П. История и философия науки. Математика, вычислительная техника, информатика [Текст] / Ю.П. Петров. СПб.: БХВ-Петербург, 2010.
Поликарпов В.С. История науки и техники [Текст]: учеб. пособие / В.С. Поликарпов. Ростов н/Д: Феникс, 2008.
Рязанкин В.Н. Вычислительные клавишные машины [Текст] / В.Н. Рязанкин, Г.П. Евстигнеев, Н.Н. Тресвятский. М.: Машгиз, 2009.
Успенский В.А. Машина Поста [Текст] / В.А. Успенский. М.: Наука, 2010. 96 с.
Успенский В.А. Теория алгоритмов: основные открытия и приложения [Текст] / В.А. Успенский, А.Л. Семенов. М.: Наука, 2010. 288 с.
Чёрч А. Введение в математическую логику [Текст] / А. Чёрч. М., 2008. Т.1.
