Copied Logikkalkle in der Informatik
Logikkalkle in der Informatik
Im Mittelpunkt steht das Spannungsverhltnis zwischen einerseits dem herkmmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkls, also zwischen Semantik und Syntax. Wie dieser Graben berwunden wird, wird fr verschiedene auch nicht-klassische Logiken vorgefhrt: Prdikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfhrende bersicht ber Logiken gegeben, die an manchen Stellen der Informatik bentigt werden, zu deren Verstndnis man sich aber kein ganzes spezielles Buch anschaffen mchte. Das Buch enthlt einen einheitlichen Ansatz fr verschiedene Logiken.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$29.99 | $29.99 |
|
$29.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Three-Dimensional Cephalometry
$249.99
Erwartungsmanagement bei innovativen Kommunikationsdiensten
$69.99
Schizophrene erkennen, verstehen, behandeln
$59.99
Late Neoliberalism and its Discontents in the Economic Crisis
$109.99
PCM-Enhanced Building Components
$84.99
Klinische Anatomie diagnostischer und therapeutischer Eingriffe
$59.99
Leadership in Balance
$39.99
Electronic Waste Pollution
$169.99
Object Technologies for Advanced Software
$39.99
Regional Chemotherapy
$89.00
Holistisches Projektmanagement
$49.99
Producing Cultural Change in Political Communities
$129.99
Science and the Riddle of Consciousness
$109.99
Comparative Development Studies
$39.99
Spectral Methods for Incompressible Viscous Flow
$89.99
Computer Vision - ECCV '96
$84.99
Tumors of the Central Nervous System, Volume 13
$129.00
Vedantic Approaches to God
$84.99
Internationales Gewerkschaftshandbuch
$69.99
Sozialistische Theorien nicht-sozialistischer Denker
$49.99
Software Defect and Operational Profile Modeling
$169.00
The Medical Management of Prostate Cancer
$84.99
Occupying Niches: Interculturality, Cross-culturality and Aculturality in Academic Research
$109.99
Arbeit gegen Armut
$69.99
Agency and Action in Colonial Africa
$84.99
Ceramic-and Carbon-matrix Composites
$329.99
Free Radical Copolimerization, Dispersions, Glassy State Relaxation
$39.99
Biologically Inspired Cooperative Computing
$109.99
The Practice of Royal Icing
$169.99
Yo, Naomi Len
$6.74
Alzheimers Turning Point
$79.99
Evaluation of Groundwater Resources on the Coral Islands of Lakshadweep, India
$54.99
Cancer Prevention
$169.99
Mathematical Modeling for Industrial Processes
$54.99
Advances in Information Systems
$39.99
On asking the right kind of question in biological research
$54.99
Conformation-Dependent Design of Sequences in Copolymers II
$169.00
An Invitation to Mathematical Physics and Its History
$69.99
Nihil Unbound
$109.00
DermOPix und die Hautchirurgie
$89.99
