Listing 1 - 3 of 3 |
Sort by
|
Choose an application
Programming --- Computer software --- Logiciels --- Development --- Développement --- -681.3*D0 --- 681.3*D21 --- 681.3*D2m --- 681.3*I22 --- Software, Computer --- Computer systems --- Computerwetenschap--?*D0 --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Rapid prototyping; reusable software (Software engineering) --- 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*D22 --- AA / International- internationaal --- 654 --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Informatieverwerking. Bureautica. --- 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*D2m Rapid prototyping; reusable software (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D0 --- Development of computer software --- Software development --- Informatieverwerking. Bureautica --- Computer software - Development --- Software engineering --- Proceedings
Choose an application
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
Choose an application
Artificial intelligence. Robotics. Simulation. Graphics --- Planning (firm) --- natuurlijke selectie --- Computer science --- genetische algoritmen --- bedrijfseconomie --- zoekmethoden --- Genetic algorithms --- Machine learning --- Algorithmes génétiques --- Apprentissage automatique --- Genetic Algorithms --- Machine Learning --- 681.3*G20 --- 681.3*I22 --- 681.3*I26 --- 681.3*I28 --- 510.5 --- 681.3*I2 --- AA / International- internationaal --- 305.976 --- genetisch algoritme --- kunstmatige intelligentie (artificiële intelligentie) --- algoritme --- GBML(genetic-based machine learning) --- Learning, Machine --- Artificial intelligence --- Machine theory --- GAs (Algorithms) --- Genetic searches (Algorithms) --- Algorithms --- Combinatorial optimization --- Evolutionary computation --- Genetic programming (Computer science) --- Learning classifier systems --- Computerwetenschap--?*G20 --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- Algorithms. Computable functions --- Artificial intelligence. AI --- Algoritmen. Optimisatie. --- Genetic algorithms. --- Machine learning. --- Basic Sciences. Mathematics --- Algebra --- Algebra. --- 681.3*I2 Artificial intelligence. AI --- 510.5 Algorithms. Computable functions --- 681.3*I28 Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--See also {681.3*F22} --- 681.3*I26 Learning: analogies; concept learning; induction; knowledge acquisition; language acquisition; parameter learning (Artificial intelligence)--See also {681.3*K32} --- 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} --- Algorithmes génétiques --- Algoritmen. Optimisatie --- Optimisation combinatoire --- artificiële intelligentie (AI)
Listing 1 - 3 of 3 |
Sort by
|