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 р.

УДК

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

Иванов, Б. Н.
Дискретная математика [Текст] : алгоритмы и программы : расширенный курс : учеб. пособие / Б. Н. Иванов. - М. : Известия, 2011. - 512 с. : ил. ; 22 см. - Библиогр.: с. 501-502 (35 назв.). - ISBN 978-5-206-00824-1 : 140.00 р.
Гриф: рек. М-вом образования и науки Рос. Федерации в качестве учеб. пособия для студ. вузов, обучающихся по спец. "Прикладная математика и информатика"

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

ББК 22.176

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

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

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

ББК 81.2Англ-9

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

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

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

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

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

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

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

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

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

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

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

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

Светлов, В. А.
Логика: экзаменационные ответы для студентов вузов [Текст] : учеб. пособие / В. А. Светлов. - СПб. [и др.] : Питер, 2008. - 160 с. : ил. ; 21 см. - (Завтра экзамен). - ISBN 978-5-469-00910-8 : 61.00 р.

ГРНТИ	02.21.01.33
УДК	16(075.8)

ББК 87.4

Рубрики: Философия--Логика

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

Гончарова, Г. А.
Элементы дискретной математики [Текст] : учеб. пособие / Г. А. Гончарова, А. А. Мочалин. - М. : ФОРУМ - ИНФРА-М, 2004. - 128 с. : рис. ; 21 см. - (Профессиональное образование). - Библиогр.: с. 125 (8 назв.). - ISBN 5-8199-0059-6 : 44.00 р.
Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. учреждений сред. проф. образования, обучающихся по спец. информатики и вычисл. техники

ГРНТИ	27.41.41.01. 33
УДК	519.1(075.3)

ББК 22.176

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

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

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

Мочалин, А. А.
Высшая математика [Текст] : учеб. пособие для студентов всех спец. / А. А. Мочалин, Г. А. Гончарова, Е. В. Гарбуз ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2001. - 127 с. : граф. ; 21 см. - Библиогр.: с. 124-125 (29 назв.). - ISBN 5-7433-0836-5 : 26.50 р.

ГРНТИ	27.01.33
УДК	51(075.8)

ББК 22.11

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

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

Доп. точки доступа:
Гончарова, Г. А.
Гарбуз, Е. В.
Найти похожие

10.

Цуканова, Н. И.
Логическое программирование на языке Visual Prolog [Текст] : учеб. пособие / Н. И. Цуканова, Т. А. Дмитриева. - М. : Горячая линия - Телеком, 2008. - 144 с. : ил. ; 21 см. - (Учебное пособие для высших учебных заведений). - Библиогр.: с. 141 (14 назв.). - ISBN 978-5-9912-0033-2 : 236.17 р.
Гриф: допущено УМО вузов по унив. политехническому образованию в качестве учеб. пособия для студ. вузов, обучающихся по спец. 230105-"Программное обеспечение вычислительной техники и автоматизированных систем"

ГРНТИ	50.05.09.01.33
УДК	004.43(075.8)

ББК 32.973.26-018.1

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

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

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

11.

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

ГРНТИ	50.05
УДК	681.3.06

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

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

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

12.

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

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

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

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

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

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

13.

Введение в языкознание [Текст] : экзаменационные ответы. - Москва : [б. и.], 2005. - 120 с. - ISBN 5-89582-188-X : 32 р.

ББК 81.2

Рубрики: Языкознание

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

14.

Алексеева, Ирина Сергеевна.
Введение в переводоведение [Текст] : учеб. пособие для студ. фил. и лингв. фак. высш. учеб. заведений / И. С. Алексеева. - 2-е изд. , стер. - Санкт-Петербург : Филологический факультет СПбГУ ; Москва : Академия, 2006. - 352 с. - (Высшее профессиональное образование). - ISBN 5-8465-0384-5 : 250.91 р.

15.

Изменения в языке и коммуникации: XXI век [Текст] : сб. статей / Российский Государственный гуманитарный университет, Институт лингвистики ; сост., ред. М. А. Кронгауз. - Москва : РГГУ, 2006. - 276 с. - ISBN 5-7281-0936-5 : 121.99 р.

ББК 81.2

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

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

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

16.

Единицы языка и их функционирование [Текст] : межвуз. сб. науч. трудов. Вып. 13. - Саратов : Издательство Саратовской государственной академии права, 2007. - 360 с. - ISBN 978-5-7924-0544-8 : 20 р.

17.

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

ББК 22.12

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

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

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

18.

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

ББК 22.17

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

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

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

19.

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

ББК 22.12

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

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

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

20.

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

1-20 21-40 41-53

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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