Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
 Найдено в других БД:Труды учёных ПГНИУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ФОРМАЛЬНЫЕ ЯЗЫКИ<.>)
Общее количество найденных документов : 10
Показаны документы с 1 по 10
1.
681
Ф 94

    Фу, К.
    Структурные методы в распознавании образов : Пер.с англ. / Под ред.М.А.Айзермана. - М. : Мир, 1977. - 320с. - 4 р.
УДК
004.93
РУБ 681
Рубрики: Распознавание образов
Кл.слова (ненормированные):
Формальные языки -- Распознавание образов -- Языки программирования -- Математическая лингвистика

Экземпляры всего: 2
Х (1), ВЦ (1)
Свободны: Х (1), ВЦ (1)
Найти похожие
2.
   681
   О-549

    Оллонгрен, А.
    Определение языков программирования интерпретирующими автоматами : перевод с английского / А. Оллонгрен ; ред. В. Ш. Кауфман. - Москва : Мир, 1977. - 288 с. - 3.50 р., 3.50 р., 1.20 р.
УДК
004.43
ББК Ш112
Рубрики: Программирования языки
Кл.слова (ненормированные):
Венский метаязык -- Языки программирования -- Программирование системное -- Формальные языки


Доп.точки доступа:
Кауфман, В. Ш. \ред.\
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие
3.
   681
   М 594

    Миков, Александр Иванович.
    Информатика. Введение в компьютерные науки : учебное пособие для университетов по направлению "Прикладная математика и информатика" / А. И. Миков ; Министерство общего и профессионального образования РФ, Пермский государственный университет. - Пермь : [б. и.], 1998. - 210 с. : ил. - Библиогр.: с. 207. - ISBN 5-7944-0097-8 : 30.00 р., 30.00 р.
ГРНТИ
50.01.33
УДК
004(075.8)
Рубрики: Вычислительная техника--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
АЛГОРИТМОВ ТЕОРИЯ -- РЕКУРСИВНЫЕ АЛГОРИТМЫ -- СЛОЖНОСТЬ АЛГОРИТМОВ -- ОПТИМИЗАЦИЯ АЛГОРИТМОВ -- СОРТИРОВКА МАССИВОВ -- СОРТИРОВКА ПОСЛЕДОВАТЕЛЬНЫХ ФАЙЛОВ -- ХЕШИРОВАНИЕ -- ФОРМАЛЬНЫЕ ЯЗЫКИ


Доп.точки доступа:
Министерство общего и профессионального образования РФ; Пермский государственный университет
Экземпляры всего: 5
Х (1), АБУ (4)
Свободны: Х (1), АБУ (4)
Найти похожие
4.
   681
   К 682

    Королев, Лев Николаевич.
    Информатика. Введение в компьютерные науки : учебник для студентов высших учебных заведений / Л. Н. Королев, А. И. Миков. - Москва : Высшая школа, 2003. - 341 с. - Библиогр.: с. 320-321. - ISBN 5-06-004272-3 : 236.00 р., 194.00 р., 270.00 р., 236.00 р., 158.10 р., 137.00 р., 204.87 р., 1.00 р.
20.01.33
УДК
004(075.8)
Рубрики: Информатика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
АЛГОРИТМЫ (ТЕОРИЯ) -- РЕКУРСИВНЫЕ АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ДАННЫЕ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- АРХИТЕКТУРА КОМПЬЮТЕРОВ


Доп.точки доступа:
Миков, Александр Иванович
Экземпляры всего: 115
АБЗ (10), АБУ (103), Х (1), ЧЗЕ (1)
Свободны: АБЗ (10), АБУ (103), Х (1), ЧЗЕ (1)
Найти похожие
5.
   519
   П 254

    Пентус, Анна Евгеньевна.
    Математическая теория формальных языков : учебное пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. : ил. - (Основы информатики и математики). - Библиогр.: с. 236-239. - ISBN 5-94774-512-7. - ISBN 5-9556-0062-0 : 234.00 р., 234.00 р., 234 р.
27.47
УДК
519.713+519.76](075.8)
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- АВТОМАТОВ ТЕОРИЯ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА


Доп.точки доступа:
Пентус, Мати Рейнович
Экземпляры всего: 50
Х (1), ЧЗЕ (1), АБУ (48)
Свободны: Х (1), ЧЗЕ (1), АБУ (48)
Найти похожие
6.
   1
   Т 415

    Тимофеева, Мария Кирилловна.
    Естественные и формальные языки: логико-философский анализ / М. К. Тимофеева ; Ин-т математики им. С. Л.Соболева, РАН. - Новосибирск : [б. и.], 2003. - 200 с. - Библиогр.: с. 192-198. - 80 р.
ГРНТИ
02.15.31
УДК
165.212
519.76
ББК Ю224.21
Рубрики: Философия
Кл.слова (ненормированные):
ФИЛОСОФИЯ И ЯЗЫК -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЯЗЫКИ ЕСТЕСТВЕННЫЕ -- ЯЗЫКИ ФОРМАЛЬНЫЕ

Экземпляры всего: 2
Х (1), ЧЗГ (1)
Свободны: Х (1), ЧЗГ (1)
Найти похожие
7.
   1
   В 201

    Васюков, Владимир Леонидович.
    Формальная онтология / В. Л. Васюков ; Рос. акад. наук, Ин-т философии. - Москва : Ин-т философии РАН, 2006. - 140 с. - ISBN 978-5-9540-0065-8 : 80 р.
ГРНТИ
02.15.31
УДК
111:16
ББК Ю21:Ю4
Рубрики: Онтология формальная
Кл.слова (ненормированные):
ФОРМАЛЬНАЯ ОНТОЛОГИЯ -- МЕТАФИЗИКА -- ОНТОЛОГИКА -- ФОРМАЛЬНЫЕ ЯЗЫКИ


Доп.точки доступа:
Российская академия наук; Институт философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие
8.
   681
   Б 298

   Бауэр, Фридрих Л.
    Информатика. Вводный курс = Informatik : [учебное пособие] : в 2 ч. / Ф. Л. Бауэр, Г. Гооз ; пер.: М. К. Валиев, В. Г. Кербель ; ред. А. П. Ершов. - 2-е изд., перераб. и расшир. - Москва : Мир, 1990 - . - ISBN 5-03-000298-7.
   Ч. 2. - 1990. - 742 с. - ). - Библиогр.: с. 681-684. - Предм.-имен. указ.: с. 704-733. - ISBN 5-03-002100-0 : 2.10 р.
ГРНТИ
20
УДК
004
Рубрики: Информатика--Учебные издания
Кл.слова (ненормированные):
формальные языки -- синтаксис -- история информатики -- семантика -- алгоритмические языки
Аннотация: Блочная структура и динамическое распределение памяти.


Доп.точки доступа:
Гооз, Герхард; Валиев, М. К. \пер.\; Кербель, В. Г. \пер.\; Ершов, А. П. \ред.\
Экземпляры всего: 2
ЧЗЕ (1), АБУ (1)
Свободны: ЧЗЕ (1), АБУ (1)
Найти похожие
9.
   517
   И 889

   
    Исследования по неклассическим логикам и теории множеств / Академия наук СССР, Государственный Комитет Совета Министров СССР по науке и технике, ; Академия наук СССР, Государственный Комитет Совета Министров СССР по науке и технике, . - Москва : Наука, 1979. - 346 с. - Библиогр. в конце ст. - 2.10 р., 2.10 р.
ГРНТИ
27.23
УДК
517
Рубрики: Математический анализ--Сборники
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЛОГИКА (ИНТУИЦИОНИСТСКАЯ) -- ЛОГИКИ (МОДАЛЬНЫЕ) -- ЛОГИКИ (МНОГОЗНАЧНЫЕ)


Доп.точки доступа:
Михайлов, А. И. \ред.\; Академия наук СССРГосударственный Комитет Совета Министров СССР по науке и технике
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
10.
   519
   Л 203

    Лаллеман, Жерар.
    Полугруппы и комбинаторные приложения / Ж. Лаллеман ; ред. Л. Н. Шеврин ; пер. с англ. И. О. Коряков. - Москва : Мир, 1985. - 440 с. : ил. - Библиогр.: с. 409-428. - Указ. обозначений: с. 429-432. - Указ. терминов: с. 433-436. - 2.80 р., 2.80 р.
ГРНТИ
27.43
УДК
519
Рубрики: Теория вероятностей. Математическая статистика
Кл.слова (ненормированные):
алгебраическая теория полугрупп -- дискретная математика -- автоматов теория -- формальные языки


Доп.точки доступа:
Шеврин, Лев Наумович \ред.\; Коряков, И. О. \пер. с англ.\
Экземпляры всего: 2
АБН (1), Х (1)
Свободны: АБН (1), Х (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 26.06.2024
Число запросов 18695
Число посетителей 550
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)