Normal view
MARC view
Лекции по математической логике и теории алгоритмов (Record no. 520422)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02439nmm a2200421 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000243895 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230319230219.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) | 879360 |
| 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.