Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С. И. |
Новые поступления (книга в стадии обработки) Феллингер, О. Линейные системы передачи [Текст] / О. Феллингер, Г. Шнайдер ; пер. с нем. В. П. Жуковым ; под ред. Б. Н. Петрова = Lineare ubertragungssysteme / O. Follinger, G. Schneider : строгое обоснование теории линейных систем передачи с помощью обобщенных функций и операторов. - М. : Изд-во "Мир", 1964. - 214 с. : ил. ; 21 см. - 0.77 р. Загл. парал. на нем. яз.
Рубрики: Автоматика--Системы автоматического управления Кл.слова (ненормированные): МАТЕМАТИЧЕСКОЕ ОПИСАНИЕ -- СИСТЕМЫ ПЕРЕДАЧИ -- СИМВОЛЫ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- ИСЧИСЛЕНИЕ -- ТЕОРИИ УПРАВЛЕНИЯ Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Шнайдер, Г. Schneider G. Жуков, В. П. Петров, Б. Н. |
Новые поступления (книга в стадии обработки) Выгодский, Марк Яковлевич. Справочник по высшей математике [Текст] / М. Я. Выгодский. - 14-е изд. - Москва : Джангар: Большая медведица, 2001. - 863 с. - 80.00 р. Рубрики: Математика--Высшая математика Кл.слова (ненормированные): аргументы -- геометрия -- дифференциал -- интеграл -- исчисление -- кривые -- линии -- математический анализ -- плоскость -- пространство -- ряды -- справочники -- таблицы интегралов -- уравнения -- функции Аннотация: Справочник включает весь материал, входящий в программу основного курса математики высших технических учебных заведений. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |
Новые поступления (книга в стадии обработки) Грес, Павел Власович. Математика для гуманитариев [Текст] : учебное пособие для студ. высш. учеб. заведений / П. В. Грес. - Москва : Логос, 2003. - 120 с. - ISBN 5-94010-178-Х : 88.00 р. Рубрики: Математика--Высшая математика Кл.слова (ненормированные): МАТЕМАТИКА -- анализ -- дискретная математика -- дифференциальное исчисление -- дифференциальные уравнения -- интегральное исчисление -- исчисление -- логика -- математическая логика -- математическая статистика -- математический анализ -- математическое моделирование -- методологические проблемы -- множества -- моделирование -- пособия для вузов -- принятие решений -- проблемы -- решения -- статистика -- теория вероятностей -- теория множеств -- уравнения Аннотация: Содержит краткий курс математики, рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |