| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :4
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (9)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=ИСЧИСЛЕНИЕ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

    Мендельсон, Э.
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3.изд. - М. : Наука, 1984. - 320 с. ; 22см. - 1.80 р.
ГРНТИ
УДК
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
исчисление -- тавтологии -- кванторы -- теоремы -- изоморфизмы -- арифметика -- арифметические функции -- теорема Гёделя -- теорема Тарского -- система Робинсона -- числа -- порядковые числа -- Гёдель -- Хартогс -- теорема Хартогса -- алгорифмы Маркова -- алгорифмы Тьюринга -- алгорифмы -- Марков -- Тьюринг
Аннотация: В книге освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предиктов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Кабаков, Ф. А.
Адян, С. И.
Найти похожие

2.

    Феллингер, О.
    Линейные системы передачи [Текст] / О. Феллингер, Г. Шнайдер ; пер. с нем. В. П. Жуковым ; под ред. Б. Н. Петрова = Lineare ubertragungssysteme / O. Follinger, G. Schneider : строгое обоснование теории линейных систем передачи с помощью обобщенных функций и операторов. - М. : Изд-во "Мир", 1964. - 214 с. : ил. ; 21 см. - 0.77 р.
Загл. парал. на нем. яз.
ГРНТИ
УДК

Рубрики: Автоматика--Системы автоматического управления

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКОЕ ОПИСАНИЕ -- СИСТЕМЫ ПЕРЕДАЧИ -- СИМВОЛЫ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- ИСЧИСЛЕНИЕ -- ТЕОРИИ УПРАВЛЕНИЯ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Шнайдер, Г. Schneider G.
Жуков, В. П.
Петров, Б. Н.
Найти похожие

3.

    Выгодский, Марк Яковлевич.
    Справочник по высшей математике [Текст] / М. Я. Выгодский. - 14-е изд. - Москва : Джангар: Большая медведица, 2001. - 863 с. - 80.00 р.
ББК 22.1я2

Рубрики: Математика--Высшая математика

Кл.слова (ненормированные):
аргументы -- геометрия -- дифференциал -- интеграл -- исчисление -- кривые -- линии -- математический анализ -- плоскость -- пространство -- ряды -- справочники -- таблицы интегралов -- уравнения -- функции
Аннотация: Справочник включает весь материал, входящий в программу основного курса математики высших технических учебных заведений.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

4.

    Грес, Павел Власович.
    Математика для гуманитариев [Текст] : учебное пособие для студ. высш. учеб. заведений / П. В. Грес. - Москва : Логос, 2003. - 120 с. - ISBN 5-94010-178-Х : 88.00 р.
ББК 22.1я73

Рубрики: Математика--Высшая математика

Кл.слова (ненормированные):
МАТЕМАТИКА -- анализ -- дискретная математика -- дифференциальное исчисление -- дифференциальные уравнения -- интегральное исчисление -- исчисление -- логика -- математическая логика -- математическая статистика -- математический анализ -- математическое моделирование -- методологические проблемы -- множества -- моделирование -- пособия для вузов -- принятие решений -- проблемы -- решения -- статистика -- теория вероятностей -- теория множеств -- уравнения
Аннотация: Содержит краткий курс математики, рассмотрены предмет математики, ее методологические проблемы и принципы, а также элементы теории множеств, дискретной математики и математической логики.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)