Mathematics of Discrete Structures for Computer Science

Mathematics of Discrete Structures for Computer Science

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason abo...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Pace, Gordon J. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Θέματα:	Computer science. Computers. Computer science > Mathematics. Mathematical logic. Computer Science. Mathematics of Computing. Theory of Computation. Mathematical Logic and Foundations.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

A Beginner's Guide to Discrete Mathematics
ανά: Wallis, W.D
Έκδοση: (2012)

Mathematical Logic for Computer Science
ανά: Ben-Ari, Mordechai
Έκδοση: (2012)

Finitely Supported Mathematics An Introduction /
ανά: Alexandru, Andrei, κ.ά.
Έκδοση: (2016)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
Έκδοση: (2007)

Turing Computability Theory and Applications /
ανά: Soare, Robert I.
Έκδοση: (2016)

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
Έκδοση: (2011)

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Έκδοση: (2012)

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Έκδοση: (2013)

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
Έκδοση: (2009)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2010)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2014)

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
ανά: Doberkat, Ernst-Erich
Έκδοση: (2015)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
Έκδοση: (2008)

The Incomputable Journeys Beyond the Turing Barrier /
Έκδοση: (2017)

The Pillars of Computation Theory State, Encoding, Nondeterminism /
ανά: Rosenberg, Arnold L.
Έκδοση: (2010)

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
Έκδοση: (2009)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
Έκδοση: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Έκδοση: (2007)

A Concise Introduction to Mathematical Logic
ανά: Rautenberg, Wolfgang
Έκδοση: (2010)

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /
ανά: O’Regan, Gerard
Έκδοση: (2013)

Logic for Computer Scientists
ανά: Schöning, Uwe
Έκδοση: (2008)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Έκδοση: (2013)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
Έκδοση: (2009)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Έκδοση: (2011)

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Έκδοση: (2006)

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Έκδοση: (2009)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Έκδοση: (2013)

Apartness and Uniformity A Constructive Development /
ανά: Bridges, Douglas S., κ.ά.
Έκδοση: (2011)

Aspects of Molecular Computing Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday /
Έκδοση: (2004)

Discrete Mathematics Using a Computer
ανά: O’Donnell, John, κ.ά.
Έκδοση: (2006)

Mathematics of Fuzzy Sets and Fuzzy Logic
ανά: Bede, Barnabas
Έκδοση: (2013)

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications /
ανά: O'Regan, Gerard
Έκδοση: (2016)

The P=NP Question and Gödel’s Lost Letter
ανά: Lipton, Richard J.
Έκδοση: (2010)

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /
Έκδοση: (2013)

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Έκδοση: (2014)

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2010)

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Έκδοση: (2009)

Computational Complexity of Solving Equation Systems
ανά: Broniek, Przemysław
Έκδοση: (2015)

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
Έκδοση: (2015)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_7jut4bl8mv1n2233a3a805kfin