Изложены основы современных информационных технологий с использованием методов искусственного интеллекта. Приводятся принципы построения и примеры интеллектуальных информационных систем, а также процесс формирования баз знаний. Для студентов учебных......

Учебник содержит теоретический материал по традиционным темам дискретной математики и пограничным с математикой вопросам классической логики, что превращает его в углубленный междисциплинарный курс. В каждой главе есть исторический материал, большой......