Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 3 from your keywords: subject="Computer logic"
cover
Dynamic logic
Comment Share
Harel, David,Kozen, Dexter,Tiuryn, Jerzy.

Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic,…

Edition
-
ISBN/ISSN
9780262274951
Collation
1 online resource (xv, 459 pages) :illustrations.
Series Title
-
Call Number
-
cover
Bots and beasts :what makes machines, animals, and people smart?
Comment Share
Thagard, Paul,

"An honest attempt to compare and analyze the intelligence of humans, animals, and computers by an eminent cognitive scientist and long-time Press author"--OCLC-licensed vendor bibliographic record.

Edition
-
ISBN/ISSN
0262365898
Collation
1 online resource.
Series Title
-
Call Number
-
cover
Computational thinking
Comment Share
Denning, Peter J.,Tedre, Matti,

An introduction to computational thinking that traces a genealogy beginning centuries before the digital computer. A few decades into the digital era, scientists discovered that thinking in terms of computation made possible an entirely new way of organizing scientific investigation; eventually, every field had a computational branch: computational physics, computational biology, computational …

Edition
-
ISBN/ISSN
9780262353410
Collation
1 online resource (272 pages) :illustrations
Series Title
-
Call Number
-