Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3151651 obálek a 950616 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Unification Types in Logic
Rok: 2007
ISBN: 9788322617175
OKCZID: 110363328
Citace (dle ČSN ISO 690):
DZIK, Wojciech. Unification types in logic. Wydanie I. Katowice: Wydawnictwo Uniwersytetu Śląskiego, 2007. 192 stran. Prace Naukowe Uniwersytetu Śląskiego w Katowicach, NR 2554.
Anotace
"The main aim of unification is to make two symbolic expressions equal, or identical, by substituting their variables with other expressions. Unification in Logic is concerned with finding a substitution that transforms a formula into a theorem or a tautology. The substitutions that satisfy this condition are called unifiers. The crucial problem considered in the unification theory is to find, if possible, most general unifiers, i.e., such unifiers for which any unifier is their special case, or instance. There are four possible unification types: unitary (best), finitary, infinitary and nullary, depending on the number of unifiers which are maximal with respect to the relation of being more general. The subject of this book is to assign these types to various logical systems, to find the properties determining particular types of logics together with their location, and to apply unifiers to logic. In general author's investigations concern the logical analysis of language and its structure."