Зведений каталог бібліотек Києва

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

Теорія алгоритмів

Підтеми:

• Общий раздел теории алгоритмов и вычислимых( рекурсивных) функций, конструктивного анализа
• Конструктивный анализ

Документи:

• Автоматизация поиска доказательства теорем в математике [Текст]. — Киев, 1974. — 110с.
• Автоматы, алгорифмы, языки [Текст] : Межвузовский тематический сборник / Отв. ред. А.В. Гладкий. — Калинин, 1982. — 168с.
• Алгамс ДОС ЕС ЭВМ [Текст]. — Москва : Статистика, 1977. — 112 с.
• Алгамс ЭВМ "Минск-32" [Текст]. — Москва : Статистика, 1976. — 144 с.
• Алгоритм автоматизованого проектування двигуна літального апарата одного класу [Текст] / В.М. Синєглазов, А.В. Брикалов // Вісник Національного авіаційного університету : науковий журнал / Бабак Віталій Павлович, гол. ред.; Національний авіаційний університет. — Київ : НАУ, 2003. — С. 46-49.
• Алгоритми і методи обчислень [Текст] : навч. посібник для студентів ВНЗ, які навч. за напрямом підгот. "Комп"ютерна інженерія" / М.І. Горбійчук. — Івано-Франківськ : ІФНТУНГ, 2014. — 309, [1] с. : іл., табл.
• Алгоритм, информация, сложность [Текст] / А.Н. Колмогоров. — М., 1991. — 43с.
• Алгоритми семантичного аналізу природномовних текстів [Текст] : Дис. ... канд. фізико-математ. наук: 01.05.01 / Марченко О.О.; КНУТШ. — Київ, 2005. — 150л.
• Алгоритм керування повітряним судном в умовах раптового ушкодження керуючих поверхонь [Текст] / Т.В. Будзинська, В.Ю. Міщерякова // Матеріали науково-технічної конференції студентів та молодих учених "Наукоємні технології", 19-24 листопада 2007 р. / Куліш В.В., ред.; Національний авіаційний університет; МОН. — Київ, 2008. — С. 35.
• Алгоритм обробки супроводжуючої процес відновлення авіаконструкцій інформації та напрямки її використання [Текст] / М.П Жданович, , О.М. Сінгаевський, В.І. Маленко // Матеріали VI Міжнародної науково-технічної конференції "АВІА-2004", 26-28 квітня 2004 рокуТ. 1. Т. 1: Т. 1 / "АВІА", міжнародна науково-технічна конференція (6; 2004; Київ) ; Національний авіаційний університет - Київ : НАУ , 2004. — С. 15.27 : ил.
• Алгоритмы вокруг нас [Текст] / Н.А. Криницкий. — 2-е изд. — Москва : Наука, 1984. — 223 с.
• Алгоритмы вокруг нас [Текст] / Н.А. Криницкий. — М., 1977. — 224с.
• Алгоритмы и алгоритмические языки [Текст] : сборник статей / АН СССР, Вычислительный центр. — Москва, 1973. — 199 с. : с черт.
• Алгоритмы и вычислительные автоматы [Текст] / Б.А. Трахтенброт. — М., 1974. — 200с.
• Алгоритмы, информация, сложность [Текст]. Математика кибернетика / Андрей Колмогоров. — Москва : Знание, 1991. — 48 с.
• Алгоритмы и рекурсивные функции [Текст] / А.И. Мальцев. — 2-е изд. — Москва : Наука, 1986. — 368 с.
• Алгоритмы и рекурсивные функции. [Текст] / А.И. Мальцев. — Москва : Наука, 1965. — 391 с.
• Анализ точности некоторых алгоритмов сопряженных направлений для решения задач минимизации [Текст] / К. Джумаев. — Киев, 1973. — 43с.
• Библиотека алгоритмов 151б-200б [Текст] / Агеев М.И. — Москва, 1981. — 184 с.
• Библиотека алгоритмов 1б-50б [Текст] / Трапезников В.А. — Москва, 1975. — 176 с.
• Библиотека алгоритмов ОДА. Информация об алгоритмах [Текст] / Смольянинова А.В. — Ленинград, 1973. — 154 с.
• Библиотека алгоритмов ОДА. Информация об алгоритмах [Текст] / Смольянинов А.В. — Ленинград, 1974. — 116 с.
• Від алгоритму до ЕОМ [Текст] / О.П. Коханівський. — Київ : Радянська школа, 1990. — 171 с.
• Вычисление синдромов при декодировании многократных ошибок кодами Лагранжа [Текст] / В.И. Кубицкий // Проблеми інформатизації та управління : збірник наукових праць / Національний авіаційний університет, Інститут комп'ютерних технологій; МОН. — Київ, 2009. — С. 90-97.
• Вычислимое и невычислимое [Текст] / Ю.И. Манин. — М., 1980. — 128с.
• Вычислимость. Введение в теорию рекурсивных функций [Текст] / Н. Катленд. — Москва : Мир, 1983. — 256с.
• Дробно-рациональные алгоритмы и некоторые их приложения [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 01.01.07 / Марко В.Ф. ; КГУ им. Тараса Шевченко. — Киев, 1982. — 20 с.
• Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И.А. Лавров, Л.Л. Максимова. — 4-е изд. — Москва : Физматлит, 2001. — 256с.
• Информация, неопределенность, сложность [Текст] = Information, Ungertainty, Complexity : монография / перевод с англ.: Чуян О. Р; под ред.: Сухарева А. Г. — Москва : Мир, 1988. — 184 с. : ил.
• Искусство программирования [Текст] = The art of computer programming / Под общ.ред.Ю.В.Козаченко/ Пер.с англ. — 3-е изд.. — Москва : Вильямс, издательский дом, 2001. — 832с.
• Искусство программирования [Текст] = The art of computer programming / Под.общ.ред. Ю.В.Козаченко. — 3-е изд. — Москва : Вильямс, издательский дом, 2001. — 720с.
• Исследование базисов и достаточных классов рекурсивных функций [Текст] : Автореф. дис. ... канд. физ.-мат. наук / Непомнящий В.А. ; АН СССР , Сиб. отд-ние , Совет матем. секции Объедин. учен. совета по физ.-мат. и техн. наукам. — Новосибирск, 1967. — 11 с.
• Исследования по теории алгорифмов и математической логике [Текст] : сборник / АН СССР, Вычислительный центр; под ред.: Маркова А. А. и Кушнера Б. А. — Москва : Вычислительный центр АН СССР, 1976. — 156 с.
• Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : Автореф. дис. ... канд. фіз.-мат. наук:01.01.08 / Карнаух Т.О.; КНУТШ. — Київ, 2005. — 16с.
• Класи функцій та чисел, що визначаються трансформаційними та генеруючими моделями обчислень [Текст] : Дис. ... канд. фізико-математичних наук. Спец. 01.01.08- математична логіка, теорія алгоритмів і дискретна математика / Карнаух Т.О.; КНУТШ. — Київ, 2005. — 188л. + Додатки: л. 151-188.
• Максимізація запасу енергії за рахунок зміни алгоритмів керування у об'єктах космічної техніки [Текст] / Є.Ю. Коваленко // Новини енергетики : Щомісячний науково-технічний аналітичний журнал // Новини енергетики - Київ : КВІЦ. — С. 39-46 : ил.
• Математическая логика и алгоритмы [Текст] / В.К. Иножарский. — Орел, 1971. — 144 с.
• Математическая логика и теория алгоритмов [Текст] : уч. пособие / В.И. Игошин. — Саратов, 1991. — 255 с.
• Математическая логика, математическая лингвистика и теория алгоритмов [Текст] / Гладкий А.В. — Калинин, 1983. — 116 с.
• Математические методы анализа алгоритмов. [Текст] / Д.Х. Грин, Д.Э. Кнут. — Москва : Мир, 1987. — 119,1с.
• Математические основы информатики [Текст] : Пособие для студ. специальности G 31 03 04 "Информатика" / А.В. Мощенский, В.А. Мощенский. — Минск : БГУ, 2002. — 150 с.
• Математична логіка: Основи теорії алгоритмів [Текст] : навч. посібник / С.С. Шкільняк ; Міжрегіон. Акад. упр. персоналом. — Київ : Персонал, 2009. — 279, [1] с.
• Математична логіка та теорія алгоритмів [Текст] : підручник для студентів кібернетичних факультетів вищих навч. закладів / М.С. Нікітченко, С.С. Шкільняк ; КНУТШ. — Київ : Київський університет, 2008. — 528 с.
• Машина Поста [Текст] / Владимир Успенский. — 2-е изд., перераб. — Москва : Наука, 1988. — 96 с.
• Машины Тьюринга и рекурсивные функции [Текст] = Selecta Mathematica II / перевод с нем.: Белаги Э. Г. — Москва : Мир, 1972. — 264 с. : черт.
• Методи розробки алгоритмів [Текст] : Тексти лекцій / Мін-во освіти і науки України. — Львів : Львівський національний університет ім. І.Франка, 2002. — 98 с.
• Методы алгоритмизации непрерывных производственных процессов [Текст] : монография / под ред.: Иванова В. В. — Москва : Наука, 1975. — 400 с. : черт.
• Методы рекурсивного программирования [Текст] / В. Бердж. — М, 1983. — 248с.
• Моделювання об'єктів моніторингу довкілля за алгоритмом Степаненка [Текст] / С.В. Голуб // Електроніка та системи управління№4 (10). №4 (10) ; Синєглазов В.М., гол. ред.; Національний авіаційний університет; МОН - Київ , 2006. — С. 165-168.
• Некоторые вопросы эквивалентных преобразований алгоритмов [Текст] : Автореф. дис. ... канд. физ.-мат. наук : 009 / Малиновский В.И. ; АН УССР , Ин-т кибернетики. — Киев, 1968. — 16 с.

1   2