Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Elementary Formal Logic: A Programmed Course (Bog, Paperback / softback, Engelsk)Originally published in 1966. This is a self-instructional course for students who have not had previous acquaintance with Logic. The book deals with... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Computational Number Theory (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Blockchain, Big Data and Machine Learning: Trends and Applications (Bog, Hardback, Engelsk)Present book covers new paradigms in Blockchain, Big Data and Machine Learning concepts including applications and case studies. It... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Turing Computability: Theory and Applications (Bog, Hardback, Engelsk)Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the Joint 25th... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 15th International Conference... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Propositional and Predicate Calculus: A Model of Argument (Bog, Paperback / softback, Engelsk)Topics include:- the representation of mathematical statements by formulas in a formal language;- the interpretation of formulas as true or false... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Philosophical and Mathematical Logic (Bog, Hardback, Engelsk)This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Theory : An Introduction (Bog, Hardback, Engelsk)Offers an introductory course in model theory emphasizing connections to algebra. This book is an introduction both for graduate students interested in advanced work in model theory and for students and researchers in logic or algebra.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.
Levering: Skaffevare (forvent 14 - 30 hverdage)
