681 А 655 Андреева, Елена Владимировна (канд. физ.-мат. наук, информатика). Математические основы информатики : учебное пособие / Е. В. Андреева, Л. Л. Босова, И. Н. Фалина. - Москва : БИНОМ. Лаборатория знаний, 2005. - 328 с. : ил. - (Элективный курс. Математика). - Предм. указ.: с. 320-328. - ISBN 5-94774-139-3 в пер : 140 р.
Кл.слова (ненормированные): Информатика -- Алгебра логики -- Теория информации -- Системы счисления -- Теория алгоритмов -- Вычислительная геометрия -- Компьютерная графика -- Образовательный курс Доп.точки доступа: Босова, Людмила Леонидовна; Фалина, Ирина Николаевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 Т 985 Тюрин, Сергей Феофентович. Дискретная математика: практическая дискретная математика и математическая логика : учебное пособие для студентов вузов, обучающихся по направлению подготовки дипломированных специалистов 210440 - Телекоммуникации / С. Ф. Тюрин, Ю. А. Аляев. - Москва : Финансы и статистика : ИНФРА-М, 2010. - 384 с. : ил. - Библиогр.: с. 382. - ISBN 978-5-279-03463-5. - ISBN 978-5-16-004381-4 : 393.00 р., 393.00 р., 393 р., 17.00 р.
Кл.слова (ненормированные): ДИСКРЕТНАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КОМПЬЮТЕРНАЯ МАТЕМАТИКА -- ТЕОРИЯ АЛГОРИТМОВ Доп.точки доступа: Аляев, Юрий Александрович Экземпляры всего: 45 Х (1), ЧЗЕ (1), АБУ (43) Свободны: Х (1), ЧЗЕ (1), АБУ (43) |
1577134 Жук, Дмитрий Николаевич. Решение проблемы отделимости алгоритмически разрешимых случаев А-полноты для базисов поста дефинитных автоматов : автореферат дис. ... канд. физ.-мат. наук : 01.01.09 / Д. Н. Жук ; Московский государственный университет. Механико-математический факультет. - Москва, 2010. - 15 с. Кл.слова (ненормированные): теория автоматов -- теория алгоритмов -- теорема полноты Перейти: http://dlib.rsl.ru/rsl01004000000/rsl01004603000/rsl01004603168/rsl01004603168.pdf Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 А 857 Арсланов, Марат Мирзаевич. Локальная теория степеней дельта-два-ноль-множества неразрешимости и множества / М. М. Арсланов ; ред. В. Д. Соловьев. - Казань : Издательство Казанского университета, 1987. - 137 с. - 0.40 р.
Кл.слова (ненормированные): Теория рекурсивных функций -- Теорема Клини -- Теорема о рекурсии -- Теория алгоритмов Доп.точки доступа: Соловьев, В. Д. \ред.\ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
51 К 608 Колмогоров, Андрей Николаевич. Теория информации и теория алгоритмов / А. Н. Колмогоров ; ред. Ю. В. Прохоров ; Академия наук СССР. - Москва : Наука, 1987. - 304 с. - 1.60 р., 1.60 р.
Кл.слова (ненормированные): Теория информации -- Теория алгоритмов -- Математики России Доп.точки доступа: Прохоров, Ю. В. \ред.\; Колмогоров, Андрей Николаевич (математик ; 1903-1987); Академия наук СССР Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
51 М 215 Мальцев, Анатолий Иванович. Алгоритмы и рекурсивные функции / А. И. Мальцев. - 2-е изд. - Москва : Наука : Физматлит, 1986. - 368 с. - Библиогр.: с. 348. - 1.70 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- Теория алгоритмов -- Алгоритмов теория Экземпляры всего: 2 АБН (2) Свободны: АБН (2) |
5 Х 204 Харин, Н. Н. Математическая логика и теория множеств (О соотношении абстрактного и конкретного) / Н. Н. Харин ; ред. Я. Л. Харапинский. - Москва : Росвузиздат, 1963. - 192 с. - Библиогр.: с. 191-192. - 0.90 р.
Кл.слова (ненормированные): Теория множеств -- Математическая логика -- Теория алгоритмов Доп.точки доступа: Харапинский, Я. Л. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 У 774 Успенский, Владимир Андреевич. Теория алгоритмов: основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука : Физматлит, 1987. - 288 с. - (Библиотечка программиста). - 1.20 р.
Кл.слова (ненормированные): Математика (алгоритмы) -- Алгоритмы (математика) -- Теория алгоритмов Доп.точки доступа: Семенов, Алексей Львович Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 Ш 477 Шенфилд, Джозеф . Математическая логика : перевод с английского / Д. Р. Шенфилд ; пер.: И. А. Лавров, И. А. Мальцев ; ред. Ю. Л. Ершов. - Москва : Наука, 1975. - 527 с. - (Математическая логика и основания математики). - 2.16 р., 2.16 р.
Кл.слова (ненормированные): ТЕОРИЯ АЛГОРИТМОВ -- ТЕОРИЯ ПЕРВОГО ПОРЯДКА -- ТЕОРИЯ РЕКУРСИИ -- ФОРМАЛЬНАЯ АРИФМЕТИКА -- АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ Доп.точки доступа: Лавров, И. А. \пер.\; Мальцев, И. А. \пер.\; Ершов, Ю. Л. \ред.\ Экземпляры всего: 2 Х (1), АБЗ (1) Свободны: Х (1), АБЗ (1) |
517 Б 218 Балюкевич, Эдуард Людвигович. Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-методический комплекс : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электронный ун-т" [и др.]. - Электрон. текстовые дан. - Москва : Издательский центр Евразийского открытого института, 2009. - 1 on-line. - Загл. с домашней страницы Интернета. - ISBN 978-5-374-00220-1 : 5479.92 р.
Алгоритмов теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЙ АППАРАТ Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов. Перейти: Электронная библиотека Доп.точки доступа: Ковалева, Л. Ф.; Московский государственный университет экономики, статистики и информатикиЕвразийский открытый институт; Международный консорциум "Электронный университет" Свободных экз. нет |
10772 Балюкевич, Э. Л. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Балюкевич Э. Л. - Москва : Евразийский открытый институт, 2009. - 188 с. - ISBN 978-5-374-00220-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): математическая логика -- математический аппарат -- теория алгоритмов -- учебное пособие Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов. Перейти: Перейти к просмотру издания Доп.точки доступа: Ковалева, Л. Ф. Свободных экз. нет |
47905 Безусова, Т. А. Теория алгоритмов. Основные подходы к формализации алгоритма [Электронный ресурс] : учебное пособие / Безусова Т. А. - Соликамск : Соликамский государственный педагогический институт, 2011. - 63 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): алгоритм маркова -- математика -- машина тьюринга -- рекурсивная функция -- теория алгоритмов Аннотация: В пособии рассмотрены различные подходы к формализации понятия алгоритм: машина Тьюринга, алгоритмы Маркова, рекурсивные функции. Пособие ориентировано на студентов 3-4 курсов математических факультетов педагогических вузов, обучающихся по специальности «Математика и информатика» и «Информатика и математика». Перейти: Перейти к просмотру издания Свободных экз. нет |
55106 Математическая логика и теория алгоритмов [Текст] : методические указания к самостоятельной работе / сост. И. А. Седых. - Липецк : Липецкий государственный технический университет, ЭБС АСВ, 2014. - 25 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): логика -- математика -- математическая логика -- математическое моделирование -- теория алгоритмов Аннотация: Методические указания составлены в соответствии с ФГОС-3 и предназначены для студентов направлений 010800.62 – «Механика и математическое моделирование», 220100.62 – «Системный анализ и управление» по дисциплинам «Дискретная математика», «Математическая логика и теория алгоритмов» и другим, связанным с математической логикой и теорией алгоритмов. Приведены краткие теоретические сведения по математической логике. Даны темы лабораторных работ. Методические указания содержат задания по традиционным разделам курса математической логики и теории алгоритмов. Перейти: Перейти к просмотру издания Доп.точки доступа: Седых, И. А. \сост.\ Свободных экз. нет |
32100 Алябьева, В. Г. Теория алгоритмов [Электронный ресурс] : учебное пособие для специальности 050201.65 – «Математика с дополнительной специальностью “Информатика”», направление подготовки 050100 – «Педагогическое образование» / Алябьева В. Г. - Пермь : Пермский государственный гуманитарно-педагогический университет, 2013. - 125 с. - ISBN 978-5-85218-624-9 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks.
Кл.слова (ненормированные): машина поста -- машина тьюринга -- невычислимая функция -- рекурсивные функции -- теория алгоритмов Аннотация: В учебном пособии нашли отражение три подхода к определению понятия алгоритма: на языке машин Тьюринга, на языке машин Поста, на языке рекурсивных функций. Отдельная глава посвящена алгоритму нумерации кортежей. Также в пособии содержатся задания для самостоятельной работы студентов и темы курсовых работ. Адресовано бакалаврам, обучающимся по специальности 050201.65 – «Математика с дополнительной специальностью “Информатика”», направление подготовки 050100 – «Педагогическое образование». Также пособие может быть рекомендовано студентам, обучающимся по специальностям «Математика», «Математика и информатика», Прикладная математика», «Компьютерная безопасность». Перейти: Перейти к просмотру издания Доп.точки доступа: Пастухова, Г. В. Свободных экз. нет |