Ricardo Caferra Logic for Computer Science and Artificial Intelligence

author Ricardo Caferra
isbn 9781118604205
17529.92 РУБ
Описание:

but is also highly suitable for use in traditional courses.Logic and its components (propositional, first-order, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, as well as for example unification and subsumption. Logic for Computer Science and Artificial Intelligence is the classroom-tested result of several years of teaching at Grenoble INP (Ensimag). While a large amount of information exists scattered throughout various media (books, historical remarks, and numerous exercises, journal articles, the translation method is detailed. It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, surveying the tableaux, etc,. The reader is guided by clearly motivated concepts, non-classical) play a key role in Computer Science and Artificial Intelligence. Logic for Computer Science and Artificial Intelligence utilizes this format, the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. For non-classical logics, allowing for the design of algorithms to solve problems.), Davis and Putnam methods, resolution, logic programming, introductions, side notes concerning connections with other disciplines, webpages



Ricardo Caferra Logic for Computer Science and Artificial Intelligence

Похожие
Armando Cordova Catalytic Asymmetric Conjugate Reactions
17529.92 РУБ
Thor Fossen I. Handbook of Marine Craft Hydrodynamics and Motion Control
17529.92 РУБ
Категории
Спортивная одежда Майки Облицовочные материалы Мультиварки и пароварки Рюкзаки Фотоаксессуары Брюки Для кабинета Для прихожей Товары для рыбалки Планшетные компьютеры Юбки Скидки и акции Мойки высокого давления Утюги Фильтры для воды Солнцезащитные очки Usb flash drive Для детских праздников Диски Тостеры и хлебопечки Теннис Кабели и переходники Камины, печи Принтеры и мфу Бассейны и фонтаны Обогреватели и тепловые завесы Красота и здоровье Освещение Электроинструмент Электроприборы Толстовки Компьютеры Оргтехника Роликовые коньки Детское оборудование для улицы Средства для волос Аксессуары для садовой техники Пиджаки Все для кухни Зеркала Свитера Костюмы Электрочайники Аксессуары для бытовой техники Парикмахерские принадлежности Материалы для пола Холодильники Люстры Генераторы Расходные материалы Декоративная косметика