Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 163 kr
Model Theory
3 781 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures. It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between related structures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail.
Produktinformation
Utforska kategorier
Mer om författaren
Hoppa över listan
Mer från samma författare
Tools for Teaching Logic
Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano
Häftad, 2011
556 kr
Tools for Teaching Logic
Fernando Soler-Toscano, Maria Manzano, Hans van Ditmarsch, Patrick Blackburn
E-bok
2011718 kr
Hoppa över listan
Mer från samma serie
Del 39
Del 19
Del 24
Introduction to Logic and to the Methodology of Deductive Sciences
Alfred Tarski, Jan Tarski
Inbunden, 1994
3 602 kr
Del 22
Del 36
Del 42
Del 38
Del 46
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Tools for Teaching Logic
Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando Soler-Toscano
Häftad, 2011
556 kr
Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 163 kr
Tools for Teaching Logic
Fernando Soler-Toscano, Maria Manzano, Hans van Ditmarsch, Patrick Blackburn
E-bok
2011718 kr
Del 21
Del 30
Del 53