Los cursos y sus enseñanzas

La teoría de los modelos mentales supone que los humanos al razonar construyen modelos y buscan alternativas (no en forma aleatoria, pero tampoco de manera totalmente sistemática). Johnson-Laird sostiene que los sujetos si tienen dificultades con los silogismos más difíciles, buscan modelos alternat...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Galli, Adriana Claudia
Formato:	Tesis Trabajo de especializacion
Lenguaje:	Español
Publicado:	2004
Materias:	Ciencias Informáticas Informática y educación lógica formal enseñanza-aprendizaje
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/4123
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Los entornos virtuales flexibles para el desarrollo de competencias en el área de algoritmos y lenguajes de programación
por: Llarena, Myriam G., et al.
Publicado: (2018)

Sistemas Formales: presentación de sus propiedades abstractas dentro del curriculum de Ciencias de la Computación
por: Simari, Guillermo Ricardo, et al.
Publicado: (1998)

Tecnología informática en un curso de lenguajes formales y teoría de autómatas: un enfoque constructivista
por: Chesñevar, Carlos Iván, et al.
Publicado: (2003)

Lógica de pruebas para certificación de computación móvil
por: Feller, Federico
Publicado: (2009)

Lógica para Informática
por: Pons, Claudia, et al.
Publicado: (2017)

Verificación formal y refinamientos en P/PML
por: Díaz, Javier Roberto
Publicado: (2001)

Más allá de las pantallas, usos creativos de la tecnología digital
por: Bordignon, Fernando Raúl Alfredo, et al.
Publicado: (2015)

Entorno virtual flexible como apoyo al aprendizaje en el área de Ciencias Exactas
por: Llarena, Myriam G., et al.
Publicado: (2017)

E-Learning: una visión holística de las nuevas tecnologías en el proceso enseñanza-aprendizaje
por: Cenich, Gabriela
Publicado: (2004)

Los entornos virtuales flexibles para el desarrollo de competencias en el área de algoritmos y lenguajes de programación
por: Díaz, Mario
Publicado: (2019)

Enseñanza de la programación
por: Ferreira Szpiniak, Ariel, et al.
Publicado: (2006)

De dibujos a demostraciones: Aprender a utilizar sistemas de deducción natural en lógica formal
por: Dassie Wilke, Milena
Publicado: (2025)

Un entorno para la enseñanza y aprendizaje de programación en la escuela secundaria
por: Cenich, Gabriela
Publicado: (2015)

Model evolution and system evolution
por: Pons, Claudia, et al.
Publicado: (2000)

Incidencia de los estilos de aprendizaje de los estudiantes de informática en la valoración de un objeto de aprendizaje sobre compuertas lógicas
por: Salazar Mesía, Natalí Angélica, et al.
Publicado: (2017)

Una herramienta para la simulación de autómatas traductores en la enseñanza de teoría de la computación
por: Chesñevar, Carlos Iván, et al.
Publicado: (2003)

El orden de los conceptos : lógica menor,lógica formal /
por: Maritain, Jacques
Publicado: (1980)

Introduction to formal languajes /
por: Révész, György E.
Publicado: (1983)

Diagramática: una formalización para la construcción de lenguajes visuales
por: Repond, Federico C.
Publicado: (2006)

Tecnología Informática en los procesos de enseñanza y aprendizaje semipresenciales y a distancia
por: Madoz, María Cristina, et al.
Publicado: (2004)

A UML profile to model classifier refinements
por: Correa, Natalia, et al.
Publicado: (2005)

Lenguajes, gramáticas y autómatas : curso básico
por: Cases Muñoz, Rafel
Publicado: (2002)

Mejoramiento de la adaptación usando la lógica difusa
por: Huapaya, Constanza Raquel, et al.
Publicado: (2015)

Aproximación a los métodos formales: una experiencia con un método de desarrollo liviano
por: Aguirre, Fernando, et al.
Publicado: (2013)

Construcción de herramientas didácticas para la enseñanza y ejercitación práctica en laboratorio de Informática Teórica en las carreras con Informática
por: Marciszack, Marcelo Martín, et al.
Publicado: (2006)

Materiales hipermediales para la enseñanza de la Matemática
por: Scorzo, Roxana, et al.
Publicado: (2016)

Reconstrucción de argumentos y enseñanza de la formalización
por: Oller, Carlos A., et al.
Publicado: (2015)

Entornos personales como apoyo para el aprendizaje y desarrollo de competencias: experiencia con alumnos de informática
por: Vera, Cristina, et al.
Publicado: (2017)

Intelligent alarms detection for the analysis of system fault impact on business
por: Pace, C., et al.
Publicado: (1998)

SCRUM como metodología de enseñanza y aprendizaje de la programación
por: Tymkiw, Nicolás, et al.
Publicado: (2020)

El orden de los conceptos : lógica menor (lógica formal).
por: Maritain, Jacques
Publicado: (1963)

El orden de los conceptos : lógica menor (lógica formal).
por: Maritain, Jacques
Publicado: (1984)

El orden de los conceptos : lógica menor (lógica formal).
por: Maritain, Jacques
Publicado: (1948)

Teoría de autómatas y lenguajes formales.
por: Kelley, Dean
Publicado: (1995)

Iniciativas de la enseñanza de inteligencia artificial en la escuela: enfoques globales, regionales y locales
por: Kimura, Isabel, et al.
Publicado: (2023)

Agentes inteligentes: modelos formales y aplicaciones para la educación
por: Amaolo, Marcelo Paulo, et al.
Publicado: (2017)

Properties for a formal model of collaborative dialogue
por: Marcos, Julieta, et al.
Publicado: (2008)

Using business process reengineering to obtain a RAISE specification
por: Riesco, Daniel Eduardo, et al.
Publicado: (2002)

COMPI, una herramienta interactiva para la enseñanza de construcción de compiladores
por: Ibáñez, Francisco S., et al.
Publicado: (2015)

Objeto de aprendizaje para la enseñanza de compuertas lógicas: experiencia y evaluación
por: Estrebou, César Armando, et al.
Publicado: (2017)