Choose an application

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

Présenté en deux volumes, "Logique" propose une mise au point complète sur l'utilisation de la logique, à partir des résultats et des méthodes d'exposition les plus récents. Le premier volume, "Méthodes pour l'informatique fondamentale", contient un exposé des calculs des propositions et des prédicats, ainsi qu'une introduction aux théories du premier ordre. L'accent est mis sur l'aspect calculatoire, essentiel pour l'application en informatique et intelligence artificielle. L'une des originalités du livre, premier manuel complet de logique en langue française, est de combiner le souci pratique avec une réelle rigueur conceptuelle. Cet ouvrage peut dès lors être un outil indispensable à tout approfondissement théorique.

Logic, Symbolic and mathematical --- Set theory --- Computer logic --- Logique symbolique et mathématique --- Théorie des ensembles --- Logique informatique --- 681.3*I22 --- Specifying anf verifying and reasoning about programs: assertions invariants mechanical verification pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21} {681.3*D24} {681.3*D31} {681.3*E1} --- Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 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) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*I22 Automatic programming: automatic analysis of algorithms program modification program synthesis program transformation program verification (Artificialintelligence)--See also {681.3*D12} {681.3*F31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions invariants mechanical verification pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21} {681.3*D24} {681.3*D31} {681.3*E1} --- Predicat (Logique) --- 681.3*F31 --- 681.3*I23 --- 681.3*I24 --- 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) --- 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*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Logique symbolique et mathématique. --- AA / International- internationaal --- 654 --- 16 --- 51 --- NBB multivolumes --- Informatieverwerking. Bureautica. --- Logica. Dialectiek. --- Wiskunde. --- Informatieverwerking. Bureautica --- Logica. Dialectiek --- Wiskunde --- Informatique --- Computer science --- Probabilités. --- Prédicat (logique) --- Théorie de la démonstration. --- Théorie des ensembles. --- Ordinateurs --- Intelligence artificielle. --- Logique. --- Logique mathématique. --- Modalité (logique) --- Programmation. --- Artificial intelligence. --- Logique mathématique --- Computer science. --- Logique mathématique --- Data processing --- Logic