000 | 06542nam a2200841 4500 | ||
---|---|---|---|
001 | koha001127200 | ||
005 | 20240202103045.0 | ||
008 | 160919s2023 RU y fop 000 0 rus0d | ||
020 |
_a978-5-534-01114-2 _c929.00 |
||
035 | _akoha001127200 | ||
040 |
_aИКО Юрайт _brus _cИКО Юрайт |
||
041 | 0 | _arus | |
044 | _aRU | ||
073 | 1 |
_a9785534011142 _d929.00 |
|
080 | _a510.6(075.8) | ||
084 |
_a22.12я73 _2rubbk |
||
091 |
_a22.12я73 _zrubbk |
||
100 | 1 |
_aСкорубский В. И. _qВладимир Иванович _9947939 |
|
230 | _aЭлектрон. дан. | ||
245 | 0 | 0 |
_aМатематическая логика _bучебник и практикум _cВ. И. Скорубский, В. И. Поляков, А. Г. Зыков. |
260 | 1 |
_aМосква _bЮрайт _c2023 |
|
300 | _a211 с | ||
440 | 0 |
_aВысшее образование _955444 |
|
500 | _aURL: https://urait.ru/bcode/511996 (дата обращения: 31.01.2024). | ||
520 | _aВ курсе предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. | ||
538 | _aРежим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей | ||
653 | 2 | _aЛогика | |
653 | 2 | _aОбщественные науки | |
653 | 2 | _aДискретная математика и математическая логика | |
653 | 2 | _aМатематическая логика и теория алгоритмов | |
653 | 2 | _aДополнительные главы дискретной математики, математической логики | |
653 | 2 | _aМатематическая логика | |
653 | 2 | _aТеория графов и математическая логика | |
653 | 2 | _aдискретная математика, математическая логика и их приложения в информатике и компьютерных науках | |
653 | 2 | _aЛогика и алгоритмы | |
653 | 2 | _aЛогика и математика для дошкольников | |
653 | 2 | _aФормирование логико-математических представлений | |
653 | 2 | _aСовременные проблемы математической логики и теории алгоритмов | |
653 | 2 | _aМатематическая логика, теория графов и алгоритмов | |
653 | 2 | _aОсновы математической логики и теории алгоритмов | |
653 | 2 | _aОсновы логики и теории графов | |
653 | 2 | _aМатематическая логика и формальные языки | |
653 | 2 | _aМатематическая логика и теория графов | |
653 | 2 | _aМатематическая логика и теория алгоритм | |
653 | 2 | _aМатематическая логика в обучении математики | |
653 | 2 | _aЭлементы математической логики и теории алгоритмов в школьном курсе математики | |
653 | 2 | _aАлгебра и математическая логика | |
653 | 2 | _aПрикладная теория алгоритмов и математической логики в вычислительной технике | |
653 | 2 | _aМатематическая логика и дискретная математика | |
653 | 2 | _aМатематическая логика и теория алгоритмов Высшей математики | |
653 | 2 | _aПрикладная математика и математическая логика | |
653 | 2 | _aОсновы математической логики и теория множеств | |
653 | 2 | _aОсновы математической логики | |
653 | 2 | _aОсновы математической логики и информатики | |
653 | 2 | _aЭлементы математической логики и теории множеств | |
653 | 2 | _aМатематическая логика и теория | |
653 | 2 | _aОсновы цифровых устройств и математическая логика | |
653 | 2 | _aЛогика высказываний и булевы алгебры | |
653 | 2 | _aФункции алгебры логики | |
653 | 2 | _aТеория и методика логико-математического развития детей | |
653 | 2 | _aСпециальные разделы математической логики | |
653 | 2 | _aМатематическая логика и конечные автоматы | |
653 | 2 | _aМатематическая логика и теория алгоритмов в машиностроении | |
653 | 2 | _aВведение в математическую логику | |
653 | 2 | _aПрименение математической логики в системах управления | |
653 | 2 | _aЛогика и дискретная математика | |
700 | 1 |
_aПоляков В. И. _qВладимир Иванович _9947940 |
|
700 | 1 |
_aЗыков А. Г. _qАнатолий Геннадьевич _9947941 |
|
856 | 4 | 0 |
_nЮрайт _gЭлектронная книга _qhtml _hЮРАЙТ _v20241219 _2Показать документ _uhttps://urait.ru/bcode/511996 |
856 | 4 | 1 |
_qcover _uhttps://urait.ru/book/cover/D5FDDEE0-0543-4ABD-B5BB-53F02B764E82 |
910 | _aЭБС Юрайт | ||
999 | _c1127200 |