Самохвалов, К. Ф. Обзор аргументов против тезиса Черча / К. Ф. Самохвалов> // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. ) Рубрики: Логика--Общие вопросы логики Математика--Математическая логика Кл.слова (ненормированные): алгоритмы (понятие) -- вычислимость (понятие) -- вычислимые функции -- Тезис Черча -- функциональное представление -- Черча Тезис |
Головко, Н. В. К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода / Н. В. Головко> // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. ) Рубрики: Философия--Общие вопросы философии Логика--Общие вопросы логики Кл.слова (ненормированные): абдуктивные выводы -- вычислимые функции -- дедукция (логика) -- индукция (логика) -- искусственный интеллект -- методы семантических таблиц -- способы познания -- эмпирические исследования -- язык логического программирования |
Самохвалов, К. Ф. Обзор аргументов против тезиса Черча / К. Ф. Самохвалов> // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. ) Рубрики: Логика--Общие вопросы логики Математика--Математическая логика Кл.слова (ненормированные): алгоритмы (понятие) -- вычислимость (понятие) -- вычислимые функции -- Тезис Черча -- функциональное представление -- Черча Тезис |
Головко, Н. В. К вопросу о построении эффективного вычислимого представления для простого абдуктивного вывода / Н. В. Головко> // Философия науки. - 2006. - N 4. - С. . 115-133. - Библиогр.: с. 129-133 (17 назв. ) Рубрики: Философия--Общие вопросы философии Логика--Общие вопросы логики Кл.слова (ненормированные): абдуктивные выводы -- вычислимые функции -- дедукция (логика) -- индукция (логика) -- искусственный интеллект -- методы семантических таблиц -- способы познания -- эмпирические исследования -- язык логического программирования |
Поляков, К. Ю. Элементы теории алгоритмов [Текст] / К. Ю. Поляков, Е. А. Еремин> // Информатика - Первое сентября. - 2012. - № 1. - С. 4-22 : фот., ил., рис. Рубрики: Образование. Педагогика Методика преподавания учебных предметов Кл.слова (ненормированные): педагогика -- теория информатики -- алгоритмы -- теория алгоритмов -- универсальный исполнитель -- машина Тьюринга -- тезис Черча-Тьюринга -- машина Поста -- Черча-Тьюринга тезис -- Поста машина -- Тьюринга машина -- нормальные алгорифмы Маркова -- вычислимые функции -- невычислимые функции -- алгоритмически неразрешимые задачи -- Маркова нормальные алгорифмы -- асимптотическая сложность -- алгоритмы поиска -- алгоритмы сортировки -- правильность программы -- алгоритм Евклида -- Евклида алгоритм -- инвариант цикла -- доказательное программирование -- спецификации -- программы Аннотация: Исчерпывающее и систематическое изложение одной из самых глубоких и интересных тем профильного курса информатики. Доп.точки доступа: Еремин, Е. А.; Тьюринг, А. (английский математик ; 1912-1956); Пост, Э. Л. (американский математик ; 1897-1954); Марков, А. А. (советский математик ; 1897-1954); Матиясевич, Ю. В. (советский математик ; 1947-); Черч, А (американский математик ; 1903-1995); Дейкстра, Э. В. (нидерландский ученый ; 1930-); Ершов, А. П. (теоретик программирования в СССР ; 1931-1988) |