10% chegirma bering
Maslahat bering ushbu kitobni do'stingiz sotib olganidan 7 763,10 soʻm oling.
Основной контент книги Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.
Matn PDF
Hajm 206 sahifalar
2023 yil
Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.
1
77 630,90 s`om
Kitob haqida
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические
навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Для студентов вузов, обучающихся по специальностям "Программное обеспечение вычислительной техники и автоматизированных систем", "Математическое обеспечение и администрирование информационных систем" и специальностям направления "Информатика и
вычислительная техника" дневной и заочной форм обучения.
Janrlar va teglar
Avval ommaboplar
В ряду современных учебников появилась книга по введению в дискретную математику и теорию алгоритмов.
К чести авторов надо признать, что за последние полвека эта книга является примерно сотой или более попыткой дать изложение основ теории, которую так не любят изучать студенты младших курсов. Практических примеров сравнительно немного, к теории Поста дано только введение. Анализа алгоритмов практически нет. Лекционный план отсутствует, нет плана рекомендуемых упражнений, точнее - они вынесены как приложения. К сожалению, книга не дает достаточного представления и о других вопросах, входящих в рекомендованную программу учебных предметов. Упоминание языка Пролог тоже сделано вскользь - современные представления ушли заметно дальше предполагающихся для тезисного изучения набора вопросов. В конечном тезисе введения авторы немного промахнулись, такую книгу считать "вопросами оснований математики и теории доказательств", считать практически нельзя.
Kirish, kitobni baholash va sharh qoldirish
Kitob Дмитрия Валерьевича Гринченкова, Сергея Ивановича Потоцкого «Математическая логика и теория алгоритмов для программистов. (Бакалавриат, Специалитет). Учебное пособие.» — veb-saytda onlayn o'qing. Fikr va sharhlar qoldiring, sevimlilarga ovoz bering.
Yosh cheklamasi:
0+Litresda chiqarilgan sana:
17 dekabr 2022Yozilgan sana:
2023Hajm:
206 Sahifa ISBN:
9785406091388Umumiy o'lcham:
3.0 МБUmumiy sahifalar soni :
206Mualliflik huquqi egasi:
КноРус
Izohlar, 1 izoh1