Еще
Логотип LiveLibЛоготип LiveLibЛента
Владимир Смирнов - Логика и компьютер. Выпуск 2. Логические языки, содержательные рассуждения и методы поиска доказательств
User AvatarВаша оценка
0
(0)

Логика и компьютер. Выпуск 2. Логические языки, содержательные рассуждения и методы поиска доказательств

Владимир Смирнов
В сборнике показана роль искусственных, в частности логических, языков для представления и обработки фактов и знаний. Описаны методы поиска доказательств для других логических систем, включая модальные и временные. В отличие от формальных, содержательные рассуждения существенно опираются на базы знаний.

Издательство:

Наука

Серия:

Кибернетика: неограниченные возможности и возможные ограничения

ISBN:

5-02-006896-9

Год издания:

1995

Язык:

Русский

Мягкая обложка, 131 стр.

Формат: 60x88/16

Возрастные ограничения:

16+

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки