Decidability (logic)
Автор: Frederic P. Miller
Издательство:
Год издания: 2010
Страниц: 104
ISBN: 9786130811198
Аннотация:
High Quality Content by WIKIPEDIA articles! In logic, the term decidable refers to the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their set
Посмотреть в магазинах:
Другие сервисы поиска:
Книгу "Decidability (logic)" (Frederic P. Miller) можно также попробовать поискать и скачать в бесплатных электронных библиотеках, однако мы рекомендуем пользоваться только официальными сервисами, имеющими соглашения с авторами и издательствами.
|
| (c) KBD.RU |