Listing 1 - 10 of 37 | << page >> |
Sort by
|
Choose an application
Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- #KVIV:BB --- 681.3*I24 --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Representation (Philosophy). --- Logique mathématique --- Artificial intelligence --- Knowledge representation
Choose an application
Choose an application
681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Artificial intelligence. --- Logic, Symbolic and mathematical.
Choose an application
Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science.
Computable functions. --- Model theory. --- Engineering & Applied Sciences --- Computer Science --- Computable functions --- Model theory --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Computer science. --- Computers. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computational linguistics. --- Computer Science. --- Theory of Computation. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Language Translation and Linguistics. --- Logic, Symbolic and mathematical --- Constructive mathematics --- Decidability (Mathematical logic) --- Information theory. --- Logic design. --- Natural language processing (Computer science). --- Artificial Intelligence. --- Natural Language Processing (NLP). --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace
Choose an application
The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists.
Computer science --- Philosophy. --- Informatics --- Science --- Information theory. --- Logic, Symbolic and mathematical. --- Theory of Computation. --- Philosophy of Science. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Normal science --- Philosophy of science --- Communication theory --- Communication --- Cybernetics --- Computers. --- Philosophy and science. --- Mathematical logic. --- Science and philosophy --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace
Choose an application
Intuitionistic Logic --- 3 Valued Logics --- Autoepistemic Logic --- Temporal Logic --- Logic --- Knowledge --- Artificial intelligence --- Logic, symbolic and mathematical
Choose an application
Choose an application
The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists.
Mathematical logic --- Philosophy of science --- Mathematical control systems --- Computer science --- toegepaste informatica --- wetenschapsfilosofie --- wiskunde --- logica --- informatietheorie
Choose an application
Choose an application
Artificial intelligence --- Logic, Symbolic and mathematical --- Intelligence artificielle --- Logique symbolique et mathématique --- Logique mathématique --- Logique symbolique et mathématique --- Artificial intelligence. --- Logique mathématique. --- Intelligence artificielle. --- Logique mathématique
Listing 1 - 10 of 37 | << page >> |
Sort by
|