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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

Найдено в других БД:

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

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

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

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

Поисковый запрос: (<.>K=логика<.>)

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

1-20 21-40 41-60 61-80 81-100 101-120

(Свободных экземпляров нет)
Шифр: И271191/2011/8
2011г.8

Содержание:
Ходашинский, Илья Александрович. Идентификация параметров нечетких систем на основе адаптивного алгоритма роящихся частиц / И. А. Ходашинский, Д. С. Синьков
Масликов, В. И. Универсальная система категорических суждений силлогистики / В. И. Масликов. - С.6-12
Кл.слова: логика, алгебра, нейросети
Садыков, С. С. Идентификация реальных плоских объектов на основе единственного признака точек их внешних контуров / С. С. Садыков, С. В. Савичева. - С.13-16
Кл.слова: изображения, кривизна, контуры
Бобков, В. А. Реализация алгоритма построения карт глубин на графических процессорах / В. А. Бобков, Ю. И. Роньшин. - С.17-22
Кл.слова: изображения, окна, сопоставление
Гулаков, В. К. Эффективный алгоритм преобразования полноцветного изображения к палитре для систем поиска по содержанию / В. К. Гулаков, А. О. Трубаков. - С.22-28
Кл.слова: системы, пространства, трансформация
Беляков, С. Л. Геоинформационный сервис ситуационного центра / С. Л. Беляков, М. Л. Белякова, Д. С. Самойлов. - С.29-32
Кл.слова: решения, запросы, ресурсы
Струченков, В. И. Динамическое программирование в проектировании трасс линейных сооружений / В. И. Струченков, А. Н. Козлов, А. С. Егунов. - С.33-36
Кл.слова: аппроксимация, ограничения, кривые
Кобзаренко, Д. Н. Особенности применения некоторых алгоритмов вычислительной геометрии в геоинформационных технологиях / Д. Н. Кобзаренко. - С.37-39
Кл.слова: графика, отрезки, пересечение
Львович, Я. Е. Исследование метода трассировки лучей при проектировании беспроводных систем связи / Я. Е. Львович, И. Я. Львович, А. П. Преображенский. - С.40-42
Кл.слова: застройка, корреляция, дифракция
Мощевикин, А. П. Локация в беспроводных сетях датчиков стандарта nanoLOC (IEEE 802.15.4a) / А. П. Мощевикин, А. С. Галов, А. С. Волков. - С.43-47
Кл.слова: системы, позиционирование, объекты
Гильманова, Н. А. Мультиметодный алгоритм трехмерной упаковки с регулируемым провисанием объектов в контейнере / Н. А. Гильманова. - С.48-54
Кл.слова: эвристика, комбинирование, объекты
Ковалевич, А. А. Исследование стохастических алгоритмов оптимизации для применения в имитационном моделировании систем / А. А. Ковалевич, А. И. Якимов, Д. М. Албкеират. - С.55-60. - рой
Кл.слова: отжиг, эволюция
Пащенко, В. Н. Исследование влияния типа конечных элементов на продолжительность и точность расчета температурных напряжений в среде ANSYSWorkbench / В. Н. Пащенко, В. А. Мартынюк, А. С. Моников. - С.61-63
Кл.слова: тела, сварка, деформации
Асадов, Х. Г. О возможности применения метода многоуровневой оптимизации для оптимальной информационной оценки разнообразия видов в экологических системах / Х. Г. Асадов, Е. Н. Алиева. - С.64-68
Кл.слова: исчисление, программирование, решения
Кузнецов, А. А. Системная связь между процессами ритма сердца и динамики систолического потенциала / А. А. Кузнецов. - С.69-74
Кл.слова: электрокардиограммы, зубцы, интервалы
Галкин, В. А. Информационное и программное обеспечение антимикробной фотодинамической терапии / В. А. Галкин, Ю. А. Белый, А. А. Кучеров. - С.74-78
Кл.слова: глаз, модели, фотографии
На вкладках: Королев В. И., Новиков А. А., Шарков А. Е. Электронное правительство: анализ, концептуальное представление, функциональные приложения
Все экземпляры списаны
Постоянная гиперссылка

(Свободных экземпляров нет)
Шифр: И271191/2012/2
2012г.2

Содержание:
Алекперов, Р. К. Создание распределенных вычислительных сред на основе технологии вычислительных сред на основе технологии вычислительных облаков / Р. К. Алекперов. - С.2-7
Кл.слова: компьютеры, нагрузки, распределения
Салибекян, С. М. Объектно-атрибутная архитектура новый подход у созданию объектных систем / С. М. Салибекян, П. Б. Панфилов. - С.8-13
Кл.слова: программирование, изоморфизмы, парадигмы
Докучаев, А. Н. Особенности диспетчеризации сверхлегких задач в мультипроцессорных системах реального времени / А. Н. Докучаев. - С.14-18
Кл.слова: эффекты, Далл, время
Норенков, И. П. Задачи обработки знаний на основе ролевой кластеризации онтологгий / И. П. Норенков, М. Ю. Уваров. - С.19-29
Кл.слова: классификация, документы, решения
Левков, А. А. Интеграция знаний и данных в больших информационных системах / А. А. Левков. - С.29-33
Кл.слова: модели, онтологии, логика
Бочков, М. В. Способ автоматического рубрицирования неконструктивной информации сети Интернет / М. В. Бочков, П. Н. Бойков. - С.34-36
Кл.слова: html, анализ, сингуляция
Меркушева, А. В. Структуры, методы и алгоритмы адаптивной фильтрации нестационарных сигналов / А. В. Меркушева, Г. Ф. Малыхина, В. М. Малыхин. - С.37-43
Кл.слова: схемы, сложности, алгоритмы
Воловиков, В. В. Моделирование теплового сопротивления при вынужденном конвективном теплообмене в каналах конструкций радиоэлектронной аппаратуры / В. В. Воловиков, А. В. Сарафанов. - С.44-48
Кл.слова: погрешность, сопротивление, конвекция
Бобиков, В. А. Визуализация динамики циклонов / В. А. Бобиков, С. В. Мельман, В. П. Май. - С.49-54
Кл.слова: шейдеры, анимация, аномалии
Мезенцев, Ю. А. К программной реализации декомпозиционного алгоритма решения одного класса задач дискретной оптимизации с полуопределенной релаксацией / Ю. А. Мезенцев, П. С. Павлов. - С.54-59
Кл.слова: алгоритмы, программирование, предприятия
Топка, В. В. Управление стоимостью проекта с учетом показания его надежности / В. В. Топка. - С.60-66
Кл.слова: оптимизация, сети, решения
Боровский, А. С. Метод обработки экспертной информации на основе нечетких гиперграфов для проектирования систем физической защиты / А. С. Боровский, А. Д. Тарасов. - С.67-72
Кл.слова: композиции, переменные, модели
Набибекова, Г. Ч. Применение OLAP-технологий в системах поддержки принятия решений в сфере внешней политики / Г. Ч. Набибекова. - С.73-76
Кл.слова: данные, возможности, хранилища
Барбасова, Т. А. Кодирование информации методом пропуска полупериодов сетевого напряжения в системах освещения / Т. А. Барбасова, Е. В. Вставская, В. И. Константинов. - С.76-78
Кл.слова: информация, энергии, управление
На вкладках: Стратегия развития современных суперкомпьютеров на пути к экзафлопным вычислениям
Все экземпляры списаны
Постоянная гиперссылка

16
А 135

    Абачиев, Сергей Константинович.
    Формальная логика с элементами теории познания [Текст] : учебник для вузов / С. К. Абачиев. - Ростов н/Д : Феникс, 2012. - 635 с. : ил. - (Высшее образование). - Библиогр.: с. 618. - Предм. указ.: с. 628. - ISBN 978-5-222-18656-5 : 550.00 р.

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

Кл.слова (ненормированные):
УЧЕБНИКИ -- СОВРЕМЕННАЯ ЛОГИКА -- СИЛЛОГИЗМЫ -- ФОРМАЛЬНАЯ ЛОГИКА -- ВЫСКАЗЫВАНИЯ -- СУЖДЕНИЯ -- УМОЗАКЛЮЧЕНИЯ

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

53
А 177

    Абушкин, Харис Хамзеевич.
    Методика проблемного обучения физике [Электронный ресурс] : учебное пособие для вузов / Х. Х. Абушкин ; рец. Л. В. Масленникова. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2023. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 169-173. - ISBN 978-5-534-09588-3 : Б. ц.

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

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

Доп.точки доступа:
Масленникова, Л. В. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/metodika-problemnogo-obucheniya-fizike-514984#page/1
Постоянная гиперссылка

330
А 178

    Абчук, Владимир Авраамович.
    Экономико-математические методы: Элементарная математика и логика. Методы исследования операций : монография / В. А. Абчук. - СПб. : СОЮЗ, 1999. - 320 с. : ил, табл... - Предм. указ.: с. 313-316. -Библиогр.: с. 317-318. - ISBN 5-87852-103-2 : 35.00 р.

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

Кл.слова (ненормированные):
экономико-математические методы -- математическая экономика

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

Шифр: А916739/2011/5
Журнал

Автоматизация и современные технологии : межотраслевой научно-технический журнал/ Министерство образования Российской Федерации (М.), Республиканский исследовательский научно-консультационный центр экспертизы. - М. : Машиностроение, 1947 - . - ISSN 0869-4931. - Выходит ежемесячно
2011г. N 5

Содержание:
Бобырь, М. В. Интеллектуальная система управления температурными деформациями при резании / М. В. Бобырь, В. С. Титов. - С.3-7
Кл.слова: оборудование, ЧПУ, нечёткая логика
Шарапов, Р. В. Построение поисковых систем на основе теории нечётких множеств / Р. В. Шарапов, Е. В. Шарапова. - С.8-10
Кл.слова: информационный поиск, поисковые запросы, матрица
Дьяков, И. Ф. Определение усталостного разрушения деталей при циклическом нагружении / И. Ф. Дьяков. - С.11-13
Кл.слова: энергозатраты, прогнозирование, ресурсы
Буренин, В. В. Новые конструкции воздушных фильтров для систем пневмоавтоматики и силового пневмопривода / В. В. Буренин. - С.14-19
Кл.слова: фильтры, очистка воздуха, приводы
Ронжин, Ан. Л. Технологии формирования аудиовизуального интерфейса системы телеконференций / Ан. Л. Ронжин, В. Ю. Будков, Ал. Л. Ронжин. - С.20-26
Кл.слова: web-приложения, мобильные устройства, интеллект
Смирнов, В. А. Точность численного решения нестационарной нелинейной задачи теплопроводности при плоском шлифовании периферией круга / В. А. Смирнов. - С.27-31
Кл.слова: клеточные автоматы, температурное поле, титановый сплав
Дивнич, П. Н. Распределённое управление пароснабжением промышленных потребителей на основе динамической программной модели / П. Н. Дивнич, Д. А. Шнайдер. - С.31-37
Кл.слова: аккумуляторы, математическая модель, цехи
Микляев, И. А. Разработка информационных систем на основе модели универсальной базы данных / И. А. Микляев, А. Н. Ундозерова, М. В. Кудаева. - С.38-41
Кл.слова: обработка информации, логические модели, СУБД
Петриченко, Г. С. Оценка приоритетности параметров технического состояния компьютерной сети предприятия / Г. С. Петриченко, Н. Ю. Нарыжная, М. Ю. Срур. - С.42-46
Кл.слова: компьютерные сети, потери информации, матрицы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

Шифр: А916739/2013/2
Журнал

Содержание:
Либерман, Я. Л. Система цифрового управления разгоном-торможением следящего привода / Я. Л. Либерман, К. Ю. Летнев. - С.3-6
Кл.слова: контроллеры, скорость, сигналы
Набатников, Ю. Ф. Моделирование сборки соединений деталей машин на ЭВМ / Ю. Ф. Набатников. - С.6-15
Кл.слова: точность, взаимозаменяемость, машиностроение
Юрин, А. Ю. Обоснование мероприятий по предотвращению повторных отказов на основе прецедентов и методов группового выбора / А. Ю. Юрин, Г. С. Малтугуева. - С.16-23
Кл.слова: технические системы, дата, наработка
Щербань, И. В. Обобщённая модель подвижного объекта для реализации тесной интеграции разнородных навигационных систем / И. В. Щербань, О. Г. Щербань, Д. С. Конев. - С.24-29
Кл.слова: транспортные средства, векторный вид, матрицы
Неусыпин, К. А. Методы коррекции навигационных систем беспилотных летательных аппаратов / К. А. Неусыпин, А. В. Пролетарский, Фан Кэ. - С.30-34
Кл.слова: модели ошибок, самоорганизация, генетические алгоритмы
Шемелин, В. К. Повышение достоверности диспетчерско-технологической информации по расходу газа с применением регрессионного анализа / В. К. Шемелин, А. В. Филипенков. - С.35-37
Кл.слова: контроль скорости, запись данных, проверка
Летовальцев, В. И. Алгоритмы формализации и интерпретации смысла текста на основе формальной семантики / В. И. Летовальцев. - С.38-43
Кл.слова: логика, обработка, слои
Аникеев, Е. А. Алгоритм поиска маршрута в транспортной сети с учётом вероятностных характеристик времени движения / Е. А. Аникеев, Н. Ю. Фёдоров. - С.44-47
Кл.слова: разрешение, запрет, кортеж
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка

681.3
А224


    Автоматизация проектирования сложных логических структур : монография / В. А. Горбатов, В. Ф. Демьянов, Г. Б. Кулиев и др. - М. : Энергия, 1978. - 352 с. : ил. - Библиогр.: с. 346-348. -Алф. указ.: с. 349-350. - (в пер.) : Б. ц.

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

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

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

378
А 226


    Авторские учебные программы по гуманитарным и социально-экономическим дисциплинам: философия, логика, социология, культурология : Для вузов / Институт "Открытое общество" ; Ред. В. И. Бахмин. - М. : Логос, 1998. - 208 с. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
378.147.21(073.8)
1(073.0)
16(073.8)
316(073.8)
008(073.8)
~РУБ 378

Кл.слова (ненормированные):
авторские учебные программы -- программы -- методика преподавания -- философия -- логика -- социология -- культурология
Доп.точки доступа:
Бахмин, В. И. \ред.\
Институт "Открытое общество"

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

10.

519
А391

    Акимов, Олег Евгеньевич.
    Дискретная математика: логика, группы, графы : учебное пособие / О. Е. Акимов. - 2-е изд., доп. - М. : Лаборатория Базовых Знаний, 2001. - 376 с. : ил. - (Технический университет). - ISBN 5-93208-025-6 : 145.00 р.

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

Кл.слова (ненормированные):
ДИСКРЕТНАЯ МАТЕМАТИКА -- ЛОГИКА -- группы -- ГРАФЫ -- конструктивизм -- МАТЕМАТИКА

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

11.

519
А 391

    Акимов, Олег Евгеньевич.
    Дискретная математика: логика, группы, графы / О. Е. Акимов. - 2-е изд., доп. - М. : Лаборатория Базовых Знаний, 2003. - 376 с. : ил. - (Технический университет. Математика). - 93.50 р.

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

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- математика -- логика -- группы -- графы -- конструктивизм

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

12.

510
А 456


    Алгебра, математическая логика, теория чисел, топология. [Текст] : сборник статей / Академия наук СССР, Математический институт им. В. А. Стеклова. - М. : Наука, 1984. - 256 с. - (Труды математического института им. В. А. Стеклова ; т. 168). - Б. ц.

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

Кл.слова (ненормированные):
ВЫСШАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- СБОРНИКИ
Доп.точки доступа:
Академия наук СССР. Математический институт им. В. А. Стеклова

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

13.

А
А 552

    Алшаиа, Хайдер Яхья Атоун.
    Метод и алгоритм обработки данных на основе идентификаторов в специализированном вычислительном устройстве [Текст] : автореф. дис. на соиск. ученой степ. канд. технических наук. Спец. 05.13.05 - Элементы и устройства вычислительной техники и систем управления / Х. Я. А. Алшаиа ; науч. рук. В. П. Добрица. - Курск : Юго-западный гос. ун-т, 2021. - 20 с. : рис. - Библиогр.: с. 18-20

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

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

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

14.

519
А 651

    Андерсон, Джеймс.
    Дискретная математика и комбинаторика : Пер. с англ. / Д. А. Андерсон ; пер. : М. М. Белова. - М. ; СПб. ; Киев : Вильямс, 2004. - 957[3] с. : ил., табл. - Библиогр.: с. 850-855. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 : 607.00 р.

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

Кл.слова (ненормированные):
учебные пособия -- дискретная математика -- комбинаторика -- математическая логика -- теория множеств -- теория графов -- теория алгоритмов -- теория чисел -- теория вероятностей -- алгебра -- теория вычислений
Доп.точки доступа:
Белова, М. М. \пер.\

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

15.

51
А 721

    Антипенко, Леонид Григорьевич.
    Проблема неполноты теории и её гносеологическое значение [Текст] : научное издание / Л. Г. Антипенко ; Академия наук СССР, Институт философии. - М. : Наука, 1986. - 224 с. - Б. ц.

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

Кл.слова (ненормированные):
ЛОГИКА -- МАТЕМАТИКА
Доп.точки доступа:
Академия наук СССР. Институт философии

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

16.

16
А 841

    Арно, Антуан.
    Логика, или Искусство мыслить, где помимо обычных правил содержатся некоторые новые соображения, полезные для развития способности суждения : Пер. с фр. / А. Арно, П. Николь ; пер. : В. П. Гайдамак ; Академия наук СССР, Институт философии. - М. : Наука, 1991. - 412[4] с. : ил. - (Памятники философской мысли). - Имен. указ.: с. 406-407 . - ISBN 5-02-008139-6 : Б. ц.

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

Кл.слова (ненормированные):
философия -- логика -- мыслительные способности
Доп.точки доступа:
Николь, Пьер
Гайдамак, В. П. \пер.\
Академия наук СССР
Институт философии

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

17.

51
А 872

    Архангельский, Александр Владимирович.
    Канторовская теория множеств [Текст] : научное издание / А. В. Архангельский. - М. : МГУ, 1988. - 112 с. - 06.00 р.

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

Кл.слова (ненормированные):
МАТЕМАТИКА -- ОСНОВАНИЯ -- ЛОГИКА

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

18.

    Архипова, А. Б.
    Система комплексной оценки качества педагогической деятельности [Текст] : доклад / А. Б. Архипова // Научная сессия ТУСУР-2011. - Томск : В-Спектр. - Ч. 6. - С. 153-155 : ил. - Библиогр. в конце ст.

    Коды, Ключ.слова, Доп.точки доступа

Кл.слова (ненормированные):
профессиональная деятельность -- нечеткая логика -- программное обеспечение

Полный текст/внешний ресурс (постраничный просмотр) : 2011_arhipova_270711.pdf или скачать

Постоянная гиперссылка

19.

681.3
А 955

   Ахо, Альфред
    Теория синтаксического анализа, перевода и компиляции : в 2 т.: пер. с англ. / А. В. Ахо, Дж. Д. Ульман. - М. : Мир, 1978 - .
   Т. 1 : Синтаксический анализ. - М. : Мир, 1978. - 612 с. : ил. - Библиогр.: с. 575-589. - Б. ц.

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

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

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

20.

519
Б 125

    Бабичева, Ирина Владимировна.
    Дискретная математика. Контролирующие материалы к тестированию [Электронный ресурс] : учебное пособие / И. В. Бабичева ; рец.: А. А. Колоколов, В. А. Далингер. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : табл., рис. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 156-157. - ISBN 978-5-8114-1456-7 : Б. ц.

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

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

Доп.точки доступа:
Колоколов, А. А. \рец.\
Далингер, В. А. \рец.\

Перейти к внешнему ресурсу https://reader.lanbook.com/book/211331#1
Постоянная гиперссылка

1-20 21-40 41-60 61-80 81-100 101-120

Статистика за 05.07.2024
Число запросов	162467
Число заказов	0

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