Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785508810627

Книга ISBN13 9785508810627 - Boolean satisfiability problem (Jesse Russell) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Boolean satisfiability problem
High Quality Content by WIKIPEDIA articles! In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE. Equally important is to determine whether no such assignments exist, which would imply that the function expressed by the formula is identically FALSE for all possible variable assignments. In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable. For example, the formula a AND b is satisfiable because one can find the values a = TRUE and b = TRUE, which make (a AND b) = TRUE. To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности....
Авторы: Jesse Russell
Издательство: Книга по Требованию
Год: 2013
Местонахождение: OZON.ru
ISBN: 978-5-5088-1062-7


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.