A872125-ОХФ Столбоушкин, Алексей Петрович Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.]. Ч. 2. - Тверь : [б. и.], 1998. - [2], с. 171-271, [1] с. - ISBN [Б. и.] : 5.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): информатика -- алгоритмы -- математическая логика Доп. точки доступа: Тайцлин, М. А. Экземпляры всего: 1 ОХФ (1) |
A872126-ОХФ Столбоушкин, Алексей Петрович Математические основания информатики [Текст] : учеб. пособие / А. П. Столбоушкин, М. А. Тайцлин. - Тверь : [б. и.]. Ч. 3. - Тверь : [б. и.], 1998. - 2, с. 270-367. - ISBN [Б. и.] : 10.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): информатика -- алгоритмы -- математическая логика Доп. точки доступа: Тайцлин, М. А. Экземпляры всего: 1 ОХФ (1) |
A902782-ОХФ Кормен, Томас. Алгоритмы: построение и анализ [Текст] = Introduction to Algorithms : учебное пособие / Т. Кормен, Ч. Лейзерсон, Р. Ривест. - Москва : МЦНМО, 1999. - 960 с. - (Классические учебники: computer science). - ISBN 5-900916-37-5 (в пер.) : 130.00 р.
Рубрики: математика--математика вычислительная техника--ЭВМ Кл.слова (ненормированные): алгоритмы -- структуры данных -- сортировка -- графы Доп. точки доступа: Лейзерсон, Чарльз Ривест, Рональд Экземпляры всего: 1 ОХФ (1) |
A882505-ОХФ Мощенский, Андрей Владимирович. Математические основы информатики [Текст] : пособие для студентов / А. В. Мощенский, В. А. Мощенский. - Минск : Изд-во Белорус. ун-та, 2002. - 149, [3] с. - ISBN 985-445-564-5 : 45.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): информатика -- множеств теория -- комбинаторика -- алгоритмы -- логика высказываний -- формальная грамматика -- конечные автоматы Доп. точки доступа: Мощенский, Владимир Андреевич Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A909374-ОХФ, A909375-ОХФ, A909376-ОХФ, A910373-ОХФ, Алгоритмы: построение и анализ [Текст] = Introduction to Algorithms / Т. Кормен [и др.] ; пер. с англ. И. В. Красикова, Н. А. Ореховой, В. Н. Романова ; под ред. И. В. Красикова. - 2-е изд. - Москва ; Санкт-Петербург ; Киев : Вильямс, 2005. - 1290, [6] с. : рис. - ISBN 5-8459-0857-4 (рус.) (в пер.). - ISBN 0-07-013151-1 (англ.) : 682.55 р., 528.50 р.
Рубрики: вычислительная техника--информационные технологии математика--математическая логика Кл.слова (ненормированные): алгоритмы -- структуры данных -- сортировка -- графы Доп. точки доступа: Кормен, Томас Лейзерсон, Чарльз Ривест, Рональд Штайн, Клиффорд Красиков, И. В. Орехова, Н. А. Романов, В. Н. Красиков, И. В. Экземпляры всего: 6 ОХФ (4), ОУОЕН (2) |
A969503-ОХФ, A969619-ОХФ, A969620-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / А. Н. Гамова ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 3-е изд., доп. - Саратов : Издательство Саратовского университета, 2006. - 83, [2] с. - Библиогр.: с. 84 (6 назв.). - ISBN 5-292-03595-5 : 35.00 р., 30.00 р. Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (3) |
A973162-ОХФ Григорьев, Владимир Николаевич. Оценка сложности вычислительных алгоритмов [Текст] : учеб. пособие для студентов мех.-мат. фак. / В. Н. Григорьев, С. Л. Кожанов, К. И. Ляшков ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательство Саратовского университета, 1990. - 13, [3] с. - Библиогр.: с. 15 (4 назв.). - ISBN 5-292-00831-1 : 5.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- вычислительная сложность -- Тьюринга машина Доп. точки доступа: Кожанов, Сергей Львович Ляшков, Константин Иванович Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A976416-ОХФ-ЧЗ-4, Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2008. - 446, [2] с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 (в пер.) : 320.10 р. Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний -- аксиоматические теории Экземпляры всего: 48 ОХФ-ЧЗ-4 (1), ОУОЕН (47) |
A979542-ОХФ-ЧЗ-3, A979543-ОХФ-ЧЗ-4 Матрос, Дмитрий Шаевич. Теория алгоритмов [Текст] : учебник / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаб. знаний, 2008. - 202, [6] с. : рис., табл. - (Педагогическое образование). - Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - ISBN 978-5-94774-226-8 (в пер.) : 173.00 р. Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- NP-полные задачи Доп. точки доступа: Поднебесова, Галина Борисовна Экземпляры всего: 2 ОХФ-ЧЗ-3 (1), ОХФ-ЧЗ-4 (1) |
Учебная литература, Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова ; Новосиб. гос. техн. ун-т. - Новосибирск : Изд-во НГТУ, 2008. - 223, [1] с. - (Высшее образование). - Библиогр.: с. 212-214. - ISBN 978-5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 978-5-7782-0458-4 (НГТУ) : 154.00 р. Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов Доп. точки доступа: Овчинникова, Елена Викторовна Экземпляры всего: 1 ОУОЕН (1) |
Учебная литература, A980462-ОХФ, A980463-ОХФ, Игошин, Владимир Иванович. Основы теории алгоритмов [Текст] : лекции для студентов, изучающих информатику и информ. технологии / В. И. Игошин ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - Саратов : Издательский центр "Наука", 2008. - 96, [1] с. - Библиогр.: с. 92-94 (72 назв.). - ISBN 978-5-91272-541-8 : 85.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- вычислимые функции -- рекурсивные функции -- перечислимость Аннотация: Курс "Теория алгоритмов" является непосредственным продолжением курса математической логики, учебником по которому служит книга В. И. Игошин. Математическая логика и теория алгоритмов. - М.: Издательский центр "Академия", 2004, 2008. - 448 с. В предлагаемом учебном пособии более детально и подробно, нежели в указанном учебнике, изложены вопросы, относящиеся к теории алгоритмов. С большим количеством примеров рассмотрены три формализации алгоритмов - машины Тьюринга, рекурсивные функции, алгоритмы Маркова, и доказана их эквивалентность. Затем рассматривается начало общей теории вычислимости - нумерация алгоритмов и вычислимых функций, метод диагонализации, алгоритмическая теория множеств (разрешимость и перечислимость множеств), алгоритмически неразрешимые массовые проблемы. В качестве сборника задач по курсу "Теория алгоритмов" предлагается использовать книгу В. И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. - М.: Издательский центр "Академия", 2005, 2006, 2007. - 304 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии. Держатели документа: ЗНБ СГУ Экземпляры всего: 3 ОХФ (2), ОУОЕН (1) |
A983160-ОХФ-ЧЗ-4 Гринченков, Дмитрий Валерьевич. Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р. Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булева алгебра -- множеств теория -- нечеткие множества -- логическое программирование -- Пролог -- языки программирования Доп. точки доступа: Потоцкий, Сергей Иванович Экземпляры всего: 1 ОХФ-ЧЗ-4 (1) |
Учебная литература, A985018-ОХФ, A985019-ОХФ, A985020-ОХФ-ЧЗ-4, Крупский, Владимир Николаевич. Теория алгоритмов [Текст] : учеб. пособие для студентов вузов / В. Н. Крупский, В. Е. Плиско. - Москва : Изд. центр "Академия", 2009. - 205, [3] с. - (Университетский учебник) (Прикладная математика и информатика). - Библиогр.: с. 203 (19 назв.). - ISBN 978-5-7695-5293-9 (в пер.) : 365.20 р., 320 р. Допущено Науч.-метод. советом по математике М-ва образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы и технология"
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность Доп. точки доступа: Плиско, Валерий Егорович Экземпляры всего: 15 ОХФ (2), ОХФ-ЧЗ-4 (1), ОУОЕН (7), ОУООПН-ЧЗ 13 (1), ОУООПН-АБ 3 (4) |
A989305-ОХФ Игошин, Владимир Иванович. Теория алгоритмов [Текст] : учебное пособие / В. И. Игошин. - Москва : Инфра-М, 2012. - 317, [3] с. - (Высшее образование). - Библиогр.: с. 306-311 (110 назв.). - ISBN 978-5-16-005205-2 (в пер.) : 231.00 р. Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
Рубрики: математика--математическая логика Кл.слова (ненормированные): алгоритмов теория -- Тьюринга машина -- рекурсивные функции -- вычислительная сложность -- массовые проблемы -- алгоритмические проблемы -- Гильберта десятая проблема -- Геделя теорема -- Тарского теорема -- разрешимые множества -- перечислимые множества -- Маркова нормальные алгоритмы Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A998212-ОХФ, A998213-ОХФ, Глухов, Михаил Михайлович. Математическая логика. Дискретные функции. Теория алгоритмов [Текст] : учебное пособие / М. М. Глухов, А. Б. Шишков. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2012. - 405, [9] с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401 (76 назв.). - ISBN 978-5-8114-1344-7 (в пер.) : 767.00 р. Рекомендовано УМО вузов России по образованию в обл. информац. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- дискретные функции Доп. точки доступа: Шишков, Алексей Борисович Экземпляры всего: 4 ОХФ (2), ОУОЕН (2) |