Електронний каталог

• Класифікатори
• 22.12 Основи математики. Математична логіка

22.127 Теорія алгоритмів і обчислювальних (рекцесивних) функцій. Конструктивний аналіз

Документи:

• Агеев, М. И. Алгоритмы (1–50) [Текст] / М. И. Агеев, В. П. Алик, Р. М. Галис ; под общ. ред. М. И. Агеева. – М. : ВЦ АН СССР, 1966. – 106 с. – (Общие вопросы программирования). – 0,41.
• Ахо, А. Построение и анализ вычислительных алгоритмов [Текст] = The Design and Analysis of Computer Algoritms / А. Ахо, Дж. Хопкрофт, Дж. Ульман ; пер. с англ. А. О. Слисенко, под ред. Ю. В. Матиясевича. – М. : Мир, 1979. – 536 с. – 2.60.
• Брадис, В. Теория и практика вычисленний [Текст] : пособие для высших пед. учеб. заведений / В. Брадис. – Изд. 5-е. – Москва : Учпедгиз, 1937. – 280 с. – 0,51.
• Глушков, В. М. Синтез цифровых автоматов [Текст] / В. М. Глушков. – М. : Физматгиз, 1962. – 476 с. – (Математическая логика и основания математики). – 1,41.
• Гудман, С. Введение в разработку и анализ алгоритмов [Текст] = Introduction to the Analysis of Algorithms / С. Гудман, С. Хидетниеми ; пер. с англ.: Ю. Б. Котова, Л. В. Сухаревой, Л. В. Ухова ; под ред. В. В. Мартынюка. – М. : Мир, 1981. – 368 с. – 2,00.
• Заварыкин, В. М. Техника вычислений и алгоритмизация [Текст] : учебное пособие для студ. пед. ин-тов по мат. спец. / В. М. Заварыкин, В. Г. Житомирский, М. П. Лапчик. – М. : Просвещение, 1987. – 160 с. – 0,25.
• Катленд, Н. Вычислимость. Введение в теорию рекурсивных функций [Текст] = Computability. An introduction to recursive function theory / Н. Катленд ; пер. с англ. А. А. Мучника ; под ред. С. Ю. Маслова. – М. : Мир, 1983. – 256 с. – 1,00.
• Алгоритмы: построение и анализ [Текст] = Introduction to Algorithms / Т. Х. Кормен, Ч. И. Лейзерсон, Р. Л. Ривест, К. Штайн ; Пер. с англ. И.В.Красикова, Н.А.Ореховой, В.Н.Романова. – 2-е изд. – М.; СПб.; К. : Вильямс, 2005. – 1296 с. – Библиогр.: с. 1257-1276. – ISBN 5-8459-0857-4 : 205.80.
• Косовский, Н. К. Основы теории элементарных алгоритмов. [Текст] : Учеб. пособие / Н. К. Косовский. – Л. : из-во. Ленинградского ун-та, 1987. – 152с. – 0,35.
• Криницкий, Н. А. Алгоритмы вокруг нас [Текст] / Н. А. Криницкий. – Изд. 2-е. – М. : Наука, 1984. – 223 с. – (Проблемы науки технического прогресса). – 1,00.
• Марков, А. А. Теория алгорифмов [Текст] / А. А. Марков, Н. М. Нагорный. – М. : Наука, 1984. – 432 с. – (Математическая логика и основания математики). – 3,30.
• Попов, Б. А. Приближение функций для технических приложений [Текст] / Б. А. Попов, Г. С. Теслер. – К. : Наук. думка, 1980. – 350 с. – (Наука и технический прогресс). – 3,70.
• Рейнгольд, Э. Комбинаторные алгоритмы [Текст] = Combinatorial Algorithms : теория и практика / Э. Рейнгольд, Ю. Нивергельт, Н. Део ; пер. с англ. Е. П. Липатова ; под ред. В. Б. Алексеева. – М. : Мир, 1980. – 478 с. – 2,30.
• Следзінський, І. Ф. Елементи теорії алгоритмів [Текст] : методичний посібник до вивч. розділу / І. Ф. Следзінський. – Тернопіль : ТДПУ, 2004. – 32 с. – 1.00.
• Трауб, Дж. Общая теория оптимальных алгоритмов [Текст] = A General Theory of Optimal Algorithms / Дж. Трауб, Х. Вожьняковский ; пер. с англ. А. Г. Сухарева ; под ред. Н. С. Бахвалова. – М. : Мир, 1983. – 382 с. – 3,60.
• Успенский, В. А. Теорема Гёделя о неполноте [Текст] / В. А. Успенский. – М. : Наука, 1982. – 111 с. – (Популярные лекции по математике). – 0,15.