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

Bibliografiske detaljer
Hovedforfatter:	Гринченков Д. В. Дмитрий Валерьевич
Andre forfattere:	Потоцкий С. И. Сергей Иванович
Summary:	Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальх моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Sprog:	russisk
Udgivet:	Москва, КноРус, 2010
Fag:	Математическая логика Алгоритмы, теория теория множеств булевы алгебры алгебра логики логические функции математическая логика предикаты логика нечеткие множества логическое программирование задачи решение учебные пособия
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=179412

Beskrivelse
Fysisk beskrivelse:	206 с.
Summary:	Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальх моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
ISBN:	9785406001202

Lignende værker