Search
Feedback
About UniCat 
Help
News
| Listing 1 - 2 of 2 |
Sort by
|
Book
ISBN: 9780691160443 0691160449 9781400848751 140084875X 1400851149 Year: 2014 Publisher: Princeton Princeton university press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses
Proof theory --- Computable functions --- Nonclassical mathematical logic --- Nichtklassische Logik. --- Beweistheorie. --- Berechenbarkeit. --- Proof theory. --- Nonclassical mathematical logic. --- Computable functions. --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Constructive mathematics --- Decidability (Mathematical logic) --- Mathematical logic, Nonclassical --- Non-classical mathematical logic --- Logic, Symbolic and mathematical --- Rekursionstheorie --- Berechnungstheorie --- Transklassische Logik --- Logik --- Klassische Logik
Periodical
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Intellect --- System theory --- Artificial Intelligence. --- Expert Systems. --- Systems Theory. --- Intelligence artificielle --- Intelligence --- Systèmes, Théorie des --- Artificial intelligence. --- Intellect. --- System theory. --- Berechenbarkeit. --- Kognitionswissenschaft. --- Künstliche Intelligenz. --- Soft Computing. --- Unterstützungssystem (Informatik) --- Périodiques. --- Life Sciences --- General and Others --- General Systems Theory --- Queuing Theory --- General Systems Theories --- Queuing Theories --- Systems Theories --- Systems Theories, General --- Systems Theory, General --- Theories, General Systems --- Theories, Queuing --- Theories, Systems --- Theory, General Systems --- Theory, Queuing --- Theory, Systems --- Expert System --- System, Expert --- Systems, Expert --- Computational Intelligence --- AI (Artificial Intelligence) --- Computer Reasoning --- Computer Vision Systems --- Knowledge Acquisition (Computer) --- Knowledge Representation (Computer) --- Machine Intelligence --- Acquisition, Knowledge (Computer) --- Computer Vision System --- Intelligence, Artificial --- Intelligence, Computational --- Intelligence, Machine --- Knowledge Representations (Computer) --- Reasoning, Computer --- Representation, Knowledge (Computer) --- System, Computer Vision --- Systems, Computer Vision --- Vision System, Computer --- Vision Systems, Computer --- Systems, Theory of --- Systems science --- Human intelligence --- Mind --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Systems Biology --- Heuristics --- Science --- Ability --- Psychology --- Mental retardation --- Thought and thinking --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Philosophy --- Berechenbarkeit --- Kognitionswissenschaft --- Künstliche Intelligenz --- Unterstützungssystem --- Support system --- Benutzer-Unterstützungssystem --- Wissensbasiertes Unterstützungssystem --- Computerunterstützte Intelligenz --- Maschinelle Intelligenz --- KI --- Intelligenz --- Kognitive Wissenschaft --- Cognitive Science --- Kognitionsforschung --- Wissenschaft --- Rekursionstheorie --- Berechnungstheorie --- artificial intelligence --- deep learning --- machine learning --- pattern recognition --- artificial neural networks --- reinforcement learning --- Théorie des systèmes --- Computerunterstützte Intelligenz --- Benutzer-Unterstützungssystem --- Wissensbasiertes Unterstützungssystem
| Listing 1 - 2 of 2 |
Sort by
|