Normal view
MARC view
Лекции по математической логике и теории алгоритмов (Record no. 520422)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 02439nmm a2200421 i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000243895 |
005 - Дата корректировки | |
Контрольное поле | 20220613100739.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr | |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 131009s2007 ru s | rus d |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000243895 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
080 ## - Индекс УДК | |
Индекс УДК | 510.6(075.8) |
080 ## - Индекс УДК | |
Индекс УДК | 510.5(075.8) |
100 1# - Автор | |
Автор | Агибалов, Геннадий Петрович |
Дата | 1939-2020 |
9 (RLIN) | 53490 |
245 10 - Заглавие | |
Заглавие | Лекции по математической логике и теории алгоритмов |
Физический носитель | Электронный ресурс |
Продолж. заглавия | учебно-методический комплекс |
Ответственность | Агибалов Г. П. ; Том. гос. ун-т, Ин-т дистанционного образования |
256 ## - Характеристики компьютерного файла | |
Характеристики компьютерного файла | Электронные данные |
260 ## - Выходные данные | |
Место издания | Томск |
Издательство | ИДО ТГУ |
Дата издания | 2007 |
500 ## - Примечания | |
Примечание | Загл. с экрана |
520 ## - Аннотация | |
Аннотация | Учебно-методический комплекс (УМК) "Лекции по математической логике и теории алгоритмов" разработан в рамках инновационной образовательной программы ТГУ. |
538 ## - Примечание о системных особенностях | |
Примечание о системных особенностях | Систем. требования: Internet Explorer 5.0 или выше. |
653 ## - Ключевые слова | |
Ключевые слова | учебные пособия для вузов |
653 ## - Ключевые слова | |
Ключевые слова | электронные учебники |
653 ## - Ключевые слова | |
Ключевые слова | исчисление высказываний |
653 ## - Ключевые слова | |
Ключевые слова | исчисление предикатов |
653 ## - Ключевые слова | |
Ключевые слова | теория алгоритмов |
653 ## - Ключевые слова | |
Ключевые слова | математическая логика |
653 ## - Ключевые слова | |
Ключевые слова | тестовые задания |
653 ## - Ключевые слова | |
Ключевые слова | рекурсивные функции |
653 ## - Ключевые слова | |
Ключевые слова | Тьюринга машины |
653 ## - Ключевые слова | |
Ключевые слова | Маркова алгоритмы нормальные |
653 ## - Ключевые слова | |
Ключевые слова | формулы исчисления предикатов |
653 ## - Ключевые слова | |
Ключевые слова | формулы исчисления высказываний |
655 #4 - Термин индексирования — жанр/форма | |
Жанр/форма | учебные издания |
9 (RLIN) | 712764 |
710 2# - Другие организации | |
Организация/юрисдикция | Томский государственный университет |
Другие уровни | Институт дистанционного образования. |
9 (RLIN) | 73782 |
856 7# - Электронный адрес документа | |
URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243895">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243895</a> |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 520422 |
No items available.