| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | RU/IS/BASE/315323385 | ||
| 005 | Дата корректировки | 20150513113612.5 | ||
| 020 | a | ISBN | 978-5-406-00120-2 | |
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 080 | a | Индекс УДК | 510.6(075.8) | |
| 080 | a | Индекс УДК | 510.5(075.8) | |
| 084 | a | Индекс другой классификации/Индекс ББК | В122я73-1 | |
| a | Индекс другой классификации/Индекс ББК | В127я73-1 | ||
| 090 | a | Полочн. индекс | В122 | |
| x | Авторский знак | Г 85 | ||
| 100 | 1_ | a | Автор | Гринченков Дмитрий Валерьевич |
| q | Полное имя | Гринченков Д. В. | ||
| 245 | a | Заглавие | Математическая логика и теория алгоритмов для программистов | |
| b | Продолж. заглавия | учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" | ||
| 260 | a | Место издания | Москва | |
| b | Издательство | КноРус | ||
| c | Дата издания | 2010 | ||
| 300 | a | Объем | 206 с. | |
| b | Иллюстрации/ тип воспроизводства | ил., табл. | ||
| 504 | a | Библиография | Библиогр.: с. 205-206 (24 назв.) | |
| 520 | a | Аннотация | Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации. Для студентов вузов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 010503 "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и вычислительная техника" дневной и заочной форм обучения. | |
| 650 | a | Основная рубрика | Математическая логика | |
| x | Основная подрубрика | Учебники для вузов | ||
| 650 | 14 | a | Основная рубрика | Алгоритмы |
| x | Основная подрубрика | Теория | ||
| 653 | a | Ключевые слова | Алгоритмы | |
| a | Ключевые слова | Математическая логика | ||
| a | Ключевые слова | Теория алгоритмов | ||
| 700 | a | Другие авторы | Потоцкий Сергей Иванович | |
| q | Полное имя | Потоцкий, С. И. | ||
| 910 | a | гриф есть* | ||
| 920 | a | Оператор | Густ | |
| 930 | a | Новая/Ретро | учебники | |
| 952 | c | Вид литературы | К ру | |
| 954 | a | Дата поступления на обработку | 20100120 |