![](https://image.librarything.com/pics/fugue21/magnifier-left.png)
![](https://pics.cdn.librarything.com//picsizes/97/6f/976f2299c078b695a79517635674b3041414141_v7.jpg)
Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... Logic for information technologyvon Antony Galton
Keine Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
This introduction to logic as it applies to information technology is written specifically from the point of view of computer science students. The author's approach adheres to imparting the canonical logic theories--propositional calculus and first-order predicate calculus. The text first introduces a wide range of general logic concepts that are applicable to any variety of logic, followed by detailed clear exposition of the propositional and predicate calculuses and their proof theories. Different methods of validating propositional inferences, as well as the means of determining the adequacy of such methods, are discussed. Algorithmic aspects are stressed, as is the deductive character of logic. The author takes pains throughout the text to eradicate a number of common confusions and misunderstandings, including those between the material conditional (if/then) and logical implication; between syntactical and semantical consequence relations (deducibility vs entailment); and between Use and Mention. All variables used in the predicate calculus are bound by quantifiers, thus avoiding the cumbersome use of variable assignments. Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeineBeliebte UmschlagbilderKeine
![]() GenresMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt: Keine Bewertungen.Bist das du?Werde ein LibraryThing-Autor. |