Ляшенко, Н. Н. Методы и алгоритмы индуктивного вывода [Text] / Отв. ред. В. М. Пономарев; АН СССР, Ленингр. ин-т информатики и автоматизации. - [S. l. : s. n.], 1989. - 127 с. : ил. - Б. ц. ; На обл. авт. не указан.-Библиогр.: с. 125-127 (44 назв.)
Доп.точки доступа: Пономарев, В.М. \.\ Свободных экз. нет |
^aВ1,0^aВ12,0^2rubbk Пойа, Дьердь. Математика и правдоподобные рассуждения. т. 1. Индукция и аналогия в математике. Т. 2. Схемы правдоподобных умозаключений [Text] / Д. Пойа ; пер. с англ. И. А. Вайнштейна ; под ред. С. А. Яновской. - Изд. 3-е. - М. : URSS, 2009. - 462, [1] с. : ил. - (Физико-математическое наследие : математика (основания математики и логика)). - ^aБиблиогр.: с. 463. - ISBN 978-5-397-01155-6 : Б. ц. Рубрики: Математика Математическая логика Математическая индукция Свободных экз. нет |
Солтис, Майкл. Введение в анализ алгоритмов [Text] : [перевод с английского] / Майкл Солтис ; Калифорнийский университет Нормандские острова. - Москва : ДМК Пресс, 2019. - 277 с. : ил., табл. - ^aБиблиография: с. 263—268. - ^aПредметный указатель: с. 269—277. - ISBN 978-5-97060-696-4 (в переплете) : Б. ц.
ПРОГРАММИРОВАНИЕ ДИНАМИЧЕСКОЕ ПРОГРАММИРОВАНИЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ РЕГУЛЯРНЫЕ ЯЗЫКИ КОНТЕКСТНО-СВОБОДНАЯ ГРАММАТИКА РАНДОМИЗИРОВАННЫЕ АЛГОРИТМЫ ТЬЮРИНГА МАШИНЫ МАТЕМАТИЧЕСКИЕ ОСНОВЫ ЛИНЕЙНАЯ АЛГЕБРА ЛОГИКА ВЫСКАЗЫВАНИЙ ИНВАРИАНТНОСТЬ МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ Свободных экз. нет |