Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Functional programming languages --- Langages de programmation fonctionnels --- Functional programming languages.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Intuitionistic Logic --- 3 Valued Logics --- Autoepistemic Logic --- Temporal Logic --- Logic --- Knowledge --- Artificial intelligence --- Logic, symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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