М38 Машины Тьюринга и рекурсивные функции [Текст] / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман и др.; Пер. нем. Э.Г. Белаги. - М. : Мир, 1972. - 264 с. - (Современная математика). - 0.89 р.
Кл.слова (ненормированные): Математика -- машина Тьюринга -- рекурсивные функции -- вычислимые функции -- алгоритмы -- логика предикатов -- решение задач Доп.точки доступа: Эббинхауз, Г.-Д. Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
И20 Иванов, В. В. АН УССР, Ин-т кибернетики им. В.М. Глушкова. Методы вычисления на ЭВМ: Справ. пособие [Текст] / В.В. Иванов; АН УССР, Ин-т кибернетики им. В.М. Глушкова ; АН УССР, Ин-т кибернетики им. В.М. Глушкова. - Киев : Наукова думка, 1986. - 584 с. - 2.80 р.
Кл.слова (ненормированные): Техника -- минимизация -- корни -- интегральные уравнения -- дифференцирование -- численное интегрирование -- вычислимые функции -- аппроксимация -- обработка данных -- прикладная математика -- Математика -- вычислительная техника Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Н73 Новиков, П. С. Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с. : ил. - (Математическая логика и основания математики). - 1.43 р.
Кл.слова (ненормированные): Математика -- математическая логика -- основания математики -- конструктивная теория -- предикаты -- арифметика -- вычислимые функции Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
Т19 Тарасов, Н. П. Курс высшей математики для техникумов [Текст] / Н. П. Тарасов. - 6-е изд., перераб. - м.; л. : Гостехиздат, 1949. - 356 с. - Б.ц.
Кл.слова (ненормированные): Математика -- высшая математика -- высшая алгебра -- вычислимые функции -- вычислительная алгебра -- учебное пособие для сред. спец. заведений Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
У77 Успенский, В. А. Лекция о вычислимых функциях [Текст] / В. А. Успенский. - М. : Физматгиз, 1960. - 492 с. : черт. - 13.60 р.
Кл.слова (ненормированные): Математика -- математическая логика -- функции -- конструктивная теория -- алгоритмы -- лекции -- вычислимые функции -- математический анализ Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
У77 Успенский, В. А. Что такое нестандартный анализ? [Текст] / В. А. Успенский. - М. : Наука, 1987. - 128 с. - 0.20 р.
Кл.слова (ненормированные): Математика -- нестандартные ситуации -- нестандартный анализ -- математический анализ -- вычислимые функции -- алгоритмы -- конструктивная теория -- функции -- математическая логика Экземпляры всего: 3 2к (3) Свободны: 2к (3) |
Р60 Роджерс, Х. Теория рекурсивных функций и эффективная вычислимость [Текст] : Х. Роджерс; Пер. с англ. В.А. Душского; Под ред. В.А. Успенского / Х. Роджерс. - М. : Мир, 1972. - 624 с. - 3.46 р.
Кл.слова (ненормированные): Математика -- функциональный анализ -- математический анализ -- рекурсивные функции -- вычислимые функции Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К84 Крупский, В. Н. Теория алгоритмов: учеб. пособие для студ. вузов, обуч. по напр. "Информатика и вычислит. техника", "Инфомац. системы и технологии" [Текст] / В. Н. Крупский. - М. : Академия, 2009. - 208 с. - (Университетский учебник. Серия "Прикладная математика и информатика"). - 219.12 р.
Кл.слова (ненормированные): Математика -- прикладная математика -- информатика -- учебное пособие для вузов -- теория алгоритмов -- теория множеств -- машина Тьюринга -- рекурсивные функции -- вычислимые функции -- нумерация -- невычислимые функции -- теорема Райса -- алгоритмические проблемы -- сложности вычислений -- трудные задачи -- булевы схемы -- вычислительные алгоритмы Экземпляры всего: 1 2к (1) Свободны: 2к (1) |