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