010 ## - ISBN |
Номер ISBN |
978-5-906818-74-4 |
Уточнения |
Курс) (в переплете |
|
Номер ISBN |
978-5-16-012180-2 |
Уточнения |
Инфра-М |
035 ## - Идентификатор записи другой системы |
Контрольный номер системы |
(BY-MI0000)BY-CNB-br5255935 |
100 ## - Данные общей обработки |
Данные общей обработки |
20200924d2020 f y0rusy50 ca |
101 0# - Язык документа |
Язык текста, звукозаписи и т.д. |
rus |
102 ## - Страна публикации или производства |
Страна публикации |
RU |
105 ## - Поле кодированных данных: текстовые документы – монографические |
Кодированные данные о текстовом документе, описываемом на монографическом или аналитическом уровне |
a j 000yy |
109 ## - Поле кодированных данных: вид / характер текстовых документов |
Коды вида / характера документа |
ga |
200 1# - Заглавие и сведения об ответственности |
Основное заглавие |
Математическая логика и теория алгоритмов |
Сведения, относящиеся к заглавию |
учебник [для студентов высших учебных заведений] |
Первые сведения об ответственности |
А. В. Пруцков, Л. Л. Волкова |
210 ## - Публикация, распространение и т. д. |
Место издания, распространения и т.д. |
Москва |
Имя издателя, распространителя и т. д. |
Курс |
-- |
Инфра-М |
Дата издания, распространения и т.д. |
2020 |
215 ## - Физическая характеристика |
Обозначение специфического вида материала и физической характеристики документа или его составных частей |
150, [1] с. |
Другие уточнения физических характеристик |
ил., табл. |
Размеры |
22 см |
320 ## - Примечание о наличии в документе библиографии или указателя |
Текст примечания |
Библиография: с. 143—147 (59 назв.) |
345 ## - Примечание, относящееся к информации о комплектовании |
Тираж |
100 экз. |
606 ## - Наименование темы, используемое как предмет |
Начальный элемент ввода |
ЛОГИКА ВЫСКАЗЫВАНИЙ |
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar2933221 |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
|
Начальный элемент ввода |
ЛОГИКА ПРЕДИКАТОВ |
Идентификатор авторитетной / нормативной записи |
BY-SEK-ar4180865 |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
|
Начальный элемент ввода |
АЛГОРИТМЫ (мат., информатика) |
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar2145 |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
|
Начальный элемент ввода |
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ |
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar16600 |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
|
Начальный элемент ввода |
ПРОГРАММНАЯ ИНЖЕНЕРИЯ |
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar1584445 |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
|
Начальный элемент ввода |
ПРИКЛАДНАЯ ИНФОРМАТИКА |
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar25496 |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
|
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar17284 |
Начальный элемент ввода |
МАТЕМАТИЧЕСКАЯ ЛОГИКА |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
|
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar2149 |
Начальный элемент ввода |
АЛГОРИТМОВ ТЕОРИЯ |
Код системы предметизации или авторитетного / нормативного файла |
DVNLB |
608 ## - Форма (вид), жанр, физические характеристики документа |
Идентификатор авторитетной / нормативной записи |
BY-NLB-ar2266631 |
Начальный элемент ввода |
УЧЕБНИК ДЛЯ ВУЗОВ |
Код системы предметизации или авторитетного / нормативного файла |
BYGNR |
686 ## - Индексы других классификаций |
Индекс |
22.12я73 |
Код классификации |
rubbk |
690 ## - Локальный рубрикатор библиографирующего учреждения |
Начальный элемент ввода (или индекс) |
1 |
Код библиографирующего учреждения |
BY-MI0000 |
Код системы |
Base |
Тематический подзаголовок (или индекс) |
RSEK |
700 #1 - Имя лица - первичная ответственность |
Идентификатор авторитетной / нормативной записи |
BY-SEK-566887 |
Начальный элемент ввода |
Пруцков |
Часть имени, кроме начального элемента ввода |
А. В. |
Код отношения |
070 |
701 #1 - Имя лица — альтернативная ответственность |
Начальный элемент ввода |
Волкова |
Часть имени, кроме начального элемента ввода |
Л. Л. |
Код отношения |
070 |
801 #0 - Источник происхождения записи |
Страна |
BY |
Библиографирующее учреждение |
|
Дата составления |
20200929 |
Правила каталогизации |
RCR |
|
Страна |
BY |
Библиографирующее учреждение |
|
Дата составления |
20201130 |
Правила каталогизации |
psbo |
899 #0 - Данные о местонахождении (устаревшее) |
Идентификатор организации |
|
Часть, характеризующая документ |
П853 |
Классификационная часть шифра |
22.12 |
999 ## - Лица – составители записи |
Дата выполнения работы |
20210218 |
Комплектатор |
476 |
Дата выполнения работы |
20201130 |
-- |
20210317 |