Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Лекции по дискретной математике (Record no. 215268)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 09840nam a2201969 i 4500
001 - Контрольный номер
Контрольное поле vtls000208575
005 - Дата корректировки
Контрольное поле 20210922014714.0
008 - Кодируемые данные
Контрольное поле постоянной длины 050127s2004 ru a 000 u rus
015 ## - Номер в национальной библиографии
Номер в национальной библиографии 60897
-- 04/40 (Книжная летопись)
017 ## - Номер регистрации авторского права или обязательного экземпляра
Номер государственной регистрации 04-54241
Организация, присвоившая номер RuMoRKP
020 ## - Индекс ISBN
ISBN 5941575467
035 ## - Системный контрольный номер
Системный контрольный номер (RU-RKP)ru04-061846RKP
040 ## - Источник каталогиз.
Служба первич. каталог. RU-RKP
Код языка каталог. rus
Служба, преобразующая запись RU-RKP
Организация, изменившая запись RU-ToGU
041 0# - Код языка издания
Код языка текста rus
080 ## - Индекс УДК
Индекс УДК 519.1(075.8)
084 ## - Индекс другой классификации/Индекс ББК
Индекс другой классификации/Индекс ББК 22.174я73
Источник индекса rubbkm
245 10 - Заглавие
Заглавие Лекции по дискретной математике
Продолж. заглавия [учебное пособие
Ответственность Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]
260 ## - Выходные данные
Место издания СПб.
Издательство БХВ-Петербург
Дата издания 2004
300 ## - Физическое описание
Объем 614 с.
Иллюстрации/тип воспроизводства ил.
Размеры 24 см.
504 ## - Библиография
Библиография Библиогр.: с. 611-614
650 #7 - Тематические рубрики
Основная рубрика дискретная математика
Источник рубрики RuMoRKP
9 (RLIN) 53491
653 ## - Ключевые слова
Ключевые слова учебные пособия для вузов
653 ## - Ключевые слова
Ключевые слова множества
653 ## - Ключевые слова
Ключевые слова декартово произведение множеств
653 ## - Ключевые слова
Ключевые слова отношения
653 ## - Ключевые слова
Ключевые слова отображения
653 ## - Ключевые слова
Ключевые слова Цермело-Френкеля аксиоматика
653 ## - Ключевые слова
Ключевые слова комбинаторный анализ
653 ## - Ключевые слова
Ключевые слова подмножества множества
653 ## - Ключевые слова
Ключевые слова перестановки упорядоченных множеств
653 ## - Ключевые слова
Ключевые слова размещения упорядоченных множеств
653 ## - Ключевые слова
Ключевые слова Ньютона бином
653 ## - Ключевые слова
Ключевые слова биномиальные коэффициенты
653 ## - Ключевые слова
Ключевые слова метод рекуррентных отношений
653 ## - Ключевые слова
Ключевые слова метод включения-исключения
653 ## - Ключевые слова
Ключевые слова метод производящих функций
653 ## - Ключевые слова
Ключевые слова алгебры универсальные
653 ## - Ключевые слова
Ключевые слова алгебры свободные
653 ## - Ключевые слова
Ключевые слова группоиды
653 ## - Ключевые слова
Ключевые слова полугруппы
653 ## - Ключевые слова
Ключевые слова абелевы группы
653 ## - Ключевые слова
Ключевые слова гомоморфизмы
653 ## - Ключевые слова
Ключевые слова алгебры конечные
653 ## - Ключевые слова
Ключевые слова алгебра термов
653 ## - Ключевые слова
Ключевые слова коммутативная полугруппа
653 ## - Ключевые слова
Ключевые слова векторные пространства
653 ## - Ключевые слова
Ключевые слова булевы алгебры
653 ## - Ключевые слова
Ключевые слова алгебраические структуры
653 ## - Ключевые слова
Ключевые слова алгебры многоосновные
653 ## - Ключевые слова
Ключевые слова Глушкова алгебра алгоритмов
653 ## - Ключевые слова
Ключевые слова полукольца
653 ## - Ключевые слова
Ключевые слова алгоритмы
653 ## - Ключевые слова
Ключевые слова рекурсивные функции
653 ## - Ключевые слова
Ключевые слова Черча тезис
653 ## - Ключевые слова
Ключевые слова алгоритмические проблемы
653 ## - Ключевые слова
Ключевые слова Поста машины
653 ## - Ключевые слова
Ключевые слова Тьюринга машины
653 ## - Ключевые слова
Ключевые слова Маркова алгоритмическая система
653 ## - Ключевые слова
Ключевые слова исчисление высказываний
653 ## - Ключевые слова
Ключевые слова формулы логики
653 ## - Ключевые слова
Ключевые слова формулы высказываний
653 ## - Ключевые слова
Ключевые слова система аксиом для исчисления высказываний
653 ## - Ключевые слова
Ключевые слова теорема дедукции
653 ## - Ключевые слова
Ключевые слова непротиворечивость исчисления высказываний
653 ## - Ключевые слова
Ключевые слова полнота исчисления высказываний
653 ## - Ключевые слова
Ключевые слова формулы исчисления высказываний
653 ## - Ключевые слова
Ключевые слова Куайна метод
653 ## - Ключевые слова
Ключевые слова метод редукции
653 ## - Ключевые слова
Ключевые слова Девиса-патнема метод
653 ## - Ключевые слова
Ключевые слова метод резолюций
653 ## - Ключевые слова
Ключевые слова исчисление предикатов первого порядка
653 ## - Ключевые слова
Ключевые слова формулы логики предикатов первого порядка
653 ## - Ключевые слова
Ключевые слова классификация логик
653 ## - Ключевые слова
Ключевые слова логики неклассические
653 ## - Ключевые слова
Ключевые слова алгебраические системы
653 ## - Ключевые слова
Ключевые слова графы
653 ## - Ключевые слова
Ключевые слова графы неориентированные
653 ## - Ключевые слова
Ключевые слова изоморфизм графов
653 ## - Ключевые слова
Ключевые слова подграфы
653 ## - Ключевые слова
Ключевые слова операции над графами
653 ## - Ключевые слова
Ключевые слова свойства графов
653 ## - Ключевые слова
Ключевые слова матрицы и графы
653 ## - Ключевые слова
Ключевые слова графы плоские
653 ## - Ключевые слова
Ключевые слова графы планарные
653 ## - Ключевые слова
Ключевые слова раскраска графов
653 ## - Ключевые слова
Ключевые слова деревья (теория графов)
653 ## - Ключевые слова
Ключевые слова циклы графа
653 ## - Ключевые слова
Ключевые слова графы ориентированные
653 ## - Ключевые слова
Ключевые слова орграфы
653 ## - Ключевые слова
Ключевые слова абстрактная теория автоматов
653 ## - Ключевые слова
Ключевые слова подавтоматы
653 ## - Ключевые слова
Ключевые слова гомоморфизмы автоматов
653 ## - Ключевые слова
Ключевые слова Мура автоматы
653 ## - Ключевые слова
Ключевые слова недетерминированные автоматы
653 ## - Ключевые слова
Ключевые слова автоматные отображения
653 ## - Ключевые слова
Ключевые слова автоматные системы событий
653 ## - Ключевые слова
Ключевые слова теория конечных автоматов
653 ## - Ключевые слова
Ключевые слова теорема теории конечных автоматов
653 ## - Ключевые слова
Ключевые слова анализ конечных автоматов
653 ## - Ключевые слова
Ключевые слова синтез конечных автоматов
653 ## - Ключевые слова
Ключевые слова алгоритм синтеза конечных автоматов
653 ## - Ключевые слова
Ключевые слова уравнения в алгебре событий
653 ## - Ключевые слова
Ключевые слова алгоритмы построения конгруэнтных замыканий
653 ## - Ключевые слова
Ключевые слова ациклические автоматы
653 ## - Ключевые слова
Ключевые слова модели алгоритмов
653 ## - Ключевые слова
Ключевые слова модели программ
653 ## - Ключевые слова
Ключевые слова магазинные автоматы
653 ## - Ключевые слова
Ключевые слова дискретные динамические системы
653 ## - Ключевые слова
Ключевые слова формальные грамматики
653 ## - Ключевые слова
Ключевые слова формальные языки
653 ## - Ключевые слова
Ключевые слова регулярные грамматики
653 ## - Ключевые слова
Ключевые слова классификация грамматик
653 ## - Ключевые слова
Ключевые слова праволинейные грамматики
653 ## - Ключевые слова
Ключевые слова леволинейные грамматики
653 ## - Ключевые слова
Ключевые слова контекстно-свободные грамматики
653 ## - Ключевые слова
Ключевые слова алгебры в компьютерных информационных технологиях
653 ## - Ключевые слова
Ключевые слова преобразования в векторных пространствах
653 ## - Ключевые слова
Ключевые слова реляционная алгебра
653 ## - Ключевые слова
Ключевые слова реляционная база данных
653 ## - Ключевые слова
Ключевые слова алгебраическая система списковых структур
653 ## - Ключевые слова
Ключевые слова множества списков
653 ## - Ключевые слова
Ключевые слова термы списков
653 ## - Ключевые слова
Ключевые слова операции над списками
653 ## - Ключевые слова
Ключевые слова теория автоматов в компьютерных информационных технологиях
653 ## - Ключевые слова
Ключевые слова теория графов в компьютерных информационных технологиях
653 ## - Ключевые слова
Ключевые слова универсальный программный автомат
653 ## - Ключевые слова
Ключевые слова идентификация слов
653 ## - Ключевые слова
Ключевые слова текстовые редакторы
653 ## - Ключевые слова
Ключевые слова гипертекст
653 ## - Ключевые слова
Ключевые слова компьютерная алгебра
653 ## - Ключевые слова
Ключевые слова Кнута-Бендикса алгоритм критической пары
653 ## - Ключевые слова
Ключевые слова Кнута-Бендикса алгоритм пополнения
653 ## - Ключевые слова
Ключевые слова подвыражения для свободных групп
653 ## - Ключевые слова
Ключевые слова канонизация для свободных групп
653 ## - Ключевые слова
Ключевые слова Холла теорема
653 ## - Ключевые слова
Ключевые слова трансверсали
653 ## - Ключевые слова
Ключевые слова латинские квадраты
653 ## - Ключевые слова
Ключевые слова Менгера теорема
653 ## - Ключевые слова
Ключевые слова потоки в сетях
653 ## - Ключевые слова
Ключевые слова методы поиска доказательств теорем в логике предикатов
653 ## - Ключевые слова
Ключевые слова логика предикатов
653 ## - Ключевые слова
Ключевые слова семантические деревья
653 ## - Ключевые слова
Ключевые слова Эрбрана теорема
653 ## - Ключевые слова
Ключевые слова метод резолюций
653 ## - Ключевые слова
Ключевые слова контрарные пары
653 ## - Ключевые слова
Ключевые слова подстановки (логика предикатов)
653 ## - Ключевые слова
Ключевые слова алгоритм унификации
653 ## - Ключевые слова
Ключевые слова логика предикатов первого порядка
653 ## - Ключевые слова
Ключевые слова правило поглощения (логика предикатов)
653 ## - Ключевые слова
Ключевые слова теория программных инвариантов
653 ## - Ключевые слова
Ключевые слова язык равенств
653 ## - Ключевые слова
Ключевые слова задачи теории программных инвариантов
653 ## - Ключевые слова
Ключевые слова алгоритмы поиска программных инвариантов
653 ## - Ключевые слова
Ключевые слова векторные пространства
653 ## - Ключевые слова
Ключевые слова коммутативные полугруппы
653 ## - Ключевые слова
Ключевые слова задачи по дискретной математике
700 1# - Другие авторы
Другие авторы Капитонова, Юлия Владимировна
9 (RLIN) 128470
700 1# - Другие авторы
Другие авторы Кривой, Сергей Лукьянович
9 (RLIN) 293441
700 1# - Другие авторы
Другие авторы Летичевский, Александр Адольфович
9 (RLIN) 213845
700 1# - Другие авторы
Другие авторы Луцкий, Георгий Михайлович
9 (RLIN) 293442
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
Полочный индекс 519.1
Авторский знак Л436
Код страны ru
900 ## - Макрообъекты
Доступ к макрообъекту rus
Titles and other words associated with a name a
Dates associated with a name m
908 ## - Параметр входа данных
Параметр входа данных учебник
920 ## -
-- 5-94157-546-7
-- в пер.
-- 3000 экз.
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 215268
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Номер копии Класс экземпляра
      Научная библиотека ТГУ Книгохранилище 03/04/2021 258.00   1-931613к 13820000501487 1 Выдается в читальный зал
      Научная библиотека ТГУ Читальный зал 5 03/04/2021 258.00   519.1 Л436 13820000501488 2 Выдается по месту хранения