Tools for Teaching Logic [recurso electrónico] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 6680Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: XI, 257p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642213502Tema(s): Computer science | Artificial intelligence | Education | Logic, Symbolic and mathematical | Science -- Study and teaching | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Computers and Education | Mathematical Logic and Foundations | Science EducationFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 006.3 Clasificación LoC:Q334-342TJ210.2-211.495Recursos en línea: Libro electrónico
En: Springer eBooksResumen: This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | Q334 -342 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 376255-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| Q334 -342 Advances in Artificial Life. Darwin Meets von Neumann | Q334 -342 Inductive Logic Programming | Q334 -342 Advances in Artificial Life. Darwin Meets von Neumann | Q334 -342 Tools for Teaching Logic | Q334 -342 Multidisciplinary Aspects of Time and Time Perception | Q334 -342 Logic and Grammar | Q334 -342 Autonomous and Intelligent Systems |
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.
19
