Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

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

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>KL=арифметические функции<.>)

Общее количество найденных документов : 8
Показаны документы с 1 по 8

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

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

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

Ницецкий, Л. В.
Встроенные функции языка ПЛ/1 [Текст] : учеб. пособие для вузов / Л. В. Ницецкий ; Рижский политехн. ин-т. - Рига : РПИ, 1978. - 43 с. : ил. ; 20см. - 0.09 р.

ГРНТИ	50.05.09.01.33
УДК	681.3.06:518.5(075)

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
язык ПЛ/1 -- язык программирования -- арифметические функции -- массивы -- встроенные функции
Аннотация: В работе излагаются сведения о встроенных функциях языка ПЛ/1, предназначенных для математических и арифметических операций, обработки строк, моментов времени, дат, массивов и исключительных ситуаций, применяемых в версии языка, работающей под управлением ОС ЕС.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Найти похожие

Моррил, Г.
Бейсик для ПК ИБМ [Текст] / Г. Моррил; пер с англ. Ю. Е. Поляка, Г. В. Сенина. - М. : Финансы и статистика, 1987. - 207 с. : ил. ; 22 см. - 1.10 р.
Прил.: с. 165-198

ГРНТИ	50.05.09
УДК	681.3.06

ББК 32.973

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
языки программирования -- язык БЕЙСИК -- программное обеспечение -- двоичная система -- двоичный код -- аппаратное обеспечение -- обработка данных -- арифметические операции -- арифметические функции -- средства автоматизации -- подпрограммы -- строковые функции -- файловая система
Аннотация: В книге известного американского автора излагаются основные понятия программирования и начальные сведения об алгоритмическом языке Бейсик, рассматривается работа с массивами данных, подпрограммами, различными формами печати, использование графики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Шпак, Ю. А.
Turbo Pascal. Просто как дважды два [Текст] : научно-популярная литература / Ю. А. Шпак. - М. : Эксмо, 2008. - 400 с. : ил. ; 20 см. - (Просто как дважды два). - ISBN 978-5-699-26565-7 : 110.00 р.

ГРНТИ	50.05.09
УДК	004.43

ББК 32.973.26-018.1

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
Turbo Pascal 7.0 -- ТИПЫ ДАННЫХ -- ИДЕНТИФИКАТОРЫ -- ОПЕРАТОРЫ -- ВЫРАЖЕНИЯ -- МНОГОМОДУЛЬНЫЕ ПРОГРАММЫ -- СОЗДАНИЕ ПРОЦЕДУР -- СОЗДАНИЕ ФУНКЦИЙ -- АРИФМЕТИЧЕСКИЕ ФУНКЦИИ -- МАССИВЫ -- СТРОКИ -- ФАЙЛОВЫЙ ОБМЕН -- ГРАФИЧЕСКИЙ РЕЖИМ -- ТЕКСТОВЫЙ РЕЖИМ -- ОТЛАДКА ПРОГРАММ -- СРЕДСТВА ВВОДА-ВЫВОДА -- ЯЗЫК ПРОГРАММИРОВАНИЯ ПАСКАЛЬ -- КОМАНДА АССЕМБЛЕРА -- ПРЕРЫВАНИЯ -- ПРОГРАММИРОВАНИЕ -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ
Аннотация: В этой книге представлен весь спектр возможностей популярного языка программирования Паскаль в среде Turbo Pascal 7.0. Описываются простые структурированные типы данных, средства ввода-вывода, рассматривается работа с процедурами и функциями, разработка и компиляция многомодульных приложений, объектно-ориентированное программирование, файловый обмен данными, создание графики, использование команд ассемблера, прямой доступ к устройствам компьютера через прерывания и многое другое. Материал изложен в логической последовательности "от простого к сложному", начиная с описания среды программирования и основа языка Паскаль и заканчивая инструкциями по отладке готовых программ.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Нестеренко, Ю. В.
Теория чисел [Текст] : учеб. / Ю. В. Нестеренко. - М. : ИЦ "Академия", 2008. - 272 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 262 (17 назв.). - ISBN 978-5-7695-4646-4 : 322.30 р.
Гриф: рек. УМО по классич. унив. образованию в качестве учеб. для студентов вузов, обучающихся по спец. "Математика"

ГРНТИ	27.15.01.33
УДК	511.2(075.8)

ББК 22.13

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

Кл.слова (ненормированные):
ДИОФАНТОВЫЕ УРАВНЕНИЯ -- ДИСКРЕТНОЕ ЛОГАРИФМИРОВАНИЕ -- ПРОСТЫЕ ЧИСЛА -- ДЕЛИМОСТЬ ЧИСЕЛ -- СОСТАВНЫЕ ЧИСЛА -- АРИФМЕТИЧЕСКИЕ ФУНКЦИИ -- ЧИСЛОВЫЕ СРАВНЕНИЯ -- ЦЕПНЫЕ ДРОБИ -- ПЕРВООБРАЗНЫЕ КОРНИ -- АЛГЕБРАИЧЕСКИЕ ЧИСЛА -- ТРАНСЦЕНДЕНТНЫЕ ЧИСЛА
Аннотация: Основу учебника составляют результаты элементарной теории чисел, сформировавшейся в трудах классиков — Ферма, Эйлера, Гаусса и др. Обзорно освещены свойства простых чисел, теория диофантовых уравнений, алгоритмические аспекты теории чисел с применениями в криптографии (проверка больших простых чисел на простоту, разложение больших чисел на множители, дискретное логарифмирование) и с использованием ЭВМ.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

Справочная книга по математической логике [Текст] = Handbook of mathematical logic : в 4 ч. / под ред. Дж. Барвайса. - М. : Наука : Гл. ред. физико-мат. лит., 1982 - 1983. - Тит. л. парал. на англ. яз.
Ч. 4 : Теория доказательств и конструктивная математика / пер. с англ.: Г. В. Давыдова, Г. Е. Минца ; под ред. В. П. Оревкова. - 1983. - 392 с. : ил., рис., табл. ; 22 см. - Библиогр. в конце глав. - 2.10 р.

ГРНТИ	27.03.01.33
УДК	517(083)

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

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

Доп. точки доступа:
Давыдов, Г. В.
Минц, Г. Е.
Оревков, В. П.
Барвайс, Дж. \\ред.\\ Barwise J.
Найти похожие

Вопросы кибернетики и математики [Текст] : сборник / Минский гос. пед. ин-т им. А. М. Горького ; под ред. А. Ш. Блоха, А. А. Дадаяна. - Минск : Изд-во БГУ им. В. И. Ленина, 1970. - 160 с. : ил., табл. ; 27 см. - Библиогр. в конце ст. - 1.10 р.

ГРНТИ	27.47
УДК	519.7

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

Кл.слова (ненормированные):
АРИФМЕТИЧЕСКИЕ ФУНКЦИИ -- КОМБИНАТОРНЫЕ ЗАДАЧИ -- ДИСКРЕТНЫЕ СИСТЕМЫ -- СИНТЕЗ СХЕМ -- ЛОГИЧЕСКИЕ ГИДРОСХЕМЫ -- ГЕОМЕТРИЯ -- РИМАНОВА ПОВЕРХНОСТЬ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: Сборник состоит из двух частей: теоретической кибернетики и геометрии. Статьи по теоретической кибернетике в свою очередь распределяются на статьи по математическим вопросам обучения и дискретным системам. Но всех их объединяет общий подход к изучаемому вопросу, а именно, использование канонического метода синтеза схем. В разделе "Геометрия" излагаются результаты исследований геометрии тканей на двумерных римановых поверхностях, многообразий аффинного пространства и проективной геометрии.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Блох, А. Ш.
Дадаян, А. А.
Найти похожие

Глушко, М. М.
Учебный словарь-минимум для студентов-математиков [(англо-русский словарь)] / М. М. Глушко. - Москва : Издательство Московского государственного университета, 1976. - 151 с. - на английском и русском языках. - 0.22 р.

ББК 81.2Англ + 22.1

Рубрики: Языкознание--Германские языки

Математика--Общие вопросы математики

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

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)