Normal view
MARC view
Задачи и упражнения по математической логике и теории алгоритмов (Record no. 213677)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03685nam a2200685 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000207779 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922014240.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 120827s2005 ru a b 000 0 rus d |
| 020 ## - Индекс ISBN | |
| ISBN | 5769513640 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000207779 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6(076.2)(075.8) |
| 100 1# - Автор | |
| Автор | Игошин, Владимир Иванович |
| 9 (RLIN) | 130451 |
| 245 10 - Заглавие | |
| Заглавие | Задачи и упражнения по математической логике и теории алгоритмов |
| Продолж. заглавия | [учебное пособие для вузов по специальности 032100 "Математика"] |
| Ответственность | В. И. Игошин |
| 260 ## - Выходные данные | |
| Место издания | М. |
| Издательство | Академия |
| Дата издания | 2005 |
| 300 ## - Физическое описание | |
| Объем | 302, [1] с. |
| 490 1# - Серия | |
| Заглавие серии | Высшее профессиональное образование |
| 490 1# - Серия | |
| Заглавие серии | Педагогические специальности |
| 504 ## - Библиография | |
| Библиография | Библиогр.: с. 301 |
| 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 ## - Ключевые слова | |
| Ключевые слова | функции рекурсивные |
| 653 ## - Ключевые слова | |
| Ключевые слова | предикаты рекурсивные |
| 653 ## - Ключевые слова | |
| Ключевые слова | оператор минимизации |
| 653 ## - Ключевые слова | |
| Ключевые слова | Маркова нормальные алгоритмы |
| 830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
| Унифицированное заглавие | Высшее профессиональное образование |
| Название части/раздела работы | Педагогические специальности |
| 9 (RLIN) | 74489 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 510 |
| Авторский знак | И268 |
| Код страны | ru |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | учебник |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 213677 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра | Номер копии |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 315.00 | 1-963423 | 13820000619958 | 1 месяц | |||||
| Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 273.60 | 1-931261к | 13820000499328 | Выдается в читальный зал | 1 | ||||
| Научная библиотека ТГУ | Читальный зал 5 | 03/04/2021 | 273.60 | 510 И268 | 13820000499329 | 1 неделя | 2 |