03448nam 2200649Ia 450 991045481130332120200520144314.01-282-41193-497866124119390-313-08412-2(CKB)1000000000806513(EBL)491275(OCoLC)85436939(SSID)ssj0000335167(PQKBManifestationID)11266974(PQKBTitleCode)TC0000335167(PQKBWorkID)10290049(PQKB)10341430(MiAaPQ)EBC491275(Au-PeEL)EBL491275(CaPaEBR)ebr10353919(CaONFJC)MIL241193(EXLCZ)99100000000080651320030328d2003 uy 0engur|n|---|||||txtccrBeyond the boundaries[electronic resource] a transdisciplinary approach to learning and teaching /edited by Douglas Kaufman, David M. Moss, and Terry A. OsbornWestport, Conn. Praeger20031 online resource (185 p.)Description based upon print version of record.0-89789-916-4 Includes bibliographical references and index.Contents; Illustrations; Acknowledgments; 1 Going beyond the Boundaries; 2 Educational Foundations: Building a Case for Communication; 3 Not-So-Foreign Languages: The Critical Inquiry Approach to Moving beyond Disciplines; 4 The End of Science...and Where Other Disciplines Begin: Exploring the Nature of Science; 5 Rethinking Secondary Mathematics Teacher Preparation; 6 Don't Mourn; Organize! Transdisciplinary Social Studies Education; 7 Reading the World and Writing to Learn: Lessons from Writers about Creating Transdisciplinary Inquiry8 Transdisciplinary Approaches in the Education of ELLs9 Murals as Interdisciplinary Teaching; 10 Learning to Let Go: Student Participation in the Development of an Integrated English Curriculum; 11 Where Do We Go When We Step beyond the Boundaries?; Index; About the ContributorsMany contemporary secondary education standards call for teachers to reach across traditional disciplinary lines and create curricula and instructional techniques that are interdisciplinary in nature (as examples, for mathematics see Principles and Standards for School Mathematics; for science see National Science Education Standards; for foreign language see Standards for Foreign Language Learning; Preparing fro the 21st Century). Yet, due to the highly entrenched and fragmented administrative structure of teacher education fields, including tertiary preparation and state certification, most High school teachingUnited StatesEducation, SecondaryCurriculaUnited StatesInterdisciplinary approach in educationUnited StatesElectronic books.High school teachingEducation, SecondaryCurriculaInterdisciplinary approach in education373373.1102Kaufman Douglas1963-956330Moss David M128683Osborn Terry A.1966-954258MiAaPQMiAaPQMiAaPQBOOK9910454811303321Beyond the boundaries2165310UNINA06892nam 22007095 450 991014388380332120200705165614.03-540-45620-110.1007/3-540-45620-1(CKB)1000000000211972(SSID)ssj0000321535(PQKBManifestationID)11232825(PQKBTitleCode)TC0000321535(PQKBWorkID)10280288(PQKB)11038609(DE-He213)978-3-540-45620-9(MiAaPQ)EBC3072742(PPN)155237160(EXLCZ)99100000000021197220121227d2002 u| 0engurnn|008mamaatxtccrAutomated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /edited by Andrei Voronkov1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (XII, 540 p.) Lecture Notes in Artificial Intelligence ;2392Bibliographic Level Mode of Issuance: Monograph3-540-43931-5 Includes bibliographical references and index.Description Logics and Semantic Web -- Reasoning with Expressive Description Logics: Theory and Practice -- BDD-Based Decision Procedures for -- Proof-Carrying Code and Compiler Verification -- Temporal Logic for Proof-Carrying Code -- A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code -- Formal Verification of a Java Compiler in Isabelle -- Non-classical Logics -- Embedding Lax Logic into Intuitionistic Logic -- Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic -- Connection-Based Proof Search in Propositional BI Logic -- System Descriptions -- DDDLIB: A Library for Solving Quantified Difference Inequalities -- An LCF-Style Interface between HOL and First-Order Logic -- System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning -- Proof Development with ?mega -- Learn?matic: System Description -- HyLoRes 1.0: Direct Resolution for Hybrid Logics -- SAT -- Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points -- A Note on Symmetry Heuristics in SEM -- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions -- Model Generation -- Deductive Search for Errors in Free Data Type Specifications Using Model Generation -- Reasoning by Symmetry and Function Ordering in Finite Model Generation -- Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations -- Session 7 -- A New Clausal Class Decidable by Hyperresolution -- CASC -- Spass Version 2.0 -- System Description: GrAnDe 1.0 -- The HR Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description — -- CADE-CAV Invited Talk -- The Quest for Efficient Boolean Satisfiability Solvers -- Session 9 -- Recursive Path Orderings Can Be Context-Sensitive -- Combination of Decision Procedures -- Shostak Light -- Formal Verification of a Combination Decision Procedure -- Combining Multisets with Integers -- Logical Frameworks -- The Reflection Theorem: A Study in Meta-theoretic Reasoning -- Faster Proof Checking in the Edinburgh Logical Framework -- Solving for Set Variables in Higher-Order Theorem Proving -- Model Checking -- The Complexity of the Graded ?-Calculus -- Lazy Theorem Proving for Bounded Model Checking over Infinite Domains -- Equational Reasoning -- Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation -- Basic Syntactic Mutation -- The Next Waldmeister Loop -- Proof Theory -- Focussing Proof-Net Construction as a Middleware Paradigm -- Proof Analysis by Resolution.The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.Lecture Notes in Artificial Intelligence ;2392Artificial intelligenceLogic, Symbolic and mathematicalComputer logicProgramming languages (Electronic computers)Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Artificial intelligence.Logic, Symbolic and mathematical.Computer logic.Programming languages (Electronic computers)Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.006.3/33Voronkov Andreiedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Automated DeductionMiAaPQMiAaPQMiAaPQBOOK9910143883803321Automated Deduction - CADE-182179789UNINA02803nam 2200577zu 450 991028641460332120210807005009.0979-1-03-620029-82-84788-600-110.4000/books.enseditions.8823(CKB)3710000000381281(SSID)ssj0001436707(PQKBManifestationID)12520890(PQKBTitleCode)TC0001436707(PQKBWorkID)11442561(PQKB)10670322(FrMaCLE)OB-enseditions-8823(oapen)https://directory.doabooks.org/handle/20.500.12854/57396(PPN)230683673(oapen)doab57396(EXLCZ)99371000000038128120160829d2013 uy freuu||||||m||||txtccrQu'est-ce qu'être cartésienENS Éditions2013[Place of publication not identified]ENS éditions20131 online resourceLa croisâee des chemins Qu'est-ce qu'ãetre cartâesien Bibliographic Level Mode of Issuance: Monograph2-84788-371-1 Qu’est-ce qui fait la spécificité du cartésianisme dans l’histoire des idées ? Ce volume propose une réponse à cette question : le cartésianisme peut tout aussi bien se penser à l’aide des outils d’une histoire de la philosophie classique recourant à la philologie, aux « sources » et à l’intertextualité, y compris en des termes critiques ; que dans les lexiques de la réfraction, de la transformation voire de la construction, rationnelle ou imaginaire. Dans ce dernier cas, on peut parfaitement revendiquer la neutralisation des exigences de continuité attestables entre l’invention et la source originelle et tenter de penser des Descartes ad hoc, étant entendu qu’une telle entreprise aura toujours, en retour, quelque chose à nous apprendre sur le corpus d’origine. De Descartes à la période contemporaine, les contributions présentées offrent une synthèse inédite du prisme de ces lectures possibles, toute appelées, tendanciellement mais différemment, par l’œuvre de Descartes.Philosophy, ModernPhilosophy & ReligionHILCCPhilosophyHILCCPhilosophy, Modern.Philosophy & ReligionPhilosophyDelphine Kolesnik-Antoineauth474093Angaut Jean-ChristopheAngaut Jean-ChristopheKolesnik-Antoine DelphineKolesnik-Antoine DelphinePQKBBOOK9910286414603321Qu'est-ce qu'être cartésien3361645UNINA