Normal view
MARC view
Математическая логика (Record no. 1127200)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 06542nam a2200841 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | koha001127200 |
| 005 - Дата корректировки | |
| Контрольное поле | 20240202103045.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 160919s2023 RU y fop 000 0 rus0d |
| 020 ## - Индекс ISBN | |
| ISBN | 978-5-534-01114-2 |
| Цена, тираж | 929.00 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | koha001127200 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | ИКО Юрайт |
| Код языка каталог. | rus |
| Служба, преобразующая запись | ИКО Юрайт |
| 041 0# - Код языка издания | |
| Код языка текста | rus |
| 044 ## - Код страны публикации | |
| Код страны публикации | RU |
| 073 #1 - | |
| -- | 9785534011142 |
| -- | 929.00 |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6(075.8) |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 22.12я73 |
| Источник индекса | rubbk |
| 091 ## - Индексы/коды | |
| Индекс ББК | 22.12я73 |
| -- | rubbk |
| 100 1# - Автор | |
| Автор | Скорубский В. И. |
| Полное имя | Владимир Иванович |
| 9 (RLIN) | 947939 |
| 230 ## - | |
| -- | Электрон. дан. |
| 245 00 - Заглавие | |
| Заглавие | Математическая логика |
| Продолж. заглавия | учебник и практикум |
| Ответственность | В. И. Скорубский, В. И. Поляков, А. Г. Зыков. |
| 260 1# - Выходные данные | |
| Место издания | Москва |
| Издательство | Юрайт |
| Дата издания | 2023 |
| 300 ## - Физическое описание | |
| Объем | 211 с |
| 440 #0 - Серия | |
| Серия | Высшее образование |
| 9 (RLIN) | 55444 |
| 500 ## - Примечания | |
| Примечание | URL: https://urait.ru/bcode/511996 (дата обращения: 31.01.2024). |
| 520 ## - Аннотация | |
| Аннотация | В курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. |
| 538 ## - Примечание о системных особенностях | |
| Примечание о системных особенностях | Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей |
| 653 2# - Ключевые слова | |
| Ключевые слова | Логика |
| 653 2# - Ключевые слова | |
| Ключевые слова | Общественные науки |
| 653 2# - Ключевые слова | |
| Ключевые слова | Дискретная математика и математическая логика |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и теория алгоритмов |
| 653 2# - Ключевые слова | |
| Ключевые слова | Дополнительные главы дискретной математики, математической логики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика |
| 653 2# - Ключевые слова | |
| Ключевые слова | Теория графов и математическая логика |
| 653 2# - Ключевые слова | |
| Ключевые слова | дискретная математика, математическая логика и их приложения в информатике и компьютерных науках |
| 653 2# - Ключевые слова | |
| Ключевые слова | Логика и алгоритмы |
| 653 2# - Ключевые слова | |
| Ключевые слова | Логика и математика для дошкольников |
| 653 2# - Ключевые слова | |
| Ключевые слова | Формирование логико-математических представлений |
| 653 2# - Ключевые слова | |
| Ключевые слова | Современные проблемы математической логики и теории алгоритмов |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика, теория графов и алгоритмов |
| 653 2# - Ключевые слова | |
| Ключевые слова | Основы математической логики и теории алгоритмов |
| 653 2# - Ключевые слова | |
| Ключевые слова | Основы логики и теории графов |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и формальные языки |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и теория графов |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и теория алгоритм |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика в обучении математики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Элементы математической логики и теории алгоритмов в школьном курсе математики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Алгебра и математическая логика |
| 653 2# - Ключевые слова | |
| Ключевые слова | Прикладная теория алгоритмов и математической логики в вычислительной технике |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и дискретная математика |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и теория алгоритмов Высшей математики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Прикладная математика и математическая логика |
| 653 2# - Ключевые слова | |
| Ключевые слова | Основы математической логики и теория множеств |
| 653 2# - Ключевые слова | |
| Ключевые слова | Основы математической логики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Основы математической логики и информатики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Элементы математической логики и теории множеств |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и теория |
| 653 2# - Ключевые слова | |
| Ключевые слова | Основы цифровых устройств и математическая логика |
| 653 2# - Ключевые слова | |
| Ключевые слова | Логика высказываний и булевы алгебры |
| 653 2# - Ключевые слова | |
| Ключевые слова | Функции алгебры логики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Теория и методика логико-математического развития детей |
| 653 2# - Ключевые слова | |
| Ключевые слова | Специальные разделы математической логики |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и конечные автоматы |
| 653 2# - Ключевые слова | |
| Ключевые слова | Математическая логика и теория алгоритмов в машиностроении |
| 653 2# - Ключевые слова | |
| Ключевые слова | Введение в математическую логику |
| 653 2# - Ключевые слова | |
| Ключевые слова | Применение математической логики в системах управления |
| 653 2# - Ключевые слова | |
| Ключевые слова | Логика и дискретная математика |
| 700 1# - Другие авторы | |
| Другие авторы | Поляков В. И. |
| Полное имя | Владимир Иванович |
| 9 (RLIN) | 947940 |
| 700 1# - Другие авторы | |
| Другие авторы | Зыков А. Г. |
| Полное имя | Анатолий Геннадьевич |
| 9 (RLIN) | 947941 |
| 856 40 - Электронный адрес документа | |
| Примечание | Юрайт |
| -- | Электронная книга |
| Тип электронного формата | html |
| Имя пользователя | ЮРАЙТ |
| Часы доступа к ресурсу | 20241219 |
| Способ доступа | Показать документ |
| URL | <a href="https://urait.ru/bcode/511996">https://urait.ru/bcode/511996</a> |
| 856 41 - Электронный адрес документа | |
| Тип электронного формата | cover |
| URL | <a href="https://urait.ru/book/cover/D5FDDEE0-0543-4ABD-B5BB-53F02B764E82">https://urait.ru/book/cover/D5FDDEE0-0543-4ABD-B5BB-53F02B764E82</a> |
| 910 ## - Внешние ресурсы | |
| Внешние ресурсы | ЭБС Юрайт |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 1127200 |
No items available.