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

Detalles Bibliográficos
Autor Principal:	Гринченков Д. В. Дмитрий Валерьевич
Outros autores:	Потоцкий С. И. Сергей Иванович
Summary:	Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальх моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
Publicado:	Москва, КноРус, 2013
Subjects:	теория множеств булевы алгебры алгебра логики логические функции математическая логика предикаты нечеткие множества логическое программирование задачи решение учебные пособия
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=270065

Descripción
Descrición Física:	206 с.
Summary:	Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальх моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.
ISBN:	9785406024348

Títulos similares