51 Б 614 Бильгаева, Надежда Цанжиевна. Теория алгоритмов, формальных языков, грамматик и автоматов : Учеб. пособие для вузов по спец. 220400 "Программное обеспечение выч. техники и автоматизир. систем" / Н. Ц. Бильгаева ; Вост.-Сиб. гос. технол. ун-т. - Улан-Удэ : Издательство ВСГТУ, 2000. - 99 с. : ил. - 15.00 р. ГРНТИ 28.25 УДК:510.5(075.8) Ключевые слова: Теория алгоритмов -- Теория автоматов -- Формальные языки -- Рекурсивные функции -- Машины Тьюринга -- Вычислимые функции -- Формальные грамматики -- Алгоритмы -- Автоматы -- Автоматы Мили -- Автоматы Мура -- Учебные пособия Перейти к внешнему ресурсу полный текст, Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Восточно-Сибирский государственный технологический университет (Улан-Удэ) Экземпляры всего: 40 Mесто хранения: чз (2), аб (38) Свободны: чз (2), аб (38) |
519.1 К891 Кузнецов, Олег Петрович. Дискретная математика для инженера : [Учеб. пособие для вузов] / О.П. Кузнецов, Изд. 3-е, перераб. и доп. - М. ; СПб. ; Краснодар : Лань, 2004. - 395 с. : ил. - (Учебники для вузов. Специальная литература). - ISBN 5811405707 : 142.12 р. ГРНТИ 27.29.25 УДК:519.1(075.8) Ключевые слова: дискретная математика -- множества -- функции -- отношения -- общая алгебра -- математическая логика -- графы -- алгоритмы -- теория алгоритмов -- формальные системы -- языки -- грамматики -- математическая лингвистика -- автоматы -- учебные пособия Экземпляры всего: 27 Mесто хранения: чз (3), аб (24) Свободны: чз (3), аб (23) |
51 Ф19 Фалевич, Борис Яковлевич. Теория алгоритмов : Учеб. пособие для вузов по напр. "Информатика и выч. техника" / Б.Я. Фалевич. - М. : Машиностроение, 2004. - 160 с. : ил. - (Для вузов). - ISBN 5217032499 : 145.19 р. Допущено МО РФ ГРНТИ 27.03.17 УДК:510.5(075.8) Ключевые слова: теория алгоритмов -- алгоритмы -- массовые проблемы -- машины Тьюринга -- Тьюринг -- алгорифмы Маркова -- рекурсивные функции -- теория множеств -- комбинаторные массовые проблемы -- учебные пособия Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
51 И269 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 3-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5200-7 : 372.00 р., 372.00 р. Допущено МО РФ ГРНТИ 27.03.19 27.03.17 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованное исчисление -- логика предикатов -- аксиоматические теории -- программирование -- логическое программирование -- искусственный интеллект -- учебные пособия Экземпляры всего: 5 Mесто хранения: чз (2), аб (3) Свободны: чз (2), аб (3) |
519.7 А603 Аляев, Юрий Александрович. Дискретная математика и математическая логика : Учеб. для вузов по спец. "Прикладная информатика (по обл.)" и др. экон. спец. / Ю.А. Аляев, С.Ф. Тюрин. - М. : Финансы и статистика, 2006. - 364 с. : ил. - ISBN 5-279-03045-7 : 150.00 р. Доп. УМО ГРНТИ 27.47 27.03 УДК:519.7(075.8)510.6(075.8) Ключевые слова: дискретная математика -- математическая логика -- теория множеств -- булевы алгебры -- общая алгебра -- комбинаторика -- теория графов -- теория переключательных функций -- теория автоматов -- теория кодирования -- математическая логика -- теория алгоритмов -- теория нечетких множеств -- учебники Доп.точки доступа: Тюрин, Сергей Феофентович --- Экземпляры всего: 2 Mесто хранения: чз (2) Свободны: чз (2) |
51 И269 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : Учеб. пособие для вузов по спец. 050201 "Математика" / В.И. Игошин. - 4-е изд. - М. : Академия, 2008. - 302 с. - (Высшее профессиональное образование) (Педагогические специальности). - ISBN 978-5-7695-5272-4 : 267.00 р. Допущено МО РФ ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- булевы функции -- формализованные исчисления высказываний -- логика предикатов -- элементы теории алгоритмов -- учебные пособия Экземпляры всего: 2 Mесто хранения: аб (1), чз (1) Свободны: аб (1), чз (1) |
519.1 Т985 Тюрин, Сергей Феофентович. Дискретная математика: Практическая дискретная математика и математическая логика : Учеб. пособие для вузов по напр. подготовки дипломир. спец. 210440 - Телекоммуникации / С.Ф. Тюрин, Ю.А. Аляев. - М. : Финансы и статистика, ИНФРА-М, 2010. - 382 с. : ил. - ISBN 978-5-279-03463-5. - ISBN 978-5-16-004381-4 : 329.89 р. Рек. УМО ГРНТИ 27 УДК:519.1(075.8)510.6(075.8) Ключевые слова: дискретная математика -- математическая логика -- теория алгоритмов -- компьютерная математика -- лабораторные работы -- учебные пособия Доп.точки доступа: Аляев, Юрий Александрович --- Экземпляры всего: 5 Mесто хранения: аб (2), чз (2), кх (1) Свободны: аб (1), чз (2), кх (1) |
519.1 М215 Мальцев, Иван Анатольевич. Дискретная математика : Учеб. пособие [для вузов] / И.А. Мальцев. - Изд. 2-е, испр. - СПб. ; М. ; Краснодар : Лань, 2011. - 304 с. : ил. - ISBN 978-5-8114-1010-1 : 489.94 р. ГРНТИ 27 УДК:519.1(075.8)519.7(075.8) Ключевые слова: дискретная математика -- множества -- комбинаторика -- графы -- математическая логика -- конечные автоматы -- теория алгоритмов -- элементы теории чисел -- алгебраические системы -- учебные пособия Экземпляры всего: 8 Mесто хранения: чз (3), аб (5) Свободны: чз (3), аб (5) |
Балюкевич, Э. Л. Математическая логика и теория алгоритмов [Электронный ресурс] : учебно-практическое пособие для студентов высших учебных заведений обучающихся по специальности 080801 "Прикладная информатика" и другим экономическим специальностям / Э. Л. Балюкевич, Л. Ф. Ковалева ; Междунар. консорциум "Электрон. ун-т", Моск. гос. ун-т экономики, статистики и информатики, Евраз. открытый ин-т. - Москва : Издательский центр ЕАОИ, 2009. - 189 с. - ISBN 978-5-374-00220-1 : Б. ц. Рекомендовано УМО ГРНТИ 06.35.51 Ключевые слова: математическая логика -- теория алгоритмов -- алгебра высказываний -- проверка правильности рассуждений -- исчисление высказываний -- алгебра предикатов -- учебно-практические пособия -- сборники задач Перейти к внешнему ресурсу полный текст в ЭБС bookonlime Доп.точки доступа: Ковалева, Л. Ф. --- Международный консорциум "Электронный университет" Московский государственный университет экономики, статистики и информатики Евразийский открытый институт Свободных экз. нет |
517.2 Л136 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 223 с. ; 20 см. - Библиогр.: с. 214-215 (39 назв.). - Предм. указ.: с. 216-223. - 22000 экз.. - 0.90 р. В библиотеке есть издание 1975 г. ГРНТИ 27.03 УДК:510 Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- задачи Доп.точки доступа: Максимова, Лариса Львовна --- Экземпляры всего: 7 Mесто хранения: кх (5), аб (2) Свободны: кх (5), аб (2) |
51 П781 Проблемы Гильберта : сборник / под ред. П. С. Александрова. - Москва : Наука, 1969. - 239 с. - Б. ц. ГРНТИ 27.03 УДК:510 Ключевые слова: математическая логика -- теория множеств -- теория алгоритмов -- Гильберт Доп.точки доступа: Александров, П. С. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 И889 Исследования по теории множеств и неклассическим логикам : [сборник статей] / Всесоюз. ин-т науч. и техн. информ. ; отв. ред. Д. А. Бочвар, В. Н. Гришин. - Москва : Наука, 1976. - 328 с. ; 20 см. - 3900 экз.. - (в пер.) : 1.00 р. ГРНТИ 27.03 УДК:510 Ключевые слова: неклассические логики -- теория множеств -- теория алгоритмов -- сборники статей Доп.точки доступа: Бочвар, Д. А. \ред.\ --- Гришин, В. Н. \ред.\ --- Всесоюзный институт научной и технической информации Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
518 У774 Успенский, В. А. Теория алгоритмов : Основные открытия и приложения / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Б. ц. ГРНТИ 27.03 УДК:510.5 Ключевые слова: алгоритмы -- теория алгоритмов Доп.точки доступа: Семенов, А. Л. --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
517.2 М215 Мальцев, А. И. Алгоритмы и рекурсивные функции / А. И. Мальцев. - 2-е изд. - Москва : Наука, 1986. - 367 с. : ил. - Б. ц. ГРНТИ 27.03 УДК:510.5 Ключевые слова: алгоритмы -- теория алгоритмов -- рекурсивные функции Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
519.1 К903 Куликов, Валерий Васильевич. Дискретная математика : учебное пособие для студентов высших учебных заведений, обучающихся по специальностям 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи" / В. В. Куликов. - Москва : РИОР, 2013. - 173, [3] с. : табл., рис. ; 21 см. - (Высшее образование - Бакалавриат). - Библиогр.: с. 171. - 3000 экз.. - ISBN 978-5-369-00205-6 (в пер.) : 215.00 р. Рек. УМО ГРНТИ 27.41.41 УДК:519.1(075.8)519.7(075.8) Ключевые слова: дискретная математика -- математическая логика -- логическое следование -- теория множеств -- теория алгоритмов -- теория графов -- комбинаторика -- оптимизация на графах -- конечные автоматы -- учебные пособия Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |