Библиотека ТУСУРа

Базы данных

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

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

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

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

1.

510
К 824

    Криницкий, Николай Андреевич.
    Алгоритмы вокруг нас [Текст] / Н. А. Криницкий. - 2-е изд. - М. : Наука. Главная редакция физико-математической литературы, 1984. - 224 с. : рис., табл. - (Проблемы науки и технического прогресса). - 10.00 р., 01.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510
~РУБ 510

Кл.слова (ненормированные):
ОПРЕДЕЛЕНИЯ -- РАСПОЗНАВАНИЯ -- ПРОБЛЕМЫ -- ЭВМ -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- АНАЛИЗ -- АВТОМАТИЗАЦИЯ

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

2.

А
К 736

    Котов, Вадим Дмитриевич.
    Интеллектуальная система обнаружения вредоносных интернет-страниц на основе технологий машинного обучения [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.19 / В. Д. Котов ; науч. рук. В. И. Васильев ; Уфимский государственный авиационный технический университет (Уфа), кафедра вычислительной техники и защиты информации. - Уфа, 2013. - 16 с. : ил. - Библиогр.: с. 15-16

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.056.5(043.3)
~РУБ А

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

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

3.

16
Ц 342

    Целищев, Виталий Валентинович.
    Философские проблемы логики (семантические аспекты) : / В. В. Целищев, В. В. Петров. - М. : Высшая школа, 1984. - 126, [2] с. - Библиогр. в примеч. в конце глав. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
164.02
~РУБ 16

Кл.слова (ненормированные):
философия -- логика -- значение -- референция -- подстановочные системы -- формальные языки -- модальные логики -- семантика
Доп.точки доступа:
Петров, Василий Викторович

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

4.

519
Д 482


    Дискретная математика : Учебник для вузов / Е. М. Давыдова [и др.] ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра комплексной информационной безопасности электронно-вычислительных систем, Воронежский государственный технический университет. - 2-е изд., перераб. и доп. - Томск : В-Спектр, 2006. - 288 с. : ил. - Библиогр.: с. 287. - 86.40 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- теория множеств -- отношения -- логика высказываний -- логика предикатов -- Булевы функции -- нечеткие множества -- нечеткие отношения -- нечеткая логика -- комбинаторика -- кодирование -- графы -- формальные языки -- конечные автоматы
Доп.точки доступа:
Давыдова, Елена Михайловна
Леденева, Т. М.
Мещеряков, Роман Валерьевич
Подвальный, С. Л.
Министерство образования и науки Российской Федерации
Томский государственный университет систем управления и радиоэлектроники
Кафедра комплексной информационной безопасности электронно-вычислительных систем
Воронежский государственный технический университет

Имеются экземпляры в отделах: , счз1 (1 экз.), КИБЭВС (46)
Свободны: счз1 (1)
Постоянная гиперссылка

5.

681.3
П 212

    Паун, Георг.
    ДНК-компьютер. Новая парадигма вычислений : Пер. с англ. / Г. Паун, Г. Розенберг, А. Саломаа ; ред. пер. : М. В. Волков ; пер. : Д. С. Ананичев, И. С. Киселева, О. Б. Финогенова. - М. : Мир, 2004. - 527[1] с. : ил. - Библиогр.: с. 495-516. - Предм. указ.: с. 520-524. - ISBN 5-03-003480-3 : 530.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3:575
~РУБ 681.3

Кл.слова (ненормированные):
компьютеры -- днк-компьютеры -- молекулярная биология -- ДНК -- молекулярные вычисления -- формальные языки -- склейка -- Уотсона-Крика автоматы -- вставка -- удаление -- сплетение -- H-системы
Доп.точки доступа:
Розенберг, Гжегорж
Саломаа, Арто
Волков, М. В. \ред. пер.\
Ананичев, Д. С. \пер.\
Киселева, И. С. \пер.\
Финогенова, О. Б. \пер.\

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

6.

519
Р 355

    Рейуорд-Смит, В. Дж.
    Теория формальных языков. Вводный курс : Пер. с англ. / В. Дж. Рейуорд-Смит ; пер. Б. А. Кузьмин, ред. пер. Б. А. Шестаков. - М. : Радио и связь, 1988. - 124[1] с. : ил. - ISBN 5-256-00159-0 : 00.55 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.768.2
~РУБ 519

Кл.слова (ненормированные):
формальные языки -- алгоритмические языки -- математическое программирование
Доп.точки доступа:
Кузьмин, Б. А. \пер.\
Шестаков, Б. А. \ред. пер.\

Имеются экземпляры в отделах: , аунл (8 экз.), счз1 (1 экз.)
Свободны: аунл (8), счз1 (1)
Постоянная гиперссылка

7.

681.3
Б298

   Бауэр, Фридрих
    Информатика: Вводный курс : пер. с нем.: в 2 ч. / Ф. Л. Бауэр, Г. Гооз ; ред. А. П. Ершов. - 2-е изд., полностью перераб. и расшир. - М. : Мир, 1990 - . - ISBN 5-03-000298-7.
   Ч. 2. - М. : Мир, 1990. - 744 с. : ил. - Библиогр.: с. 681-684. -Предм. указ.: с. 704-733. - ISBN 5-03-002100-0 (в пер.) : 02.10 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.01
002.6
~РУБ 681.3

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

Имеются экземпляры в отделах: , аунл (5 экз.), счз1
Свободны: аунл (4)
Постоянная гиперссылка

8.

681.14
Б 298

    Бауэр, Фридрих.
    Информатика: Вводный курс : Пер. с нем. / Ф. Л. Бауэр, Г. Гооз ; пер. В. К. Сабельфельд ; ред. пер. А. П. Ершов. - М. : Мир, 1976. - 488 с. : ил. - Библиогр.: с. 460-463. -Алф. указ.: с. 445-478. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
002.6
~РУБ 681.14

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

Имеются экземпляры в отделах: аунл, счз1 (2 экз.)
Свободны: счз1 (2)
Постоянная гиперссылка

9.

681.3
Б298

    Бауэр, Фридрих.
    Информатика: Задачи и решения : Пер. с нем. / Ф. Л. Бауэр, Р. Гнац, У. Хилл ; пер.: М. К. Валиев, В. К. Сабельфельд ; ред. пер. А. П. Ершов. - М. : Мир, 1978. - 360 с. : ил. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
002.6(076)
~РУБ 681.3

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

Свободных экз. нет
Постоянная гиперссылка

10.

681.3
Г681

    Гордеев, Александр Владимирович.
    Системное программное обеспечение : Учебник для вузов / Александр Владимирович Гордеев, Алексей Юрьевич Молчанов. - СПб. : Питер, 2001 ; СПб. : Питер, 2002. - 736 с. : ил. - (Учебник). - Библиогр.: с. 719-724. - ISBN 5-272-00341-1 (в пер.) : 173.00 р., 173.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.066(075.8)
~РУБ 681.3

Кл.слова (ненормированные):
СРЕДЫ ПРОГРАММИРОВАНИЯ -- СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ -- формальные языки -- ОПЕРАЦИОННЫЕ СИСТЕМЫ -- УЧЕБНЫЕ ПОСОБИЯ
Доп.точки доступа:
Молчанов, Алексей Юрьевич

Имеются экземпляры в отделах: , аунл (40 экз.), счз1 (3 экз.)
Свободны: аунл (39), счз1 (3)
Постоянная гиперссылка

Стандартный

Расширенный

По словарю

Статистика за 15.06.2024
Число запросов	10273
Число заказов	0

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