Новые поступления (книга в стадии обработки) Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / А. Н. Гамова. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1999. - 76 с. - ISBN 5-292-02362-0 : 10.00 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- математическая логика -- пособия для вузов -- теория алгоритмов Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для высш. учеб. заведений / В. И. Игошин. - Москва : Академия, 2004. - 448 с. - (Высшее профессиональное образование). - ISBN 5-7695-1363-2 : 108 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгоритмы -- математическая логика -- теория алгоритмов -- учебные пособия для вузов Аннотация: Изложены основы теории, показаны направления проникновения логики в основании алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 2-е изд., стереотип. - Москва : Академия, 2006. - 304 с. - (Высшее профессиональное образование). - ISBN 5-7695-2914-8 : 50 р. Рубрики: Математика--Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- задачи -- логика предикатов -- пособия для ВУЗов -- теория алгоритмов -- упражнения -- учебники для вузов -- учебные пособия для вузов -- формализованное исчисление высказываний Аннотация: Содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Кузнецов, О. П. Дискретная математика для инженера [Текст] : научное издание / О. П. Кузнецов. - 5-е изд., стер. - СПб. ; М. ; Краснодар : Лань, 2007. - 400 с. : ил. ; 20 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 388-389 (50 назв.). - ISBN 978-5-8114-0570-1 : 280.06 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): МАТЕМАТИКА -- ДИСКРЕТНАЯ МАТЕМАТИКА -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ ГРАФОВ -- ТЕОРИЯ АЛГОРИТМОВ -- ТЕОРИЯ АВТОМАТОВ -- ЛОГИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Крылов, С. М. Формальная технология в философии, технике, биоэволюции и социологии [Текст] / С. М. Крылов ; Самарский гос. техн. ун-т. - Самара : Самар. гос. техн. ун-т, 1997. - 180 с. : ил. ; 21см. - ISBN 5-7964-0008-8 : 12000р. р. Библиогр.список:с.177-178(33 назв.)
Рубрики: Философия--Современная философия Кл.слова (ненормированные): формальная технология -- теория алгоритмов -- универсальные технологические системы -- аксиоматика формальной технологии -- философия -- социология -- биоэволюция Аннотация: Рассматриваются фундаментальные понятия и наиболее важные результаты нового научного направления, объединяющего в себе основы теории алгоритмов, математики и технологии. Излагаются проблемы аксиоматики формальной технологии, вводятся основные типы операций и исследуются свойства различных технологий, специализированных и универсальных технологических систем, в том числе информационных систем различного назначения. Для широкого круга специалистов в различных областях науки и техники. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Бредихин, Д. А. Элементы теории множеств, алгебры и дискретной математики [Текст] : учеб. пособие для всех спец. втузов / Д. А. Бредихин ; ред. В. А. Крысько ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 1998. - 80 с. ; 20 см. - ISBN 5-7433-0471-8 : 5.50 р.
Рубрики: Математика--Алгебра Математика--Дискретная математика Кл.слова (ненормированные): теория множеств -- алгебра -- логика -- дискретная математика -- теория графов -- теория алгоритмов -- теория конечных автоматов Аннотация: Изложены основы теории множеств, современной алгебры, логики и дискретной математики, включая теории графов, алгоритмов и конечных автоматов. Указанные разделы математики включены в новый госстандарт для технических вузов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Крысько, В. А. |
Новые поступления (книга в стадии обработки) Вероятностные методы и кибернетика [Текст] . - Казань : Изд-во Казан. ун-та, 1990 - . Вып. 24. - 1990. - 112 с. ; 20см. - 1.20 р. Библогр.в конце статей
Рубрики: Математика--Теория вероятностей Кибернетика Кл.слова (ненормированные): индексы -- индексы множеств -- иерархия Ершова -- синтез -- синтез программ -- многогранники -- случайные процессы -- случайные коды -- математика -- теория вероятностей -- кибернетика -- коды -- преобразования -- вероятностные методы -- математическая логика -- детерминированные автоматы -- вероятностные автоматы -- теория алгоритмов -- система программирования Аннотация: Сборник содержит статьи по традиционным темам исследований кафедры теоретической кибернетики: детерминированным и вероятностным автоматам, математической логике, теории алгоритмов и теории формальных спецификаций систем программирования. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Кузнецов, О. П. Дискретная математика для инженера [Текст] / О. П. Кузнецов. - М. : Энергия, 1980. - 344 с. : ил. ; 21см. - 1.40 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): функции -- булевы алгебры -- теория алгоритмов -- предикаты -- математика -- алгебра -- комбинаторный анализ -- комбинаторика -- теория автоматов -- теория графов -- дискретная математика -- теория множеств -- алгебра логики Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Кузнецов, О. П. Дискретная математика для инженера [Текст] / О. П. Кузнецов. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : ил. ; 21см. - ISBN 5-283-01563-7 : 1.80 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): функции -- булевы алгебры -- теория алгоритмов -- предикаты -- математика -- алгебра -- комбинаторный анализ -- линейное программирование -- комбинаторика -- теория автоматов -- теория графов -- дискретная математика -- теория множеств -- алгебра логики Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики. По сравнению с изданием 1980 г. переработана глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Колмогоров, Андрей Николаевич. Теория информации и теория алгоритмов [Текст] : [сборник статей] / А. Н. Колмогоров ; сост. А. Н. Ширяев ; ред. Ю. В. Прохоров. - Москва : Наука, 1987. - 304 с. - 1.60 р. Рубрики: Математика--Общие вопросы математики Кл.слова (ненормированные): статьи -- теория алгоритмов -- теория информации Аннотация: Включены работы по теории информации и теории алгоритмов и их приложениям к различным областям знания. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Ширяев, А. Н. Прохоров, Ю. В. |
Новые поступления (книга в стадии обработки) Глаголев, В. В. Методы дискретной математики [Текст] : учеб. пособие / В. В. Глаголев ; Тульский гос. ун-т. - Тула : ТГУ, 2000. - 232 с. : ил. ; 20см. - ISBN 5767902798 : 20.00 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): дискретная математика -- комбинаторика -- теория графов -- булевы функции -- конечные автоматы -- формальные языки -- теория алгоритмов Аннотация: Излагаются основные разделы дискретной математики, сформировавшиеся к настоящему времени: комбинаторика, теория графов, булевы функции и их реализации, конечные автоматы, формальные языки, элементы теории алгоритмов. Для студентов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Кузнецов, О. П. Дискретная математика для инженера [Текст] : учебник / О. П. Кузнецов. - 3-е изд., перераб. и доп. - СПб. : Лань, 2004. - 400 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 388-389 (50 назв.). - ISBN 5-8114-0570-7 : 132.66 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): математика -- дискретная математика -- алгебра -- графы -- логика -- теория алгоритмов -- формальные системы -- формальные языки -- формальные грамматики -- автоматы -- множества -- функции -- отношения Аннотация: В книге анализируются содержание, специфика и смена социокультурных парадигм. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Аляев, Ю. А. Дискретная математика и математическая логика [Текст] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. ; 21 см. - Библиогр.: с. 355-357 (41 назв.). - ISBN 5-279-03045-7 : 260.00 р. Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.
Рубрики: Математика--Дискретная математика Математика--Математическая логика Кл.слова (ненормированные): математика -- дискретная математика -- математическая логика -- теория множеств -- элементы комбинаторики -- теория графов -- теория кодирования -- логические исчисления -- теория алгоритмов -- теория нечетких множеств -- алгебра -- булевы алгебры -- неклассические логики Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Тюрин, С. Ф. |
Новые поступления (книга в стадии обработки) Кузнецов, О. П. Дискретная математика для инженера [Текст] : учебник / О. П. Кузнецов. - 4-е изд., стер. - СПб. : Лань, 2005. - 400 с. : ил. ; 21 см. - Библиогр.: с. 388-389 (50 назв.). - ISBN 5-8114-0570-7 : 177.65 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): математика -- дискретная математика -- теория множеств -- логика -- теория графов -- теория алгоритмов -- формальные системы -- теория автоматов -- алгебра -- языки -- грамматики Аннотация: Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Шапорев, С. Д. Математическая логика [Текст] : курс лекций и практ. занятий: учеб пособие / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. ; 24 см. - Библиогр.: с. 405 (26 назв.). - ISBN 5-94157-702-8 : 153.51 р. Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): математика -- математическая логика -- алгебра логики -- логика предикатов -- теория алгоритмов Аннотация: Рассматриваются алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Муха, Ю. П. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / Ю. П. Муха, О. А. Авдеюк ; Волгоградский гос. техн. ун-т. - Волгоград : РПК "Политехник", 2005. - 92 с. : табл. ; 20 см. - Библиогр.: с. 92 (10 назв.). - ISBN 5-230-04465-5 : 80.00 р.
Рубрики: Математика--Математическая логика Математика--Теория алгоритмов Кл.слова (ненормированные): математика -- математическая логика -- теория алгоритмов -- логика высказываний -- логика предикатов -- алгебра логики Аннотация: Излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Авдеюк, О. А. |
Новые поступления (книга в стадии обработки) Успенский, Владимир Андреевич. Теория алгоритмов: основные открытия и приложения [Текст] / В. А. Успенский, А. Л. Семенов. - Москва : Наука, 1987. - 288 с. - (Библиотечка программиста). - Библиогр.: с. 245. - 1.20 р. Рубрики: Математика--Теория функций Кл.слова (ненормированные): алгоритмы -- машины Тьюринга -- машины Шенхаге -- проблема сводимости Поста -- теория алгоритмов Аннотация: Дается обзор важнейших достижений теории алгоритмов с момента зарождения этой теории. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) Доп. точки доступа: Семенов, Алексей Львович |
Новые поступления (книга в стадии обработки) Лавров, И. А. Задачи по теории множеств математической логике и теории алгоритмов [Текст] : учеб. пособие / И. А. Лавров, Л. Л. Максимова. - М. : Наука : Физматлит, 1975. - 240 с. ; 20 см. - 0.90 р.
Рубрики: Математика--Математическая логика Математика--Теория алгоритмов Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- БИНАРНЫЕ ОТНОШЕНИЯ -- КАРДИНАЛЬНЫЕ ЧИСЛА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- ПРЕДИКАТЫ -- ФИЛЬТРОВАННЫЕ ПРОИЗВЕДЕНИЯ Аннотация: В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных в ней наук. Сборник состоит из трех частей: "Теории множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник рассчитан как учебное пособие для математических факультетов университетов и педагогических институтов. Он может использоваться также в технических вузах при изучении кибернетических специальностей. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Максимова, Л. Л. |
Новые поступления (книга в стадии обработки) Галушкина, Ю. И. Конспект лекций по дискретной математике [Текст] : с упражнениями и контрольными работами / Ю. И. Галушкина, А. Н. Марьямов. - М. : Айрис пресс, 2007. - 176 с. : рис. ; 24 см. - (Высшее образование). - Библиогр.: с. 174 (8 назв.). - ISBN 978-5-8112-2599-6 : 100.00 р.
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВА -- ОТОБРАЖЕНИЯ -- КОМБИНАТОРНЫЙ АНАЛИЗ -- ЛОГИКА ПРЕДИКАТОВ -- ТЕОРИЯ ГРАФОВ -- ТЕОРИЯ КОДИРОВАНИЯ -- ТЕОРИЯ АВТОМАТОВ -- ТЕОРИЯ АЛГОРИТМОВ Аннотация: В книге в доступной форме изложены разделы, традиционно изучаемые в курсе дискретной математики. Книга рассчитана на студентов нематематических вузов, желающих ознакомиться с методами дискретной математики. Математическая подготовка, необходимая для чтения этой книги, ограничивается программой математики средней школы Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Марьямов, А. Н. |
Новые поступления (книга в стадии обработки) Поздняков, С. Н. Дискретная математика [Текст] : учеб. / С. Н. Поздняков, С. В. Рыбин. - М. : ИЦ "Академия", 2008. - 448 с. : ил. ; 22 см. - (Высшее профессиональное образование). - ISBN 978-5-7695-3105-7 : 423.50 р. Гриф: допущено М-вом образования и науки РФ в качестве учеб. для студ. вузов, обуч. по напр. подгот. " Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность"
Рубрики: Математика--Дискретная математика Кл.слова (ненормированные): ЦЕЛОЧИСЛЕННЫЕ АЛГОРИТМЫ -- РЕКУРРЕНТНЫЕ УРАВНЕНИЯ -- ТЕОРИЯ МНОЖЕСТВ -- МНОГОЧЛЕНЫ -- ГРАФЫ -- БИНАРНЫЕ ОТНОШЕНИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ Аннотация: В учебнике рассмотрены комбинаторика, теория графов, приведены сведения из теории чисел и многочленов, даны общие математические понятие, как отношения, поля, кольца, группы, изложен материал по многочленам нескольких переменных, которые играют большую роль в автоматизации математических вычислений, а также материал по математической логике и теории алгоритмов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Рыбин, С. В. |