681 Ф 94 Фу, К. Структурные методы в распознавании образов : Пер.с англ. / Под ред.М.А.Айзермана. - М. : Мир, 1977. - 320с. - 4 р.
Рубрики: Распознавание образов Кл.слова (ненормированные): Формальные языки -- Распознавание образов -- Языки программирования -- Математическая лингвистика Экземпляры всего: 2 Х (1), ВЦ (1) Свободны: Х (1), ВЦ (1) |
681 О-549 Оллонгрен, А. Определение языков программирования интерпретирующими автоматами : перевод с английского / А. Оллонгрен ; ред. В. Ш. Кауфман. - Москва : Мир, 1977. - 288 с. - 3.50 р., 3.50 р., 1.20 р.
Рубрики: Программирования языки Кл.слова (ненормированные): Венский метаязык -- Языки программирования -- Программирование системное -- Формальные языки Доп.точки доступа: Кауфман, В. Ш. \ред.\ Экземпляры всего: 3 Х (1), АБН (2) Свободны: Х (1), АБН (2) |
681 М 594 Миков, Александр Иванович. Информатика. Введение в компьютерные науки : учебное пособие для университетов по направлению "Прикладная математика и информатика" / А. И. Миков ; Министерство общего и профессионального образования РФ, Пермский государственный университет. - Пермь : [б. и.], 1998. - 210 с. : ил. - Библиогр.: с. 207. - ISBN 5-7944-0097-8 : 30.00 р., 30.00 р.
Кл.слова (ненормированные): АЛГОРИТМОВ ТЕОРИЯ -- РЕКУРСИВНЫЕ АЛГОРИТМЫ -- СЛОЖНОСТЬ АЛГОРИТМОВ -- ОПТИМИЗАЦИЯ АЛГОРИТМОВ -- СОРТИРОВКА МАССИВОВ -- СОРТИРОВКА ПОСЛЕДОВАТЕЛЬНЫХ ФАЙЛОВ -- ХЕШИРОВАНИЕ -- ФОРМАЛЬНЫЕ ЯЗЫКИ Доп.точки доступа: Министерство общего и профессионального образования РФ; Пермский государственный университет Экземпляры всего: 5 Х (1), АБУ (4) Свободны: Х (1), АБУ (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 р.
Кл.слова (ненормированные): АЛГОРИТМЫ (ТЕОРИЯ) -- РЕКУРСИВНЫЕ АЛГОРИТМЫ -- РЕКУРСИВНЫЕ ДАННЫЕ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- АРХИТЕКТУРА КОМПЬЮТЕРОВ Доп.точки доступа: Миков, Александр Иванович Экземпляры всего: 115 АБЗ (10), АБУ (103), Х (1), ЧЗЕ (1) Свободны: АБЗ (10), АБУ (103), Х (1), ЧЗЕ (1) |
519 П 254 Пентус, Анна Евгеньевна. Математическая теория формальных языков : учебное пособие / А. Е. Пентус, М. Р. Пентус. - Москва : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2006. - 247 с. : ил. - (Основы информатики и математики). - Библиогр.: с. 236-239. - ISBN 5-94774-512-7. - ISBN 5-9556-0062-0 : 234.00 р., 234.00 р., 234 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- АВТОМАТОВ ТЕОРИЯ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- МАТЕМАТИЧЕСКАЯ ЛИНГВИСТИКА Доп.точки доступа: Пентус, Мати Рейнович Экземпляры всего: 50 Х (1), ЧЗЕ (1), АБУ (48) Свободны: Х (1), ЧЗЕ (1), АБУ (48) |
1 Т 415 Тимофеева, Мария Кирилловна. Естественные и формальные языки: логико-философский анализ / М. К. Тимофеева ; Ин-т математики им. С. Л.Соболева, РАН. - Новосибирск : [б. и.], 2003. - 200 с. - Библиогр.: с. 192-198. - 80 р.
Рубрики: Философия Кл.слова (ненормированные): ФИЛОСОФИЯ И ЯЗЫК -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЯЗЫКИ ЕСТЕСТВЕННЫЕ -- ЯЗЫКИ ФОРМАЛЬНЫЕ Экземпляры всего: 2 Х (1), ЧЗГ (1) Свободны: Х (1), ЧЗГ (1) |
1 В 201 Васюков, Владимир Леонидович. Формальная онтология / В. Л. Васюков ; Рос. акад. наук, Ин-т философии. - Москва : Ин-т философии РАН, 2006. - 140 с. - ISBN 978-5-9540-0065-8 : 80 р.
Рубрики: Онтология формальная Кл.слова (ненормированные): ФОРМАЛЬНАЯ ОНТОЛОГИЯ -- МЕТАФИЗИКА -- ОНТОЛОГИКА -- ФОРМАЛЬНЫЕ ЯЗЫКИ Доп.точки доступа: Российская академия наук; Институт философии Экземпляры всего: 1 Х (1) Свободны: Х (1) |
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 р.
Кл.слова (ненормированные): формальные языки -- синтаксис -- история информатики -- семантика -- алгоритмические языки Аннотация: Блочная структура и динамическое распределение памяти. Доп.точки доступа: Гооз, Герхард; Валиев, М. К. \пер.\; Кербель, В. Г. \пер.\; Ершов, А. П. \ред.\ Экземпляры всего: 2 ЧЗЕ (1), АБУ (1) Свободны: ЧЗЕ (1), АБУ (1) |
517 И 889 Исследования по неклассическим логикам и теории множеств / Академия наук СССР, Государственный Комитет Совета Министров СССР по науке и технике, ; Академия наук СССР, Государственный Комитет Совета Министров СССР по науке и технике, . - Москва : Наука, 1979. - 346 с. - Библиогр. в конце ст. - 2.10 р., 2.10 р.
Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ЛОГИКА (ИНТУИЦИОНИСТСКАЯ) -- ЛОГИКИ (МОДАЛЬНЫЕ) -- ЛОГИКИ (МНОГОЗНАЧНЫЕ) Доп.точки доступа: Михайлов, А. И. \ред.\; Академия наук СССРГосударственный Комитет Совета Министров СССР по науке и технике Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |
519 Л 203 Лаллеман, Жерар. Полугруппы и комбинаторные приложения / Ж. Лаллеман ; ред. Л. Н. Шеврин ; пер. с англ. И. О. Коряков. - Москва : Мир, 1985. - 440 с. : ил. - Библиогр.: с. 409-428. - Указ. обозначений: с. 429-432. - Указ. терминов: с. 433-436. - 2.80 р., 2.80 р.
Кл.слова (ненормированные): алгебраическая теория полугрупп -- дискретная математика -- автоматов теория -- формальные языки Доп.точки доступа: Шеврин, Лев Наумович \ред.\; Коряков, И. О. \пер. с англ.\ Экземпляры всего: 2 АБН (1), Х (1) Свободны: АБН (1), Х (1) |