Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Богомолов, А. М. Аналитические методы в задачах контроля и анализа дискретных устройств [Текст] / А. М. Богомолов ; ред. Б. Г. Тоценко. - Саратов : СГУ, 1986. - 240 с. ; 22см. - 2.30 р.
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): дискретные устройства -- математика -- математическая кибернетика -- преобразования -- эквивалентность -- графы -- графы преобразований -- полугруппы -- детерминированные автоматы -- изоморфизмы -- элементарные автоматы -- абстрактная модель -- аналитические методы -- контролепригодность -- диагностика -- комбинационные устройства -- дифференциальные исчисления -- структурно-аналитический метод -- дифференциальный метод -- последовательности Аннотация: Исследуются некоторые задачи контроля и анализа дискретных устройств. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Тоценко, Б. Г. |
Новые поступления (книга в стадии обработки) Брауэр, В. Введение в теорию конечных автоматов [Текст] / В. Брауэр ; пер. с нем. К. В. Рудакова. - М. : Радио и связь, 1987. - 392 с. : ил. ; 22см. - 2.10 р.
Рубрики: Математика--Математическая кибернетика Кл.слова (ненормированные): математика -- математическая кибернетика -- конечные автоматы -- множества -- моноиды -- гомоморфизмы -- автоматы Мура -- автоматы Мили -- изоморфизмы -- автоматы Рабина-Скотта Аннотация: Описаны основные классические модели теории конечных автоматов и более сложные модели. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Рудаков, К. В. |
Новые поступления (книга в стадии обработки) Зыков, А. А. Основы теории графов [Текст] / А. А. Зыков. - М. : Наука, 1987. - 384 с. ; 22см. - 2.10 р.
Рубрики: Математика--Теория графов Кл.слова (ненормированные): идентификация -- изоморфизмы -- инварианты -- алгоритмы -- мультиграфы -- матрицы -- ориентация -- теория графов -- математика -- комбинаторный анализ Аннотация: Систематическое введение в теорию графов, построенное в соответствии с внутренней логикой её развития. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Постников, М. М. Аналитическая геометрия. Лекции по геометрии [Текст] : учеб. пособие / М. М. Постников. - 3-е изд., испр. . - СПб. ; М. ; Краснодар : Лань, 2009 - . Ч. 1 . - 2009. - 416 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - ISBN 978-5-8114-0889-4 : 350.02 р.
Рубрики: Математика--Аналитическая геометрия Кл.слова (ненормированные): ВЕКТОРЫ -- ЛИНЕЙНЫЕ ПРОСТРАНСТВА -- ИЗОМОРФИЗМЫ -- МАТРИЦЫ -- ТЕОРЕМА ЕДИНСТВЕННОСТИ -- БИВЕКТОРЫ -- ТРИВЕКТОРЫ -- КООРДИНАТЫ -- ОРТОГОНАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ -- АКСИОМА ГИЛЬБЕРТА -- ТЕОРЕМА ДЕЗАРГА -- ТЕОРЕМА ПАППА -- ТЕОРЕМА ПАСКАЛЯ -- ТЕОРЕМА ФАНО -- ТЕОРИЯ ОРИЕНТАЦИЙ Аннотация: Книга написана на основе лекций, которые автор в течение ряда лет читал на механико-математическом факультете МГУ. Изложение ведется на основе «векторно-точечной» аксиоматики и на высоком уровне строгости и формализации. Помимо стандартных сведений, в книге приведено довольно много дополнительных материалов, обычно не попадающих в учебники аналитической геометрии. Подробно изложена теория ориентации, бивекторов и тривекторов. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |
Новые поступления (книга в стадии обработки) Сикорский, Р. Булевы алгебры [Текст] / Р. Сикорский ; пер. с англ. А. С. Мищенко = Boolean algebras / R. Sikorski : научное издание. - М. : Изд-во "Мир", 1969. - 375 с. ; 21 см. - Библиогр.: с. 340-369 . - Предм. указ.: с. 370-373. - 1.44 р. Тит. л. парал. на англ. яз.
Рубрики: Математика--Алгебра Кл.слова (ненормированные): КОНЕЧНЫЕ ОБЪЕДИНЕНИЯ -- КОНЕЧНЫЕ ПЕРЕСЕЧЕНИЯ -- БЕСКОНЕЧНЫЕ ПЕРЕСЕЧЕНИЯ -- БЕСКОНЕЧНЫЕ ОБЪЕДИНЕНИЯ -- ГОМОМОРФИЗМЫ -- ИЗОМОРФИЗМЫ -- ФАКТОРАЛГЕБРЫ -- ТОПОЛОГИЯ Аннотация: Книга выдающегося польского математика Р. Сикорского посвящена одному из важнейших разделов современной математики - теории булевых алгебр. Это наиболее полное изложение теории булевых алгебр с теоретико-множественной точки зрения. В книге, по видимому, впервые систематически изучаются булевы алгебры с бесконечными операциями. Последний раздел (дополнение) содержит многочисленные применения булевых алгебр к другим областям математики. Книга написана очень просто и удобно. Она вполне доступна и полезна широким кругам математиков, а также физикам и инженерам. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Мищенко, А. С. |