Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

в найденном

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

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

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

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

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

Поисковый запрос: (<.>KL=формальные языки<.>)

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

1-20 21-25

Молчанов, Алексей Юрьевич.
Системное программное обеспечение [Текст] : учеб. для студентов вузов, обучающихся по специальности "Вычислительные машины, комплексы, системы и сети" и "Автоматизированные системы обработки информации и управления. / А. Ю. Молчанов. - Москва ; Санкт-Петербург : Питер, 2003. - 395, [5] с. - (Учебник для вузов). - Библиогр. - ISBN 5-94723-562-5 (в пер.) : 120.38 р.
Издат. программа "300 лучших учебников для высшей школы в честь 300-летия Санкт-Петербурга"

УДК

004.45(075.8)

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

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

Соколов, А. П.
Системы программирования : теория, методы, алгоритмы [Текст] : учеб. пособие / А. П. Соколов. - М. : Финансы и статистика, 2004. - 320 с. : ил. ; 21 см. - ISBN 5-279-02770-7 : 87.05 р.

ГРНТИ	50.05.01.33
УДК	681.3.06(075.8)

ББК 32.973.26-018

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

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

Лавров, С. С.
Программирование. Математические основы, средства, теория [Текст] : научное издание / С. С. Лавров. - СПб. : BHV-Петербург, 2001. - 320 с. ; 24 см. - (Мастер). - ISBN 5-94157-069-4 : 100.00 р.

ГРНТИ	50.05
УДК	681.3.06

ББК 32.973.26-018.2

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

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

Пентус, Анна Евгеньевна.
Математическая теория формальных языков [Текст] : учеб. пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Ун-т Информ. Технологий : БИНОМ. Лаб. знаний, 2006. - 247, [1] с. - (Основы информатики и математики / гл. ред. А. В. Михалев). - Библиогр.: с. 236-239. - Предм. указ.: с. 240-247. - ISBN 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.). - ISBN 5-9556-0062-0 (ИНТУИТ.РУ) : 270.00 р.

УДК

519.713(075.8)

004(075.8)

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

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

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

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

Ежегодная Неделя Финской Информатики (Петрозаводск) (2005).
Труды НФИ'2005 [Текст] = Petroskoin yliopiston vuosittainen suomalaisen tietojenkäsittelyn viikko / Ежегодная Неделя Финской Информатики (Петрозаводск) (2005), Федер. агентство по образованию гос. образоват. учреждение высш. проф. образования Петрозав. гос. ун-т ; ред.: Т. Аланко, Ю. Богоявленский. - Петрозаводск : Изд-во ПетрГУ.
Т. 7 : Новые методы информационных технологий. - Петрозаводск : Изд-во ПетрГУ, 2006. - 238, [2] с. - ISBN 5-8021-0356-6 : 100.00 р.

УДК

004(063)

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

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

Доп. точки доступа:
Аланко, Тимо \\ред.\\
Богоявленский, Юрий \\ред.\\
Найти похожие

Тимофеева, Мария Кирилловна.
Естественные и формальные языки. Логико-философский анализ [Текст] : научное издание / М. К. Тимофеева. - Новосибирск : [б. и.], 2003. - 200, [1] с. - Библиогр.: с. 192-198 (118 назв.). - ISBN [Б. и.] : 85.00 р.

УДК

800.1

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

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

Молчанов, Алексей Юрьевич.
Системное программное обеспечение [Текст] : учеб. для вузов / А. Ю. Молчанов. - 3-е изд. - Москва ; Санкт-Петербург [и др.] : Питер, 2010. - 397, [3] с. - (Учебник для вузов). - Библиогр.: с. 387-390 (82 назв.). - ISBN 978-5-49807-153-4 (в пер.) : 167.30 р.
Допущено М-вом образования и науки РФ в качестве учеб. для студентов вузов, обучающихся по специальностям "Вычислительные машины, комплексы, системы и сети" и "Автоматизированные системы обработки информации и управления" направления подгот. дипломир. специалистов "Информатика и вычислительная техника"

УДК

004.45(075.8)

   Бондаренко, Леонид Николаевич
    Дискретная математика. Конечные автоматы и формальные языки [Текст] : учеб. пособие / Л. Н. Бондаренко ; Гос. образоват. учреждение высш. проф. образования "Пензенский государственный университет". - Пенза : Изд-во Пенз. гос. ун-та, 2009 - .
   Ч. 1. - Пенза : Изд-во Пенз. гос. ун-та, 2009. - 73, [3] с. : рис. - Библиогр.: с. 73 (15 назв.). - ISBN [Б. и.] : 223.63 р.

УДК

519.713(075.8)

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

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

Доп. точки доступа:
Найти похожие

Парницкий, Г.
Основы статистической информатики [Текст] / Г. Парницкий ; пер. с венгр. Ю. А. Данилова. - М. : Финансы и статистика, 1981. - 199 с. : ил. ; 20см. - 0.85 р.

ГРНТИ	27.43	50.05
УДК	519.22:681.3:01

ББК 60.6

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

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

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

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

10.

Глаголев, В. В.
Методы дискретной математики [Текст] : учеб. пособие / В. В. Глаголев ; Тульский гос. ун-т. - Тула : ТГУ, 2000. - 232 с. : ил. ; 20см. - ISBN 5767902798 : 20.00 р.

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

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

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

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

11.

Саломаа, А.
Жемчужины теории формальных языков [Текст] : пер. с англ. / А. Саломаа ; под ред. А. Л. Семенова. - М. : Мир, 1986. - 159 с. : ил. ; 20см. - 0.70 р.
Загл. парал. англ...

ГРНТИ	16
УДК	4:51+519.7

ББК 81.1

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

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

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

12.

Анкудинов, Г. И.
Прикладная теория цифровых автоматов [Текст] : конспект лекций / Г. И. Анкудинов ; Северо-западный заочный политехн. ин-т (Ленинград) . - Л. : СЗПИ, 1991. - 72 с. : ил. ; 20см. - 0.65 р.

ГРНТИ	50.09.49.01.33
УДК	681.322(075.8)

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

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

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

13.

Криницкий, Н. А.
Теоретические основы математического обеспечения [Текст] : учеб. пособие для вузов / Н. А. Криницкий ; Московский ин-т радиотехники, электроники и автоматики. - М. : МИРЭА, 1980. - 120 с. : ил. ; 20см. - 0.30 р.

ГРНТИ	50.05.19.01.33
УДК	681.3.01(075)

Рубрики: Вычислительная техника--Обработка данных

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

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

14.

Кузнецов, О. П.
Дискретная математика для инженера [Текст] : учебник / О. П. Кузнецов. - 3-е изд., перераб. и доп. - СПб. : Лань, 2004. - 400 с. : ил. ; 21 см. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 388-389 (50 назв.). - ISBN 5-8114-0570-7 : 132.66 р.

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

ББК 22.176

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

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

15.

Тимофеева, М. К.
Естественные и формальные языки: логико-философский анализ [Текст] : научное издание / М. К. Тимофеева. - Новосибирск : Ин-т мат. им. С. Л. Соболева СО РАН, 2003. - 200 с. ; 20 см. - Библиогр.: с. 192-198 (118 назв.). - 80.00 р.

ГРНТИ	16.31
УДК	003

ББК 87.4 + 81

Рубрики: Семиотика--Естественные языки--Формальные языки

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

16.

Манин, Ю. И.
Доказуемое и недоказуемое [Текст] : научно-популярная литература / Ю. И. Манин. - М. : Советское радио, 1979. - 167 с. ; 0.60. - (Кибернетика). - 0.60 р.

ГРНТИ	28.01
УДК	007+510.6

Рубрики: Кибернетика

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

17.

Мулуд, Н.
Анализ и смысл [Текст] / Н. Мулуд ; пер. с фр. : Н. С. Автономовой, Ю. А. Муравьева ; ред. В. И. Метлов = L’analyse et le sens / N. Mouloud : научное издание. - М. : Прогресс, 1979. - 347 с. : ил. ; 22 см. - (Логика и методология науки). - Библиогр.: с. 335-342. - 1.40 р.
Тит. л. парал. на фр. яз.

ГРНТИ	02.21
УДК	16

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

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

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

18.

   Винокуров, Н. А.
    Практика и теория программирования [Электронный ресурс] : в 2 кн. : учеб. пособие / Н. А. Винокуров, А. В. Ворожцов ; Московский физико-тех. ин-т (гос. ун-т). - М. : Физматкнига, 2008 - . - (Информатика). - ISBN 978-5-89155-180-0.
   Кн. 1, Ч. 1, 2. - 2008. - on-line. - ). - ISBN 978-5-89155-181-7 : 380.00, 3300.00 р.
Гриф: рек. УМО вузов РФ по образованию в обл. приклад. математики и физики М-ва образования и науки РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. "Прикладные математика и физика". Режим доступа : https://sstu.bibliotech.ru/Reader/Book/3436. Количество одновременных доступов 4

ГРНТИ	50.05.01.33
УДК	004.4(075.8)

ББК 32.97

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

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

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

19.

Глушков, В. М.
Алгебра. Языки. Программирование [Текст] : научное издание / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко ; Ордена Ленина ин-т кибернетики. - Киев : Изд-во "Наукова думка", 1974. - 328 с. : ил. ; 22 см. - Библиогр.: с. 316-319 (110 назв.). - 1.58 р.

ГРНТИ	27.17
УДК	512.64

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

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

Доп. точки доступа:
Цейтлин, Г. Е.
Ющенко, Е. Л.
Найти похожие

20.

Капустинская, В. И.
Информатика и основы компьютерных знаний [Текст] : учеб. пособие / В. И. Капустинская, Л. В. Стародубцева, А. Г. Устинов. - Старый Оскол : ТНТ, 2017. - 248 с. : ил. ; 21 см. - Библиогр.: с. 247(14 назв.). - ISBN 978-5-94178-511-7 : 637.88 р.
Гриф: допущено Умо вузов по образованию в обл. автоматизир. машиностроения (УМО АМ) в качестве учеб. пособия для студ. вузов, обуч. по напр. "Конструкторско-технол. обеспечение машиностроит. пр-в", "Автоматизация технол. процессов и пр-в"

ГРНТИ	50.01.33
УДК	004(075.8)

ББК 32.97

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

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

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

1-20 21-25

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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