Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

В текущей базе данных найдено документов :53

В других БД по вашему запросу найдено:

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

ЭБС "ЛАНЬ" (2)

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

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

Поисковый запрос: (<.>KL=предикаты<.>)

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

1-20 21-40 41-53

Формальная логика и методология науки [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во "Наука", 1964. - 300 с. : ил. ; 21 см. - Библиогр. в конце ст. - 1.00 р.

УДК

16+001

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

Доп. точки доступа:
Таванец, П. В.
Найти похожие

Калужнин, Л. А.
Что такое математическая логика? [Текст] : научное издание / Л. А. Калужнин. - М. : Изд-во "Наука", 1964. - 152 с. : ил., граф., табл. ; 20 см. - Библиогр.: с. 149-150 (29 назв.). - 0.21 р.

УДК

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

Сборник задач по математической логике и алгебре множеств [Текст] : сборник задач / А. В. Гофман [и др.]. - 2-е изд., испр. и доп. - Саратов : Изд-во Сарат. ун-та , 1969. - 90 с. : черт. ; 20 см. - 0.16 р.

ГРНТИ	27.03.01.33	27.17.01.33
УДК	510.6+519.6(076)

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

Математика--Алгебра

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

Доп. точки доступа:
Гофман, А. В.
Спивак, М. А.
Розен, В. В.
Салий, В. Н.
Найти похожие

Марков, А. А.
О логике конструктивной математики [Текст] : научное издание / А. А. Марков. - М. : Знание, 1972. - 47 с. ; 22 см. - (Новое в жизни, науке, технике. Математика, кибернетика ; 8). - Библиогр.: с. 46

ГРНТИ	27.03
УДК	51:164

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

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

Мещанинов, Иван Иванович.
Проблемы развития языка [Текст] : научное издание / И. И. Мещанинов ; . - Ленинград : Наука, Ленинградское отделение, 1975. - 348, [4] с. - ISBN [б. и.] (в пер.) : 30.00 р.

УДК

800.1+929Мещанинов

Рубрики: языкознание--общее языкознание--Россия, 19-20 вв., 1883-1967 гг.

Кл.слова (ненормированные):
общее языкознание -- лексика -- синтаксис -- грамматика -- предложение -- предикаты -- слово -- персоналии
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Лавров, И. А.
Задачи по теории множеств математической логике и теории алгоритмов [Текст] : учеб. пособие / И. А. Лавров, Л. Л. Максимова. - М. : Наука : Физматлит, 1975. - 240 с. ; 20 см. - 0.90 р.

ГРНТИ	27.03.01.33
УДК	519.5(076)

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

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

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

Доп. точки доступа:
Максимова, Л. Л.
Найти похожие

Кузнецов, О. П.
Дискретная математика для инженера [Текст] / О. П. Кузнецов. - М. : Энергия, 1980. - 344 с. : ил. ; 21см. - 1.40 р.

ГРНТИ	27.41.41
УДК	519.1

ББК 32.815

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

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

Степанов, Юрий Сергеевич.
Имена. Предикаты. Предложения: Семиологическая грамматика [Текст] : научное издание / Ю. С. Степанов ; . - Москва : Наука, 1981. - 359, [1] с. - Библиогр. - ISBN [Б. и.] (в пер.) : 30.00 р.

УДК

801.561

Рубрики: языкознание--общее языкознание

Кл.слова (ненормированные):
семасиология -- семантика -- синтаксис -- предложение -- модальность -- морфология -- грамматика -- предикаты
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Гильберт, Давид
Основания математики [Текст] : логические исчисления и формализация арифметики: пер. с нем. / Д. Гильберт, П. Бернайс. - 2-е изд. - Москва : Наука, 1982. - 556 с. : ил. - (Математическая логика и основания математики). - 02.70 р.

ББК 22.12

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

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

Доп. точки доступа:
Бернайс, П.
Найти похожие

10.

Мещанинов, Иван Иванович.
Глагол [Текст] : научное издание / И. И. Мещанинов ; . - Ленинград : Наука, Ленинградское отделение, 1982. - 270, [2] с. - ISBN [Б. и.] (в пер.) : 30.00 р.

УДК

801.25+801.561.32

Рубрики: языкознание--общее языкознание

Кл.слова (ненормированные):
глаголы -- сказуемое -- предикаты
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

11.

Прибыток, Инна Ивановна.
Английское простое предложение [Текст] : пособие по теоретической грамматике для студентов фак. и ин-тов иностранных языках / И. И. Прибыток. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1983. - 79 с. - На англ. яз. - 0.13 р.

ББК 81.2Англ-9

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

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

12.

Категории глагола и структура предложения [Текст] : конструкции с предикатными актантами / Академия наук CССР, Институт языкознания. - Ленинград : Наука, 1983. - 248 с. - 2 р.

13.

Грис, Д.
Наука программирования [Текст] : научное издание / Д. Грис ; пер. с англ. Н. Н. Непейводы ; под ред. А. П. Ершова. - М. : Мир, 1984. - 416 с. : ил. ; 21 см. - 1.90 р.

ГРНТИ	50.05
УДК	681.3.06

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

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

Доп. точки доступа:
Непейвода, Н. Н.
Ершов, А.П.
Найти похожие

14.

Марков, Андрей Андреевич.
Элементы математической логики [Текст] / А. А. Марков ; ред. А. Г. Драгалин. - Москва : Издательство Московского государственного университета, 1984. - 79 с. - 0.40 р.

ББК 22.12

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

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

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

15.

Шапиро, Самуил Иосифович.
Решение логических и игровых задач [Текст] : логико-психологические этюды / С. И. Шапиро. - Москва : Радио и связь, 1984. - 153 с. - (Кибернетика). - Библиогр.: с. 151. - Предм. указ.: с. 152. - 0.55 р.

ББК 22.18

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

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

16.

Вероятностные методы и кибернетика [Текст] . - Казань : Изд-во Казан. ун-та, 1984 - .
Вып. 20. - 1984. - 136 с. ; 21см. - 1.00 р.
Библиогр.в конце статей

ГРНТИ	27.43.15	28.01
УДК	519.21+007

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

Кибернетика

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

17.

Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов. [Текст] / И. А. Лавров, Л. Л. Максимова. - 2-е изд. - Москва : Наука, 1984. - 224 с. - 0.90 р.

ББК 22.12

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

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

Доп. точки доступа:
Максимова, Лариса Львовна
Найти похожие

18.

Исследования по теории структур [Текст] : сб. науч. трудов / отв. ред.: М. А. Айзерман, Э. Р. Каянелло. - М. : Наука, 1988. - 207 с. ; 22см. - ISBN 5-02-006621-4 : 2.10 р.

ГРНТИ	27.47
УДК	512.56

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

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

Доп. точки доступа:
Айзерман, М. А.
Каянелло, Э. Р.
Найти похожие

19.

Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1988. - 480 с. : ил. - 1.80 р.
Библиогр.:с.473-475

ББК 22.17

Рубрики: Математика--Теория вероятностей--Комбинаторный анализ

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

Доп. точки доступа:
Адельсон-Вельский, Георгий Максимович
Найти похожие

20.

Кузнецов, О. П.
Дискретная математика для инженера [Текст] / О. П. Кузнецов. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : ил. ; 21см. - ISBN 5-283-01563-7 : 1.80 р.

ГРНТИ	27.41.41
УДК	519.1

ББК 32.815

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

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

1-20 21-40 41-53

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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