Normal view
MARC view
Сборник задач по математической логике и теории алгоритмов (Record no. 954776)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03501nam a22003971 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | koha000954776 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230128034855.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr bn uu|uu |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 211103s2018 ru | 000 0 rus d |
| 020 ## - Индекс ISBN | |
| ISBN | 9785906818089 |
| 020 ## - Индекс ISBN | |
| ISBN | 9785161036846 |
| 020 ## - Индекс ISBN | |
| ISBN | 9785160114293 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | koha000954776 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGUA |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGUA |
| Правила каталог. | PSBO |
| 080 ## - Индекс УДК | |
| Индекс УДК | 510.6(075.8) |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 22.12я73 |
| Источник индекса | rubbk |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 44.04.01 |
| Источник индекса | okso |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 44.04.04 |
| Источник индекса | okso |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 09.04.03 |
| Источник индекса | okso |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 09.03.03 |
| Источник индекса | okso |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 44.03.01 |
| Источник индекса | okso |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 44.03.04 |
| Источник индекса | okso |
| 100 1# - Автор | |
| Автор | Игошин, Владимир Иванович |
| 9 (RLIN) | 130451 |
| 245 10 - Заглавие | |
| Заглавие | Сборник задач по математической логике и теории алгоритмов |
| Физический носитель | [Электронный ресурс] |
| Продолж. заглавия | Учебное пособие |
| Ответственность | Саратовский государственный университет им. Н.Г. Чернышевского |
| 250 ## - Сведения об издании | |
| Основные сведения об издании | 1 |
| 260 ## - Выходные данные | |
| Место издания | Москва |
| Издательство | ООО "КУРС" |
| Дата издания | 2018 |
| 300 ## - Физическое описание | |
| Объем | 392 с. |
| 520 3# - Аннотация | |
| Аннотация | Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов: I. Содержательная логика высказываний; II. Булевы функции; III. Содержательная логика предикатов; IV. Формальные логические теории; V. Элементы теории алгоритмов. В каждом параграфе подробно рассматриваются разнообразные типовые примеры и даются многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебниках: Игошин В.И. Математическая логика: Учеб. пособие. М.: ИНФРА-М 2012. 399 с. +CD-R. (Высшее образование); Игошин В.И. Теория алгоритмов: Учеб. пособие. М.: ИНФРА-М 2012. 318 с. (Высшее образование). Для студентов университетов технических и педагогических вузов обучающихся как на уровне бакалавриата так и на уровне магистратуры по направлениям Математика Информатика Прикладная математика и информатика Математика и компьютерные науки Бизнес-информатика Математик-педагог Учитель математики. |
| 540 ## - Примечание об условиях использования и воспроизведения | |
| Terms governing use and reproduction | ВО - Бакалавриат |
| 650 #4 - Тематические рубрики | |
| Основная рубрика | Физико-математические науки |
| Основная подрубрика | Линейное программирование. Математическая логика |
| Источник рубрики | local |
| 9 (RLIN) | 661792 |
| 655 04 - Термин индексирования — жанр/форма | |
| Жанр/форма | Учебное пособие |
| Источник термина | local |
| 9 (RLIN) | 402040 |
| 856 4# - Электронный адрес документа | |
| Имя сервера/домена | znanium.com |
| Помощь | ebs_support@infra-m.ru |
| Примечание | НИЦ ИНФРА-М |
| URL | <a href="https://znanium.com/catalog/document?id=302246">https://znanium.com/catalog/document?id=302246</a> |
| Справочный текст | ЭБС Знаниум |
| 856 41 - Электронный адрес документа | |
| Имя сервера/домена | znanium.com |
| Путь | /cover/0907 |
| Электронное имя | 907471.jpg |
| Тип электронного формата | image/jpeg |
| URL | <a href="https://znanium.com/cover/0907/907471.jpg">https://znanium.com/cover/0907/907471.jpg</a> |
| Справочный текст | ЭБС Знаниум |
| 910 ## - Внешние ресурсы | |
| Внешние ресурсы | ЭБС Знаниум |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 954776 |
No items available.