| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :25
 В других БД по вашему запросу найдено:Электронный каталог (7)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=ФОРМАЛЬНЫЕ ЯЗЫКИ<.>)
Общее количество найденных документов : 25
Показаны документы с 1 по 20
 1-20    21-25 
1.

Вид документа : Однотомное издание
Шифр издания : 023466
681.142.21/М 76
Автор(ы) : Молчанов, Алексей Юрьевич
Заглавие : Системное программное обеспечение : учеб. для студентов вузов, обучающихся по специальности "Вычислительные машины, комплексы, системы и сети" и "Автоматизированные системы обработки информации и управления.
Выходные данные : Москва; Санкт-Петербург: Питер, 2003
Колич.характеристики :395, [5] с
Серия: Учебник для вузов
Примечания : Библиогр. - Издат. программа "300 лучших учебников для высшей школы в честь 300-летия Санкт-Петербурга"
ISBN (в пер.), Цена 5-94723-562-5: 120.38 р.
УДК : 004.45(075.8)
Предметные рубрики: вычислительная техника-- программирование
Ключевые слова (''Своб.индексиров.''): системное программное обеспечение--генерация кода--оптимизация кода--программирование--трансляторы--формальные языки--лексический анализатор--синтаксический анализатор
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 681.3(075)/С 59
Автор(ы) : Соколов А. П.
Заглавие : Системы программирования : теория, методы, алгоритмы : учеб. пособие
Выходные данные : М.: Финансы и статистика, 2004
Колич.характеристики :320 с.: ил.; 21 см
ISBN, Цена 5-279-02770-7: 87.05 р.
ГРНТИ : 50.05.01.33
УДК : 681.3.06(075.8)
ББК : 32.973.26-018
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): вычислительная техника--программирование--алгоритмы трансляции--ассемблер(язык программирования)--компоновщики--верификация программ--язык программирования--формальные языки--формальная грамматика
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 681.3/Л 13
Автор(ы) : Лавров С. С.
Заглавие : Программирование. Математические основы, средства, теория : научное издание
Выходные данные : СПб.: BHV-Петербург, 2001
Колич.характеристики :320 с. ; 24 см
Серия: Мастер
ISBN, Цена 5-94157-069-4: 100.00 р.
ГРНТИ : 50.05
УДК : 681.3.06
ББК : 32.973.26-018.2
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): вычислительная техника--программирование--математическая логика--теория множеств--теория вычислимости--языки программирования--формальные языки
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 093228
62-507(075)681.142(075)/П 25
Автор(ы) : Пентус, Анна Евгеньевна, Пентус, Мати Рейнович
Заглавие : Математическая теория формальных языков : учеб. пособие
Выходные данные : Москва: Интернет-Ун-т Информ. Технологий: БИНОМ. Лаб. знаний, 2006
Колич.характеристики :247, [1] с
Серия: Основы информатики и математики/ гл. ред. А. В. Михалев
Примечания : Библиогр.: с. 236-239. - Предм. указ.: с. 240-247
ISBN, Цена 5-94774-512-7 (БИНОМ. ЛЗ) (в пер.): 270.00 р.
ISBN, Цена 5-9556-0062-0 (ИНТУИТ.РУ): Б.ц.
УДК : 519.713(075.8) + 004(075.8)
Предметные рубрики: автоматика.кибернетика-- математическая кибернетика
вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): автоматов теория--конечные автоматы--формальные языки--контекстно-свободные языки (кс-языки)--контекстно-свободные грамматики--автоматные языки--алгоритмические проблемы--математическая лингвистика--регулярные выражения
Найти похожие
5.

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

Вид документа : Однотомное издание
Шифр издания : 971919
Автор(ы) : Тимофеева, Мария Кирилловна
Заглавие : Естественные и формальные языки. Логико-философский анализ : научное издание
Выходные данные : Новосибирск: [б. и.], 2003
Колич.характеристики :200, [1] с
Примечания : Библиогр.: с. 192-198 (118 назв.)
ISBN, Цена [Б. и.]: 85.00 р.
УДК : 800.1
Предметные рубрики: языкознание-- общее языкознание
Ключевые слова (''Своб.индексиров.''): естественные языки--формальные языки--искусственные языки--классификация языков--язык--знаки--семиотика--синтаксис--семантика--прагматика--философия языка
Найти похожие
7.

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

Вид документа : Многотомное издание
Шифр издания : 657906
Автор(ы) : Бондаренко, Леонид Николаевич
Заглавие : Дискретная математика. Конечные автоматы и формальные языки: учеб. пособие/ Л. Н. Бондаренко ; Гос. образоват. учреждение высш. проф. образования "Пензенский государственный университет". Ч. 1
Выходные данные : Пенза: Изд-во Пенз. гос. ун-та, 2009
Колич.характеристики :73, [3] с.: рис.
Коллективы : Гос. образоват. учреждение высш. проф. образования "Пензенский государственный университет"
Примечания : Библиогр.: с. 73 (15 назв.)
ISBN, Цена [Б. и.]: 223.63 р.
УДК : 519.713(075.8)
Предметные рубрики: математика-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): конечные автоматы--формальные языки--дискретная математика--мура автоматы
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 519/П 18
Автор(ы) : Парницкий Г.
Заглавие : Основы статистической информатики
Выходные данные : М.: Финансы и статистика, 1981
Колич.характеристики :199 с.: ил.; 20см
Цена : 0.85 р.
ГРНТИ : 27.43 + 50.05
УДК : 519.22:681.3:01
ББК : 60.6
Предметные рубрики: Математика-- Математическая статистика
Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): множества--булевы алгебры--отношения--графы--математика--математическая статистика--вычислительная техника--программирование--формальные языки--автоматическая классификация--структура данных
Аннотация: Книга посвящена методам переработки больших массивов информации.
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : 519(075)/Г 52
Автор(ы) : Глаголев В. В.
Заглавие : Методы дискретной математики : учеб. пособие
Выходные данные : Тула: ТГУ, 2000
Колич.характеристики :232 с.: ил.; 20см
Коллективы : Тульский гос. ун-т
ISBN, Цена 5767902798: 20.00 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--теория графов--булевы функции--конечные автоматы--формальные языки--теория алгоритмов
Аннотация: Излагаются основные разделы дискретной математики, сформировавшиеся к настоящему времени: комбинаторика, теория графов, булевы функции и их реализации, конечные автоматы, формальные языки, элементы теории алгоритмов. Для студентов.
Найти похожие
11.

Вид документа : Однотомное издание
Шифр издания : 4/С 16
Автор(ы) : Саломаа А.
Заглавие : Жемчужины теории формальных языков : пер. с англ.
Выходные данные : М.: Мир, 1986
Колич.характеристики :159 с.: ил.; 20см
Примечания : Загл. парал. англ...
Цена : 0.70 р.
ГРНТИ : 16
УДК : 4:51+519.7
ББК : 81.1
Предметные рубрики: Языкознание-- Формальные языки
Ключевые слова (''Своб.индексиров.''): формальные языки--языкознание
Аннотация: Книга содержит ряд замечательных результатов теории формальных языков. Она отличается методическими достоинствами, большим числом задач и примеров, постановкой новых проблем. Автор книги успешно решил поставленные им две основные задачи: дать замкнутое введение в теорию для начинающих, изложить некоторые блестящие и порой сложные результаты, интересные для специалистов. Для специалистов по вычислительным наукам, для студентов и аспирантов университетов.
Найти похожие
12.

Вид документа : Однотомное издание
Шифр издания : 681.3(075)/А 67
Автор(ы) : Анкудинов Г. И.
Заглавие : Прикладная теория цифровых автоматов : конспект лекций
Выходные данные : Л.: СЗПИ, 1991
Колич.характеристики :72 с.: ил.; 20см
Коллективы : Северо-Запад. заоч. политехн. ин-т (Ленинград)
Цена : 0.65 р.
ГРНТИ : 50.09.49.01.33
УДК : 681.322(075.8)
Предметные рубрики: Вычислительная техника-- Цифровая техника
Ключевые слова (''Своб.индексиров.''): формальные языки--кодирование--абстрактные автоматы--машинное изображение--преобразование хаусхолдера--преобразование информации--системы счисления
Аннотация: В конспекте лекций приведены общие сведения о цифровых автоматах и их информационные и арифметические основы; рассмотрены непрерывная и дискретная формы представления информации, меры количества информации и кодирование сообщений; даны определения алгоритма и классификация цифровых автоматов; приведены системы счисления и формы представления чисел в цифровых автоматах, принципы построения и выполнения микропрограмм арифметических операций. Конспект предназначен для студентов специальности 2201 - электронные вычислительные машины, системы, комплексы и сети.
Найти похожие
13.

Вид документа : Однотомное издание
Шифр издания : 681.3(075)/К 82
Автор(ы) : Криницкий Н. А.
Заглавие : Теоретические основы математического обеспечения : учеб. пособие для вузов
Выходные данные : М.: МИРЭА, 1980
Колич.характеристики :120 с.: ил.; 20см
Коллективы : Московский ин-т радиотехники, электроники и автоматики
Цена : 0.30 р.
ГРНТИ : 50.05.19.01.33
УДК : 681.3.01(075)
Предметные рубрики: Вычислительная техника-- Обработка данных
Ключевые слова (''Своб.индексиров.''): математическое обеспечение--символьные конструкции--формальные языки--алгоритм
Аннотация: Пособие охватывает часть материала курса "Системное программирование", читаемого для студентов специальности "Вычислительная техника". Материал изложен несколько полнее, чем это требуется для указанного курса, что дает возможность использовать это пособие и для студентов специальности "Прикладная математика".
Найти похожие
14.

Вид документа : Однотомное издание
Шифр издания : 519(075)/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера : учебник . -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.

Вид документа : Однотомное издание
Шифр издания : 003/Т 41
Автор(ы) : Тимофеева М. К.
Заглавие : Естественные и формальные языки: логико-философский анализ : научное издание
Выходные данные : Новосибирск: Ин-т мат. им. С. Л. Соболева СО РАН, 2003
Колич.характеристики :200 с. ; 20 см
Примечания : Библиогр.: с. 192-198 (118 назв.)
Цена : 80.00 р.
ГРНТИ : 16.31
УДК : 003
ББК : 87.4 + 81
Предметные рубрики: Семиотика-- Естественные языки-- Формальные языки
Ключевые слова (''Своб.индексиров.''): семиотика--естественные языки--формальные языки--классификация языков--аксиоматические системы
Аннотация: Книга посвящена проблеме определения и сравнения понятий "естественный язык", "формальный язык". Рассматриваются прикладные аспекты проблемы, значимые для формализации процессов использования естественных языков.
Найти похожие
16.

Вид документа : Однотомное издание
Шифр издания : 007/М 23
Автор(ы) : Манин Ю. И.
Заглавие : Доказуемое и недоказуемое : научно-популярная литература
Выходные данные : М.: Советское радио, 1979
Колич.характеристики :167 с. ; 0.60
Серия: Кибернетика
Цена : 0.60 р.
ГРНТИ : 28.01
УДК : 007+510.6
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): формальные языки--теорема геделя--счетные модели--парадокс сколема--язык self--теорема тарского--мощность континуума
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику.
Найти похожие
17.

Вид документа : Однотомное издание
Шифр издания : 16/М 90
Автор(ы) : Мулуд Н.
Заглавие : Анализ и смысл : научное издание
Параллельн. заглавия :L’analyse et le sens/ N. Mouloud
Выходные данные : М.: Прогресс, 1979
Колич.характеристики :347 с.: ил.; 22 см
Серия: Логика и методология науки
Примечания : Библиогр.: с. 335-342. - Тит. л. парал. на фр. яз.
Цена : 1.40 р.
ГРНТИ : 02.21
УДК : 16
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): проблемы семантики--смысл в логистике--модели--формальные языки--эпистемические контексты--логика истины
Аннотация: В книге описываются семантические основания логики и гносеологии.
Найти похожие
18.

Вид документа : Многотомное издание
Шифр издания : 004(075)/В 49
Автор(ы) : Винокуров Н. А.
Заглавие : Практика и теория программирования: в 2 кн. : учеб. пособие/ Н. А. Винокуров, А. В. Ворожцов ; Московский физико-тех. ин-т (гос. ун-т). - (Информатика). Кн. 1 . Ч. 1, 2
Выходные данные : М.: Физматкнига, 2008
Колич.характеристики : on-line
Коллективы : Московский физико-техн. ин-т (гос. ун-т)
Серия:
Примечания : Гриф: рек. УМО вузов РФ по образованию в обл. приклад. математики и физики М-ва образования и науки РФ в качестве учеб. пособия для студ. вузов, обучающихся по направлению подгот. "Прикладные математика и физика"Режим доступа : https://sstu.bibliotech.ru/Reader/Book/3436Количество одновременных доступов 4
ISBN, Цена 978-5-89155-181-7: 380.00, 3300.00 р.
ГРНТИ : 50.05.01.33
УДК : 004.4(075.8)
ББК : 32.97
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): языки программирования--язык cи--функциональное программирование--продукционное программирование--алгоритмы--формальные языки--виртуализация
Аннотация: Представляет собой курс лекций, читавшихся авторами на протяжении нескольких лет студентам первого курса Московского физико-технического института, а также семинарских занятий, основанных на этих лекциях. Курс содержит специально подобранный материал по абстрактным исполнителям, алгоритмам и языку программирования Си и может служить хорошим стартом в науку программирования. Первая книга включает в себя введение в теорию вычислимости и ряд независимых лекционных материалов о важных концепциях современного программирования: функциональное и продукционное программирование, сложность вычислений, грамматики и формальные языки, виртуализация исполнителей.
Перейти к внешнему ресурсу:  книга доступна в ЭБС "БиблиоТех"    ID= 3436 (дата размещения: 28.03.2019)
Найти похожие
19.

Вид документа : Однотомное издание
Шифр издания : 512/Г 55
Автор(ы) : Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л.
Заглавие : Алгебра. Языки. Программирование : научное издание
Выходные данные : Киев: Изд-во "Наукова думка", 1974
Колич.характеристики :328 с.: ил.; 22 см
Коллективы : Ордена Ленина ин-т кибернетики, Акад. наук Укр. ССР
Примечания : Библиогр.: с. 316-319 (110 назв.)
Цена : 1.58 р.
ГРНТИ : 27.17
УДК : 512.64
Предметные рубрики: Математика-- Линейная алгебра
Ключевые слова (''Своб.индексиров.''): множества--универсальные алгебры--алгоритмические алгебры--формальные языки--параметрические системы--системы программирования
Аннотация: книга служит введением в теорию универсальных алгебр - направление общей алгебры с учетом применения ее в теоретическом программировании.
Найти похожие
20.

Вид документа : Однотомное издание
Шифр издания : 004(075)/К 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
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)