517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : УРСС, 2004. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-00389-X : 140.00 р., 156.90 р.
Кл.слова (ненормированные): Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 3 Х (1), ЧЗЕ (1), АБУ (1) Свободны: Х (1), ЧЗЕ (1), АБУ (1) |
517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. Л. Ломоносова. - 2-е изд., стер. - Москва : УРСС, 2005. - 240 с. - (Классический университетский учебник). - Библиогр.: с. 228. - ISBN 5-354-01003-9 : 159 р.
Кл.слова (ненормированные): Математическая логика -- Множеств теория -- Алгоритмов теория -- Доказательств теория Доп.точки доступа: Драгалин, Альберт Григорьевич; Московский государственный университет им. М. Л. Ломоносова Экземпляры всего: 2 АБУ (2) Свободны: АБУ (2) |
621.398 Г 555 Глушков, Виктор Михайлович. Введение в кибернетику / В. М. Глушков ; Академия наук Украинской ССР. - Киев : [б. и.], 1964. - 322 с. - 3.00 р., 1.25 р.
Кл.слова (ненормированные): Распознавание образов -- Кибернетика -- Цифровые машины -- Автоматов теория -- Алгоритмов теория Доп.точки доступа: Академия наук Украинской ССР Экземпляры всего: 4 Х (1), АБН (3) Свободны: Х (1), АБН (3) |
681 М 594 Миков, Александр Иванович. Информатика. Введение в компьютерные науки : учебное пособие для университетов по направлению "Прикладная математика и информатика" / А. И. Миков ; Министерство общего и профессионального образования РФ, Пермский государственный университет. - Пермь : [б. и.], 1998. - 210 с. : ил. - Библиогр.: с. 207. - ISBN 5-7944-0097-8 : 30.00 р., 30.00 р.
Кл.слова (ненормированные): АЛГОРИТМОВ ТЕОРИЯ -- РЕКУРСИВНЫЕ АЛГОРИТМЫ -- СЛОЖНОСТЬ АЛГОРИТМОВ -- ОПТИМИЗАЦИЯ АЛГОРИТМОВ -- СОРТИРОВКА МАССИВОВ -- СОРТИРОВКА ПОСЛЕДОВАТЕЛЬНЫХ ФАЙЛОВ -- ХЕШИРОВАНИЕ -- ФОРМАЛЬНЫЕ ЯЗЫКИ Доп.точки доступа: Министерство общего и профессионального образования РФ; Пермский государственный университет Экземпляры всего: 5 Х (1), АБУ (4) Свободны: Х (1), АБУ (4) |
517 У 774 Успенский, Владимир Андреевич. Вводный курс математической логики / В. А. Успенский, Н. К. Верещагин. - 2-е изд. - Москва : ФИЗМАТЛИТ, 2002. - 128 с. - Библиогр.: с. 122. - На обл. авт. не указаны. - ISBN 5-9221-0278-8 : 100.00 р., 100.00 р.
Кл.слова (ненормированные): Множеств теория -- Алгоритмов теория -- Языки первого порядка -- Доказательств теория -- Учебные издания Доп.точки доступа: Верещагин, Николай Константинович Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
519 Г 671 Горбатов, Вячеслав Афанасьевич. Фундаментальные основы дискретной математики.Информационная математика [Текст] : учеб.для втузов / Вячеслав Афанасьевич Горбатов. - М. : Наука,Физматлит, 2000. - 544с. - Библиогр.:с.533-535. - ISBN 5-02-015238-2 : 90 р.
Рубрики: Дискретная математика Кл.слова (ненормированные): Учебные издания -- Дискретная математика -- Множеств теория -- Математическая логика -- Графов теория -- Алгоритмов теория Экземпляры всего: 1 Х (1) Свободны: Х (1) |
519 П 396 Плотников, Анатолий Дмитриевич. Дискретная математика : учебное пособие / А. Д. Плотников. - Москва : Новое знание, 2005. - 288 с. - Библиогр.: с. 278-279. - ISBN 5-94735-073-4 : 110.90 р., 110.90 р.
Кл.слова (ненормированные): Дискретная математика -- Множеств теория -- Графов теория -- Математическая логика -- Алгоритмов теория -- Колебинаторика -- Учебное пособие -- Радиовещание (инструкции) Экземпляры всего: 2 Х (1), ЧЗЕ (1) Свободны: Х (1), ЧЗЕ (1) |
681 М545 Методы и средства информационной технологии в науке и производстве = The methods and means of informational technology in science and industry : [сборник статей / Рос. акад. наук, С.-Петерб. ин-т информатики и автоматизации ; отв. ред. Р. М. Юсупов]. - СПб. : Наука, 1992. - 262 с. : ил. - ISBN 5-02-024572-0 : 6.50 р.
Кл.слова (ненормированные): ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- МОДЕЛИРОВАНИЕ -- АЛГОРИТМОВ ТЕОРИЯ Аннотация: Дана теория алгоритмов, программирования, моделирования технических, социальных, природных систем и процессов Доп.точки доступа: Юсупов, Рафаэль Мидхатович \ред.\; Российская академия наукСанкт-Петербургский институт информатики и автоматизации Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 К 608 Колмогоров, Андрей Николаевич. Математическая логика : учебное пособие для студентов математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет им. М. В. Ломоносова. - 3-е изд., стер. - Москва : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - ISBN 5-484-00520-5 : 129 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ Доп.точки доступа: Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова Экземпляры всего: 15 АБУ (15) Свободны: АБУ (15) |
517 И 269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - ISBN 5-7695-1363-2 : 201.40 р., 201.40 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ Экземпляры всего: 20 Х (1), ЧЗЕ (1), АБУ (18) Свободны: Х (1), ЧЗЕ (1), АБУ (18) |
517 И 269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - Москва : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 301. - ISBN 5-7695-3728-0 : 193.10 р., 193.10 р.
Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМОВ ТЕОРИЯ Экземпляры всего: 30 Х (1), ЧЗЕ (1), АБУ (28) Свободны: Х (1), ЧЗЕ (1), АБУ (28) |
517 З-153 Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100 - "Информационная безопасность" / М. М. Глухов, О. А. Козлитин, В. А. Шапошников, А. Б. Шишков. - Санкт-петербург ; Москва ; Краснодар : Лань, 2008. - 112 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : 109.20 р., 109.20 р.
Дискретная математика--Задачники Алгоритмы--Теория--Задачники Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА (ЗАДАЧИ) -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- АЛГЕБРА ПРЕДИКАТОВ -- ДИСКРЕТНЫЕ ФУНКЦИИ (ЗАДАЧИ) -- БУЛЕВЫ ФУНКЦИИ -- ТЕОРИЯ АЛГОРИТМОВ (ЗАДАЧИ) -- АЛГОРИТМОВ ТЕОРИЯ Доп.точки доступа: Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович Экземпляры всего: 3 Х (1), АБУ (1), ЧЗЕ (1) Свободны: Х (1), АБУ (1), ЧЗЕ (1) |
517 С 892 Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов : учебник для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Министерство образования РФ, Новосибирский государственный технический университет. - Москва : Инфра-М ; Новосибирск : НГТУ, 2008. - 224 с. : рис. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8. - ISBN 978-5-7782-0458-4 : 118.80 р., 118.80 р., 100.00 р., 100 р.
Алгоритмы--Теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МОДЕЛЕЙ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- НЕКЛАССИЧЕСКИЕ ЛОГИКИ -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ Доп.точки доступа: Овчинникова, Елена Викторовна; Министерство образования РФНовосибирский государственный технический университет Экземпляры всего: 18 Х (1), АБУ (16), ЧЗЕ (1) Свободны: Х (1), АБУ (16), ЧЗЕ (1) |
681 К 583 Кожевникова, Галина Павловна. Теория алгоритмов / Г. П. Кожевникова ; Львов. гос. ун-т. - Львов : Вища школа, 1978. - 98 с. : ил. - Библиогр.: с. 96. - 0.15 р.
Кл.слова (ненормированные): Алгоритмов теория Доп.точки доступа: Костовский, А. Н. \ред.\ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 П 542 Поляков, Евгений Александрович. Теория алгоритмов : учеб. пособие / Е. А. Поляков, М. Г. Розинас ; ИВГУ. - Иваново : Изд-во ИВГУ, 1976. - 88 с. - Библиогр.: с. 86-87. - 0.50 р.
Кл.слова (ненормированные): алгоритмов теория Доп.точки доступа: Розинас, М. Г.; Ивановский государственный университет Экземпляры всего: 1 Х (1) Свободны: Х (1) |
51 К 845 Крупский, Владимир Николаевич. Теория алгоритмов : учебное пособие для вузов / В. Н. Крупский, В. Е. Плиско. - Москва : Академия, 2009. - 208 с. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 203. - ISBN 978-5-7695-5293-9 : 385.00 р., 385 р., 385.00 р.
Кл.слова (ненормированные): Гильберта проблема -- Тьюринга машины -- Клини форма -- Райса теорема -- Алгоритмов теория -- Алгоритмическая теория множеств Доп.точки доступа: Плиско, Валерий Егорович Экземпляры всего: 10 Х (1), АБУ (8), ЧЗЕ (1) Свободны: Х (1), АБУ (8), ЧЗЕ (1) |
517 Г 858 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.
Кл.слова (ненормированные): БУЛЕВА АЛГЕБРА -- ЛОГИКА МАТЕМАТИЧЕСКАЯ -- АЛГОРИТМОВ ТЕОРИЯ -- БУЛЕВЫ ФУНКЦИИ -- КВАЙНА-МАК КЛАСКИ МЕТОД -- ЛОГИКА ПРЕДИКАТОВ -- АЛГОРИТМ РЕДУКЦИИ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) Доп.точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 11 Х (1), ЧЗЕ (1), АБУ (9) Свободны: Х (1), ЧЗЕ (1), АБУ (9) |
51 М 215 Мальцев, Анатолий Иванович. Алгоритмы и рекурсивные функции / А. И. Мальцев. - 2-е изд. - Москва : Наука : Физматлит, 1986. - 368 с. - Библиогр.: с. 348. - 1.70 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- Теория алгоритмов -- Алгоритмов теория Экземпляры всего: 2 АБН (2) Свободны: АБН (2) |
512 Г 657 Гончаров, Сергей Севостьянович. Счетные булевы алгебры / Отв. ред. Ю.Л. Ершов ; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : Наука. Сиб. отд-ние, 1988. - 175 с. : ил ; 20. - Библиогр.: с. 171-174 (82 назв.). - 1450 экз. - ISBN 5-02-028628-1 : 2 р., 2.00 р.
Кл.слова (ненормированные): Булевы алгебры -- Стоуна теорема -- Алгоритмов теория Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
1298406 Мучник, А. А. Решение некоторых задач теории алгоритмов с использованием игровых методов : автореферат дис. ... канд. физ.-мат. наук : 01.01.06 / А. А. Мучник. - Москва, 2001. - 10 с. Кл.слова (ненормированные): АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЕ ИГРЫ Экземпляры всего: 1 Х (1) Свободны: Х (1) |
681 Т 338 Теория алгоритмов и программ : сборник научных трудов / Латв. гос. ун-т им. П. Стучки ; отв. ред. Я. М. Барздинь. - Рига : ЛГУ, 1986. - 195 с. : ил. - Библиогр. в конце ст. - 1.50 р., 1.50 р.
Кл.слова (ненормированные): АЛГОРИТМОВ ТЕОРИЯ -- ПРОГРАММЫ (РАЗРАБОТКА) -- ЦИФРОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ПРОГРАММЫ) -- АЛГОРИТМЫ (ТЕОРИЯ) Доп.точки доступа: Барздинь, Ян Мартынович \отв. ред.\; Латвийский государственный университет им. П. Стучки Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
517 Б 594 Библиотека программ для решения краевых задач разностными методами : [Сборник статей] / МГУ им. М.В. Ломоносова. Факультет вычислительной математики и кибернетики ; Под ред. А.А. Самарского, Е.С. Николаева. - Москва : Изд-во МГУ, 1983. - 164 с. : ил ; 20. - Библиогр. в конце ст. - 300 экз. - 0.55 р.
Кл.слова (ненормированные): Краевые задачи -- Механика сплошных сред (задачи) -- Физика плазмы (задачи) -- Численных методов теория -- Алгоритмов теория Доп.точки доступа: Самарский, Александр Андреевич \ред.\; Николаев, Е. С. \ред.\; МГУ им. М.В.Ломоносова. Факультет вычислительной математики и кибернетики Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 В 748 Вопросы математической логики и теории алгоритмов / Академия наук СССР, вычислительный центр. - Москва : ВЦ АН СССР, 1988. - 39 с. - Библиогр. в конце ст. - 0.15 р.
Кл.слова (ненормированные): Математическая логика -- Алгоритмов теория -- Непрерывных функций теория -- Вычислительные алгоритмы Доп.точки доступа: Академия наук СССР; Вычислительный центр Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 В 748 Вопросы математики и прикладной математики [Сборник] / Министерство высшего и среднего специального образования Казахской ССР, Казахский государственный университет. - Алма-Ата : [б. и.], 1977. - 222 с. - Библиогр. в конце ст. - 0.80 р.
Кл.слова (ненормированные): Прикладная математика -- Алгоритмов теория -- СИНГУЛЯРНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- Параболические уравнения Доп.точки доступа: Министерство высшего и среднего специального образования Казахской ССР; Казахский государственный университет Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
517 М 340 Математическая логика, математическая лингвистика и теория алгоритмов : сборник научных трудов / М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т ; [редкол.: А. В. Гладкий (отв. ред.) и др.]. - Калинин : КГУ, 1983. - 116 с. - Библиогр. в конце ст. - 1 р., 1.00 р.
Математическая лингвистика--Сборники Алгоритмы--Теория--Сборники Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА -- АЛГОРИТМОВ ТЕОРИЯ Доп.точки доступа: Гладкий, Алексей Всеволодович \ред.\; Министерство высшего и среднего специального образования РСФСРКалининский государственный университет Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |
1369509 Вьюгин, М. В. Наборы конечных объектов с заданными информационными соотношениями между ними : автореферат дис. ... канд. физ.-мат. наук : 01.01.06 / М. В. Вьюгин ; Московский государственный университет, каф. математической логики и теории алгоритмов. - М., 2004. - 15 с. Кл.слова (ненормированные): Информации теория -- Алгоритмов теория -- Математическая логика Доп.точки доступа: Московский государственный университет. каф. математической логики и теории алгоритмов Экземпляры всего: 1 Х (1) Свободны: Х (1) |
517 Б 218 Балюкевич, Эдуард Людвигович. Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-методический комплекс : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электронный ун-т" [и др.]. - Электрон. текстовые дан. - Москва : Издательский центр Евразийского открытого института, 2009. - 1 on-line. - Загл. с домашней страницы Интернета. - ISBN 978-5-374-00220-1 : 5479.92 р.
Алгоритмов теория--Учебные издания для высших учебных заведений Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- АЛГОРИТМОВ ТЕОРИЯ -- МАТЕМАТИЧЕСКИЙ АППАРАТ Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов. Перейти: Электронная библиотека Доп.точки доступа: Ковалева, Л. Ф.; Московский государственный университет экономики, статистики и информатикиЕвразийский открытый институт; Международный консорциум "Электронный университет" Свободных экз. нет |
681 К 682 Королев, Лев Николаевич. Информатика. Введение в компьютерные науки : [учебник для вузов] / Л. Н. Королев, А. И. Миков. - Москва : Высшая школа : Абрис, 2012. - 366, [1] с. : ил. - Библиогр.: с. 346-347. - ISBN 978-5-4372-0020-9 (в пер.) : 577.50 р., 577.50 р.
Кл.слова (ненормированные): КОМПЬЮТЕРНЫЕ НАУКИ -- АЛГОРИТМОВ ТЕОРИЯ -- АЛГОРИТМЫ РЕКУРСИВНЫЕ -- РЕКУРСИВНЫЕ ДАННЫЕ -- ЭВМ (АРХИТЕКТУРА) -- ЗАПОМИНАЮЩИЕ УСТРОЙСТВА Доп.точки доступа: Миков, Александр Иванович Экземпляры всего: 30 Х (1), ЧЗЕ (1), АБУ (28) Свободны: Х (1), ЧЗЕ (1), АБУ (28) |
62 К 381 Кибернетический сборник: Новая серия : сборник статей: пер. с англ. / под ред. А. А. Ляпунова, О. Б. Лупанова. - Москва : Мир, 1965 - 1991. Вып.10. - 1973. - 215 с. - ). - 1.64 р.
Кл.слова (ненормированные): ЛИНГВИСТИКА МАТЕМАТИЧЕСКАЯ -- ПЕРЕВОД МАШИННЫЙ -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ И МЫШЛЕНИЕ -- КОДИРОВАНИЯ ТЕОРИЯ -- ГРАФОВ ТЕОРИЯ -- СИНТЕЗ УПРАВЛЯЮЩИХ СИСТЕМ -- АЛГОРИТМОВ ТЕОРИЯ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |
62 К 381 Кибернетический сборник: Новая серия : сборник статей: пер. с англ. / под ред. А. А. Ляпунова, О. Б. Лупанова. - Москва : Мир, 1965 - 1991. Вып.4. - 1967. - 228 с. - ). - 1.08 р.
Кл.слова (ненормированные): ЛИНГВИСТИКА МАТЕМАТИЧЕСКАЯ -- ПРОГРАММИРОВАНИЕ ЛИНЕЙНОЕ -- КОДИРОВАНИЯ ТЕОРИЯ -- АЛГОРИТМОВ ТЕОРИЯ -- ТЕОРИЯ АЛГОРИТМОВ С ОЦЕНКАМИ Доп.точки доступа: Ляпунов, А. А. \ред.\; Лупанов, О. Б. \ред.\ Экземпляры всего: 1 АБН (1) Свободны: АБН (1) |