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

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

blank
blank
blank
Красота
blank
Schoning U. — Logik fur Informatiker
Schoning U. — Logik fur Informatiker

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

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

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



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


Название: Logik fur Informatiker

Автор: Schoning U.

Аннотация:

Dieses Buch ist als Hilfsmittel für die Logikausbildung beim Informatikstudium konzipiert.
Es führt in die Begriffe und Methoden der formalen Logik ein. Die Materialauswhl orientiert sich dabei an der Anwendbarkeit in der Informatik. Aussagenlogik und die darauf aufbauende Prädikatenlogik werden behandelt. Damit soll ein Verständnis für moderne Anwendungen der Logik in der Informatik vermittelt werden. Solche Anwendungen sind z.B. Resolution, automatisches Beweisen und Logik-programmierung.
Ein Schwerpunkt der Darstellung ist der Resolutionskalkül, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG.
Außerdem werden die für das Verständnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie.
Das Buch enthält über 100 Aufgaben mit Lösungshinweisen.


Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

Издание: 5. Auflage

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

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

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

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