Normal view
MARC view
Математическая логика и теория алгоритмов (Record no. 424513)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03560nam a2200709 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000576678 |
| 005 - Дата корректировки | |
| Контрольное поле | 20220427135113.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 170531s2016 ru ac b 000 0ceng |
| 020 ## - Индекс ISBN | |
| ISBN | 9785971026297 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000576678 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.5/.6(075.8) |
| 100 1# - Автор | |
| Автор | Гуц, Александр Константинович |
| Дата | 1947- |
| 9 (RLIN) | 59865 |
| 245 10 - Заглавие | |
| Заглавие | Математическая логика и теория алгоритмов |
| Продолж. заглавия | [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] |
| Ответственность | А. К. Гуц |
| 250 ## - Сведения об издании | |
| Основные сведения об издании | Изд. 3-е, испр. |
| 260 ## - Выходные данные | |
| Место издания | Москва |
| Издательство | Ленанд |
| Дата издания | 2016 |
| 300 ## - Физическое описание | |
| Объем | 117 с. |
| Иллюстрации/тип воспроизводства | ил., портр. |
| 504 ## - Библиография | |
| Библиография | Библиогр.: с. 114-117 и в подстроч. примеч. |
| 600 14 - Персоналии | |
| Персоналии | Колмогоров, Андрей Николаевич |
| Даты жизни | 1903-1987 |
| 9 (RLIN) | 65705 |
| 600 14 - Персоналии | |
| Персоналии | Пост, Эмиль Леон |
| 9 (RLIN) | 348565 |
| 600 14 - Персоналии | |
| Персоналии | Тьюринг, Алан Мэтисон |
| Даты жизни | 1912-1954 |
| 9 (RLIN) | 105013 |
| 600 14 - Персоналии | |
| Персоналии | Васильев, Николай Александрович |
| 9 (RLIN) | 128551 |
| 600 14 - Персоналии | |
| Персоналии | Хоар, Чарльз |
| 9 (RLIN) | 348566 |
| 600 14 - Персоналии | |
| Персоналии | Вригт, Георг фон |
| 9 (RLIN) | 348567 |
| 600 14 - Персоналии | |
| Персоналии | Крипке, Сол |
| Даты жизни | 1940- |
| 9 (RLIN) | 75324 |
| 653 ## - Ключевые слова | |
| Ключевые слова | учебные пособия для вузов |
| 653 ## - Ключевые слова | |
| Ключевые слова | логика высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | логика предикатов |
| 653 ## - Ключевые слова | |
| Ключевые слова | метод резолюций |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление высказываний |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисление предикатов |
| 653 ## - Ключевые слова | |
| Ключевые слова | арифметика формальная |
| 653 ## - Ключевые слова | |
| Ключевые слова | логическое программирование |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | теория алгоритмов |
| 653 ## - Ключевые слова | |
| Ключевые слова | исчисления формальные |
| 653 ## - Ключевые слова | |
| Ключевые слова | логика нечеткая |
| 653 ## - Ключевые слова | |
| Ключевые слова | арифметика нечеткая |
| 653 ## - Ключевые слова | |
| Ключевые слова | логики модальные |
| 653 ## - Ключевые слова | |
| Ключевые слова | логики временные |
| 653 ## - Ключевые слова | |
| Ключевые слова | логики алгоритмические |
| 653 ## - Ключевые слова | |
| Ключевые слова | Крипке семантика |
| 653 ## - Ключевые слова | |
| Ключевые слова | Хоара логика алгоритмическая, аксиомы |
| 653 ## - Ключевые слова | |
| Ключевые слова | Васильева логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | Лукасевича логика трехзначная |
| 653 ## - Ключевые слова | |
| Ключевые слова | функции рекурсивные |
| 653 ## - Ключевые слова | |
| Ключевые слова | Тьюринга-Поста машина |
| 653 ## - Ключевые слова | |
| Ключевые слова | Маркова алгорифмы нормальные |
| 653 ## - Ключевые слова | |
| Ключевые слова | сложность алгоритмов |
| 653 ## - Ключевые слова | |
| Ключевые слова | виртуальная реальность, генератор |
| 653 ## - Ключевые слова | |
| Ключевые слова | логики неклассические |
| 653 ## - Ключевые слова | |
| Ключевые слова | логика интуиционистская |
| 653 ## - Ключевые слова | |
| Ключевые слова | логики временные |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмы эффективные |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмические проблемы неразрешимые |
| 653 ## - Ключевые слова | |
| Ключевые слова | Кантгоуту логически возможные среды |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмы реальности |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 51 |
| Авторский знак | Г977 |
| Код страны | ru |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | учебник |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 424513 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Читальный зал. Депозитарий | 05/04/2021 | 243.00 | 51 Г977 | 13820000955594 | 1 | 1 месяц | |||
| Научная библиотека ТГУ | Читальный зал 5 | 05/04/2021 | 243.00 | 51 Г977 | 13820000955595 | 2 | Выдается по месту хранения |