Математическая логика и теория алгоритмов для программистов: учебное пособие

מידע ביבליוגרפי
מחבר ראשי:	Гринченков Д. В. Дмитрий Валерьевич
מחברים אחרים:	Потоцкий С. И. Сергей Иванович
סיכום:	Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальх моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
שפה:	רוסית
יצא לאור:	Москва, КноРус, 2010
נושאים:	Математическая логика Алгоритмы, теория теория множеств булевы алгебры алгебра логики логические функции математическая логика предикаты логика нечеткие множества логическое программирование задачи решение учебные пособия
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=179412

פריטים דומים