Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
O'Donnell M. — Introduction.Logic and logic programming languages
O'Donnell M. — Introduction.Logic and logic programming languages

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Introduction.Logic and logic programming languages

Автор: O'Donnell M.

Аннотация:

This unit embodies the following main aims:
Introduce logic as the study of valid argumentation.
Present the syntax and semantics of logic languages (propositional and predicate calculus) and associated proof methods..
Explain the relationship between logic and logic programming.
Provide a practical introduction to a logic programming language


Язык: en

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1999

Количество страниц: 77

Добавлена в каталог: 06.05.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте