Подробно MARC
| 000 -Маркер |
|---|
| Поле контроля фиксированной длины |
04438nam0a2200685 4500 |
| 005 - Идентификатор версии |
|---|
| Поле контроля фиксированной длины |
20231029174333.0 |
| 010 ## - Международный стандартный книжный номер (ISBN) |
|---|
| Номер (ISBN) |
5769513632 |
| Уточнения |
(в пер.) |
| -- |
5100 экз. |
| 021 ## - |
|---|
| -- |
RU |
| -- |
05-306 |
| -- |
05-16 |
| 035 ## - Другие системные номера |
|---|
| Идентификатор записи |
(RuTPU)RU\TPU\book\103056 |
| 100 ## - Данные общей обработки |
|---|
| Данные общей обработки |
20060511d2004 m y0rusy5002 ca |
| 101 0# - Язык ресурса |
|---|
| Язык текста, звукозаписи и т.д. |
русский |
| 102 ## - Страна публикации или производства |
|---|
| Страна публикации |
Россия |
| 105 ## - Поле кодированных данных: текстовые ресурсы, монографические |
|---|
| Кодированные данные о монографическом текстовом документе |
a j 001zy |
| 200 1# - Заглавие и сведения об ответственности |
|---|
| Основное заглавие |
Математическая логика и теория алгоритмов |
| Сведения, относящиеся к заглавию |
учебное пособие |
| Первые сведения об ответственности |
В. И. Игошин |
| 210 ## - Публикация, производство, распространение и т.д. |
|---|
| Место публикации, производства и/или распространения |
Москва |
| Имя издателя, производителя и/или распространителя |
Academia |
| Дата публикации, производства и/или распространения |
2004 |
| 215 ## - Физические характеристики |
|---|
| Сведения об объеме |
448 с. |
| Другие физические характеристики |
ил. |
| 225 1# - Серия |
|---|
| Основное заглавие серии |
Высшее профессиональное образование. Педагогические специальности |
| 320 ## - Примечания о наличии в ресурсе библиографии/указателя |
|---|
| Текст примечания |
Библиогр.: с. 435-442. |
| 330 ## - Резюме или реферат |
|---|
| Текст примечания |
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов. — М.: Изд. центр «Академия», 2004). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика», «Математик-педагог», «Учитель математики». |
| 451 #1 - Другое издание на аналогичном носителе |
|---|
| Идентификатор записи |
(RuTPU)RU\TPU\book\148282 |
| Международный стандартный книжный номер (ISBN) |
978-5-7695-5200-7 |
| Заглавие |
Математическая логика и теория алгоритмов |
| Сведения, относящиеся к заглавию |
учебное пособие |
| Первые сведения об ответственности |
В. И. Игошин |
| Сведения об издании |
3-е изд., стер. |
| Место публикации |
Москва |
| Имя издателя |
Академия |
| Дата публикации |
2008 |
| Сведения об объеме |
448 с. |
| Серия |
Высшее профессиональное образование. Педагогические специальности |
| Автор |
Игошин, Владимир Иванович |
| 606 ## - Наименование темы как предмет |
|---|
| Наименование темы |
Математическая логика |
| Источник данных |
stltpush |
| Идентификатор авторитетной/ нормативной записи |
(RuTPU)RU\TPU\subj\41205 |
| 606 ## - Наименование темы как предмет |
|---|
| Наименование темы |
Алгоритмы, теория |
| Источник данных |
stltpush |
| Идентификатор авторитетной/ нормативной записи |
(RuTPU)RU\TPU\subj\58912 |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
теория |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
алгебра |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
высказывания |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
формулы |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
логическое следование |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
булевы функции |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
множества |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
отношения |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
функции |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
ЭВМ |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
релейно-контактные схемы |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
формализованное исчисление |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
предикаты |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
логические операции |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
кванторные операции |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
неформальные аксиоматические теории |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
формальные аксиоматические теории |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
машины Тьюринга |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
рекурсивные функции |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
алгоритмы Маркова |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
теорема Геделя |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
компьютеры |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
информатика |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
искусственный интеллект |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
программное обеспечение |
| 610 1# - Неконтролируемые предметные термины |
|---|
| Предметный термин |
учебные пособия |
| 675 ## - Универсальная десятичная классификация (UDC/УДК) |
|---|
| Индекс |
510.6(075.8) |
| Издание |
3 |
| 675 ## - Универсальная десятичная классификация (UDC/УДК) |
|---|
| Индекс |
510.5(075.8) |
| Издание |
3 |
| 700 #1 - Имя лица – первичная ответственность |
|---|
| Начальный элемент ввода |
Игошин |
| Часть имени, кроме начального элемента ввода |
В. И. |
| Расширение инициалов личного имени |
Владимир Иванович |
| 801 #0 - Источник записи |
|---|
| Страна |
RU |
| Организация |
RKP |
| Дата составления |
20050214 |
| Правила каталогизации |
PSBO |
| 801 #1 - Источник записи |
|---|
| Страна |
RU |
| Организация |
63413507 |
| Дата составления |
20060511 |
| Правила каталогизации |
PSBO |
| 801 #2 - Источник записи |
|---|
| Страна |
RU |
| Организация |
63413507 |
| Дата составления |
20201201 |
| Правила каталогизации |
PSBO |
| 090 ## - System Control Numbers (Koha) |
|---|
| Koha biblioitem number (autogenerated) |
96259 |
| 900 ## - |
|---|
| -- |
Математика |
| 900 ## - |
|---|
| -- |
Теория алгоритмов и автоматов |
| 942 ## - Добавленные элементы ввода (Коха) |
|---|
| Тип документа |
Books |
| 952 ## - |
|---|
| -- |
010101 |