Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

Поисковый запрос: (<.>R=27.03$<.>)

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

1-20 21-40 41-60 61-68

Игошин, В. И.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 2-е изд., стер. - М. : ИЦ "Академия", 2008. - 448 с. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 435-442. - ISBN 978-5-7695-4593-1 : 350.00 р.
Гриф: допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студ. вузов, обуч. по спец. 050201 "Математика"

ГРНТИ	27.03.01.33
УДК	510.6+510.5(075.8)

ББК 22.1

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

Математика--Теория алгоритмов

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

Нестеренко, Ю. П.
Элементы математической логики [Текст] : учеб. пособие / Ю. П. Нестеренко ; Челябинский гос. техн. ун-т, Каф. мат. анализа. - Челябинск : ЧГТУ, 1996. - 41 с. ; 20 см. - ISBN 5-696-00720-1 : 1850.00 р.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

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

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

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

Доманский, Е. Н.
Эквивалентность сходимости регуляризационного процесса существованию решения некорректной задачи [Текст] / Е. Н. Доманский ; Челябинский гос. техн. ун-т. - Челябинск : ЧГТУ, 1996. - 159 с. ; 20см. - ISBN 5-696-00729-5 : 5600р. р.

ГРНТИ	27.03.17
УДК	510.5

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

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

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

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения [Текст] : учеб. пособие для студ. вузов, обучающихся по математическим спец. / Л. М. Лихтарников. - СПб. : Лань, 1998. - 288 с. ; 21см. - ISBN 5811400829 : 35р. р.

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22

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

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

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

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

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

Ковальски, Р.
Логика в решении проблем [Текст] / Р. Ковальски ; пер. с англ.: Л. Г. Осмоловского, В. Э. Вольфенгагена, В. Я. Яцука. - М. : Наука, 1990. - 280 с. ; 21см. - (Проблемы искусственного интеллекта). - ISBN 5-02-014148-8 : 4.00 р.

ГРНТИ	27.03	27.47
УДК	510.6+519.85

ББК 22.18

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

Математика--Математическое программирование

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

Доп. точки доступа:
Осмоловский, Л. Г.
Вольфенгаген, В. Э.
Яцук, В. Я.
Найти похожие

Логика и компьютер [Текст] : моделирование рассуждений и проверка правильности программ / под ред. Н. А. Алешиной. - М. : Наука, 1990. - ; 20см. - ISBN 5-02-007156-0 : 0.65 р.

ГРНТИ	27.03	27.47	50.05
УДК	510.6:681.3.06

ББК 32.81

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

Вычислительная техника--Программирование

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

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

Кэрролл, Л.
Логическая игра [Текст] / Л. Кэрролл. - Пер. с англ. Ю. А. Данилова. - М. : Наука, 1991. - 192 с. ; 20см. - ISBN 5-02-014220-4 : 3.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

Нечеткие множества и теория возможностей [Текст] : последние достижения / под ред.: Р. Р. Ягера, С. И. Травкина ; пер. с англ. В. Б. Кузьмина. - М. : Радио и связь, 1986. - 408 с. : ил. ; 22см. - 2.80 р.

ГРНТИ	27.03
УДК	510.22

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

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

Доп. точки доступа:
Ягер, Р. Р.
Кузьмин, В. Б.
Травкин, С. И.
Найти похожие

10.

Столяр, А. А.
Как математика ум в порядок приводит [Текст] / А. А. Столяр. - 2-е изд. - Минск : Высшая школа, 1991. - 207 с. : ил. ; 16 см. - ISBN 5-339-00587-9 : 1.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.1

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

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

11.

Трауб, Д. Ф.
Информация, неопределённость, сложность [Текст] : пер. с англ. / Д. Ф. Трауб. - М. : [б. и.], 1988. - 184 с. : ил. ; 20см. - ISBN 5-03-000991-4 : 1.50 р.

ГРНТИ	27.03
УДК	510

ББК 22.12

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

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

12.

Грэй, П.
Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. - М. : Машиностроение, 1989. - 368 с. : ил. ; 22см. - ISBN 5-217-00178-Х : 1.80 р.

ГРНТИ	27.03	27.17
УДК	510.6+512

ББК 32.965

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

Математика--Линейная алгебра

Кл.слова (ненормированные):
булевы алгебры -- дистрибутивный закон -- математика -- математическая логика -- линейная алгебра -- предикаты -- база данных -- экспертные системы -- логическое программирование -- язык Пролог -- оператор -- реляционная модель -- язык QUEL -- язык QBE -- язык FQL -- язык НОРЕ -- аппликативный язык -- реляционная алгебра
Аннотация: Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

13.

Никольская, И. Л.
Математическая логика [Текст] : учеб. / И. Л. Никольская. - М. : Высшая школа, 1981. - 127 с. : ил. ; 20 см. - 0.25 р.

ГРНТИ	27.03.19.01.33
УДК	51(075.32)

ББК 22.12

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

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

14.

Волков, В. А.
Элементы теории множеств и развитие понятия числа [Текст] : учеб. пособие / В. А. Волков ; Ленинградский ун-т . - Л. : Изд-во Ленингр. ун-та, 1978. - 84 с. : ил. ; 21см. - 0.18 р.

ГРНТИ	27.03.02.01.33
УДК	510.2(075)

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

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

15.

Гильберт, Д.
Основания математики [Текст] : теория доказательств : пер с нем. / Д. Гильберт ; ред. С. И. Адян. - М. : Наука, 1982. - 652 с. ; 22см. - (Математическая логика и основания математики). - 3.40 р.

ГРНТИ	27.03.02
УДК	51

ББК 22.12

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

Математика--Основания математики

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

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

16.

Марков, А. А.
Теория алгорифмов [Текст] / А. А. Марков. - М. : Наука, 1984. - 432 с. : ил. ; 20см. - 3.30 р.

ГРНТИ	27.03.17
УДК	517

ББК 22.12

Рубрики: Математика--Анализ

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

17.

Блехман, И. И.
Механика и прикладная математика [Текст] : логика и особенности приложений математики / И. И. Блехман, А. Д. Мышкис, Я. Г. Пановко. - 2-е изд., испр. и доп. - М. : Наука, 1990. - 356 с. : ил. ; 22 см. - Библиогр.: с. 329-350 (550 назв.). - Имен. указ.: с. 351-356. - ISBN 5-02-014002-3 : 5.50 р.

ГРНТИ	30.15	27.03.19
УДК	531+510.6

ББК 22.21

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

Математика--Математическая логика

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

Доп. точки доступа:
Мышкис, А. Д.
Пановко, Я. Г.
Найти похожие

18.

Наголкин, А. Н.
Алгебра логики в золотом сечении [Текст] : еще один шаг в область нечетких логик и компьютерного интеллекта / А. Н. Наголкин. - М. : МАКС Пресс, 2006. - 184 с. : ил. ; 22 см. - Библиогр.: с. 180-181 (26 назв.). - ISBN 5-317-01731-9 : 180.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.12

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

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

19.

Аляев, Ю. А.
Дискретная математика и математическая логика [Текст] : учебник / Ю. А. Аляев, С. Ф. Тюрин. - М. : Финансы и статистика, 2006. - 368 с. : ил. ; 21 см. - Библиогр.: с. 355-357 (41 назв.). - ISBN 5-279-03045-7 : 260.00 р.
Гриф: допущено УМО по образованию в обл. прикладной информатики в качестве учебника для студ. вузов, обучающихся по спец. "Прикладная информатика (по областям)" и др. экон. спец.

ГРНТИ	27.41.41.01.33	27.03.01.33
УДК	519.1+510.6(075.8)

ББК 22.176 + 22.12

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

Математика--Математическая логика

Кл.слова (ненормированные):
математика -- дискретная математика -- математическая логика -- теория множеств -- элементы комбинаторики -- теория графов -- теория кодирования -- логические исчисления -- теория алгоритмов -- теория нечетких множеств -- алгебра -- булевы алгебры -- неклассические логики
Аннотация: Рассматриваются основные темы дискретной математики и математической логики. Сложные вопросы математики рассматриваются на простых примерах.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Тюрин, С. Ф.
Найти похожие

20.

Шапорев, С. Д.
Математическая логика [Текст] : курс лекций и практ. занятий: учеб пособие / С. Д. Шапорев. - СПб. : БХВ-Петербург, 2005. - 416 с. : ил. ; 24 см. - Библиогр.: с. 405 (26 назв.). - ISBN 5-94157-702-8 : 153.51 р.
Гриф: допущено научно-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студ. вузов, обуч. по спец. 220200 "Автоматизир. системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"

ГРНТИ	27.03.01.33
УДК	510.6(075.8)

ББК 22.12

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

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

1-20 21-40 41-60 61-68

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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