Normal view
MARC view
Задачи и упражнения по математической логике и теории алгоритмов (Record no. 186085)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 03736nam a2200697 i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000419130 |
005 - Дата корректировки | |
Контрольное поле | 20210922003124.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 120830s2008 ru a b 000 0 rus d |
020 ## - Индекс ISBN | |
ISBN | 9785769552724 |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000419130 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
080 ## - Индекс УДК | |
Индекс УДК | 510.6(076.2)(075.8) |
100 1# - Автор | |
Автор | Игошин, Владимир Иванович |
9 (RLIN) | 130451 |
245 10 - Заглавие | |
Заглавие | Задачи и упражнения по математической логике и теории алгоритмов |
Продолж. заглавия | [учебное пособие для вузов по специальности 050201 "Математика"] |
Ответственность | В. И. Игошин |
250 ## - Сведения об издании | |
Основные сведения об издании | 4-е изд., стер. |
260 ## - Выходные данные | |
Место издания | Москва |
Издательство | Академия |
Дата издания | 2008 |
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 |
Полочный индекс | 51 |
Авторский знак | И269 |
Код страны | ru |
908 ## - Параметр входа данных | |
Параметр входа данных | учебник |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 186085 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра | Дата последней выдачи/возврата |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Читальный зал 5 | 03/04/2021 | 353.10 | 510 И269 | 13820000807175 | 1 неделя | |||||
Научная библиотека ТГУ | Абонемент | 03/04/2021 | 353.10 | 1 | 51 И269 | 13820000807176 | 6 месяцев | 10/04/2021 |