Lógica y abstracción en la formación de ingenieros: una relación necesaria

Andrews, 2002 Armoni, 2007, Non-Determinism: An Abstract Concept in Computer Science Studies, Computer Science Education, 17, 243, 10.1080/08993400701442885 Bennedsen, 2006, Abstraction Ability as an Indicator of Success for Learning Object-Oriented Programming?, SIGC-SE Bulletin, 38, 39, 10.1145/1138403.1138430 Boroditsky, 2002, The Roles of Body and Mind in Abstract Thought, Psychological Science, 13, 185, 10.1111/1467-9280.00434 Bouhnik, 2009, Teaching High School Students Applied Logical Reasoning, Journal of Information Technology Education, 8, 1 Bransford, 1993 Bransford, 1993 Cañadas, 2009, Using a Model to Describe Students, Inductive Reasoning in Problem Solving, Electronic Journal of Research in Educational Psychology, 7, 261 Dasigi, 1989, Parsimonious Covering as a Method for Natural Language Interfaces to Expert Systems, Artificial Intelligence in Medicine, 1, 49, 10.1016/0933-3657(89)90016-X De Wall, 2008, Evidence that Logical Reasoning Depends on Conscious Processing, Consciousness and Cognition, 17, 628, 10.1016/j.concog.2007.12.004 Dirksen, 2012 Eberle, 1974, A Logic of Believing, Knowing and Inferring, Synthese, 26, 356, 10.1007/BF00883100 Egorov, 2007, Neural Logic Molecular, Counter-Intuitive, Biomolecular Engineering, 24, 293, 10.1016/j.bioeng.2007.04.002 Fagin, 1987, Belief, Awareness, and Limited Reasoning, Artificial Intelligence, 34, 39, 10.1016/0004-3702(87)90003-8 Furth, 1965, The Influence of Language and Experience on Discovery and Use of Logical Symbols, British Journal of Psychology, 56, 381, 10.1111/j.2044-8295.1965.tb00980.x Gagné, 1960 Gibbs, 1994 Gick, 1986, Problem-Solving Strategies, Educational Psychologist, 21, 99, 10.1080/00461520.1986.9653026 Gottinger, 1992, Intelligent Decision Support Systems, Decision Support Systems, 8, 317, 10.1016/0167-9236(92)90053-R Gottinger, 1995, Intelligent Inference Systems Based on Influence Diagrams, Decision Support Systems, 15, 27, 10.1016/0167-9236(94)00049-X Hall, 1976 Halpern, 1994, Algorithmic Knowledge, 255 Halpern, 2011, Dealing with Logical Omniscience: Expressiveness and Pragmatics, Artificial Intelligence, 175, 220, 10.1016/j.artint.2010.04.009 Harel, 1998, Students' Proof Schemes: Results from Exploratory Studies, Research in Collegiate Mathematics Education, 3, 234, 10.1090/cbmath/007/07 Hill, 1961 Huitt, 2003 Huitt, 2003 Ibañes, 2001 Inhelder, 1960, The Study of Problem Solving and Thinking, 421 Inhelder, 1964 Jarke, 1988, The AI Potential of Model Management and its Central Role in Decision Support, Decision Support Systems, 4, 387, 10.1016/0167-9236(88)90002-4 Kolodner, 1984 Kolodner, 1985, Process Model of Cased-Based Reasoning in Problem Solving, 285 Konolige, 1986 Kuhn, 1977, The Development of Formal Operations in Logical and Moral Judgment, Genetic Psychology Monographs, 95, 97 Kumar, 1994, A Realistic Model for Diagnostic Problem Solving Using Abductive Reasoning Based on Parsimonious Covering Principle, 1 Lieberman, 2002, Reflection and Reflexion: A Social Cognitive Neuroscience Approach to Attributional Inference, Advances in Experimental Social Psychology, 34, 199, 10.1016/S0065-2601(02)80006-5 Lithner, 2000, Mathematical Reasoning in School Tasks, Educational Studies in Mathematics, 41, 165, 10.1023/A:1003956417456 Marrades, 2000, Proofs Produced by Secondary School Students Learning Geometry in a Dynamic Computer Environment, Educational Studies in Mathematics, 44, 87, 10.1023/A:1012785106627 Mc Carthy, 1969, Some Philosophical Problems from the Standpoint of AI McLaughlin, 1963, PsychOlogic: A Possible Alternative to Piaget's Formulation, British Journal of Educational Psychology, 33, 61, 10.1111/j.2044-8279.1963.tb00563.x Mc Learn, 1997, Substantial Genetic Influence on Cognitive Abilities in Twins 80 or More Years Old, Science, 276, 1560, 10.1126/science.276.5318.1560 Moore, 1979 Morris, 1998, Understanding of Logical Necessity: Developmental Antecedents and Cognitive Consequences, Child Development, 69, 721, 10.1111/j.1467-8624.1998.tb06239.x Newell, 1972 O'Rorke, 1988, 170 Oldham, 2006, Conservation and Evolution of Gene coexpression Networks in Human and Chimpanzee Brains, PNAS, 103, 17973, 10.1073/pnas.0605938103 Peng, 1990 Piaget, 1957 Piaget, 1972 Piaget, 1969 Pietarinen, 2004, Logic, Neuroscience and Phenomenology Pietarinen, 2003, What do Epistemic Logic and Cognitive Science Have to Do With Each Other?, Cognitive Systems Research, 4, 169, 10.1016/S1389-0417(03)00003-2 Popesco, 2006, Human Lineage-Specific Amplification, Selection, and Neuronal Expression of DUF1220 Domains, Science, 313, 1304, 10.1126/science.1127980 Popper, 1999 Rantala, 1982, Impossible World's Semantics and Logical Omniscience, Acta Philosophica Fennica, 35, 18 Reuter, 2006, Identification of First Candidate Genes for Creativity: a Pilot Study, Brain Research Reviews, 1069, 190, 10.1016/j.brainres.2005.11.046 Ross, 1984, Remindings and Their Effects in Learning a Cognitive Skill, Cognitive Psychology, 16, 371, 10.1016/0010-0285(84)90014-8 Schank, 1982 Serna, 2011, Abstraction as a Critical Component in Computer Science Training, Avances en Sistemas e Informática, 8, 79 Serna M.E. Logic in Computer Science, 2012, In press. Serna M.E. The Need for a Paradigm Shift in the Current Education System, 2012a, In Press. Simon, 1996, Beyond Inductive and Deductive Reasoning: The Search for a Sense of Knowing, Educational Studies in Mathematics, 30, 197, 10.1007/BF00302630 Sloman, 1971, Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence, Artificial Intelligence, 2, 209, 10.1016/0004-3702(71)90011-7 Smith, 1990, A View from Biology Stenning, 2005, Strategies and Knowledge Representation, 129 Suppes, 1965, On the Behavioral Foundations of Mathematical Concepts, Monographs of the Society for Research in Child Development, 30, 60, 10.2307/1165709 Suppes, 1969, Young Children's Comprehension of Logical Connectives, Journal of Experimental Child Psychology, 12, 304, 10.1016/0022-0965(71)90027-0 Wason, 1972 Winterer, 2003, Genetics of Human Prefrontal Function, Brain Research Reviews, 43, 134, 10.1016/S0165-0173(03)00205-4 Youniss, 1964, Attainment and Transfer of Logical Connectives in Children, Journal of Educational Psychology, 55, 357, 10.1037/h0047549 Youniss, 1967, Learning of Logical Connectives by Adolescents with Single and Multiple Instances, Journal of Educational Psychology, 58, 222, 10.1037/h0024904