A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(10)
60
(5)
40
(2)
62
(2)
21
(1)
33
(1)
43
(1)
65
(1)
75
(1)
Show More
Show Less
Author
Luna, Carlos Daniel
(4)
Alarcón, Cristina I.
(1)
Amigone, Federico
(1)
Aragón Vargas, Bernabé Samuel
(1)
Arevalo, Sergio
(1)
Bajaña Barros, Roberto Daniel
(1)
Benítez Martínez, César Augusto
(1)
Bermeo Calderón, John Edinson
(1)
Bernal, Rubén Alfredo
(1)
Bongiovanni, Mónica
(1)
Show More
Show Less
Subject
Ciencias Informáticas
(10)
Coq
(4)
Educación
(4)
Computer Uses in Education
(3)
Learning
(3)
Teoría de Tipos
(3)
Computer science education
(2)
ENSEÑANZA
(2)
Enseñanza
(2)
Enseñanza de la Programación
(2)
Show More
Show Less
Year
2012
(8)
2017
(5)
2019
(4)
2006
(3)
2013
(3)
2020
(3)
2014
(2)
2015
(2)
2016
(2)
2018
(2)
Show More
Show Less
Document Type
Sin Especificar
(14)
Tesis
(8)
Artículo
(2)
Show More
Show Less
Language
Español
(24)
Show More
Show Less
Your search
Subject:
"Lenguajes de programación funcional -- Enseñanza"
Sort by
Score
Title
Year
-
1-10 from
24
results
(0.032 seconds)
Title:
Una experiencia de enseñanza de Programación Funcional en carreras Informáticas e Ingenierías no Informáticas
Author:
Bernal, Rubén Alfredo
/
Cuenca Pletsch, Liliana Raquel
/
Fornari, Javier
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
Learning
/
desgranamiento
/
enseñanza de programación
/
Computer Uses in Education
/
resolución de problemas
/
Computer science education
/
paradigma funcional
Acceder
Title:
Teoría de tipos y Coq en la enseñanza de programación funcional e imperativa
Author:
Martellotto, Paola
/
Novaira, Maria Marta
/
Bongiovanni, Mónica
/
Luna, Carlos Daniel
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Real time
/
formación del profesorado
/
Coq
/
Learning
/
Teoría de Tipos
/
Enseñanza de Programación
Acceder
Title:
Los procesos instruccionales en la algoritmia para la programación: entidades simples y mixtas resultantes del análisis ontosemiótico-epistémico de un ejemplo sencillo de algoritmia para la programación
Author:
Taiana, Aída
/
Alarcón, Cristina I.
/
Gagliano, Gracia María
/
Morelli, María Alicia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Algorithms
/
análisis ontosemiótico-epistémico
/
Programación
/
didáctica
/
Enseñanza
/
algoritmia
/
Matemática
/
ontosemiotic-epistemological analysis
/
didactics
Acceder
Title:
Multiparadigma en la enseñanza de la programacion
Author:
Pérez, Yanina Paola
/
López, Lidia Marina
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Multiparadigma
/
Computer Uses in Education
/
tecnología
/
enseñanza
/
programacion
Acceder
Title:
Instalación y acondicionamiento de un manipulador tipo SCARA y programación de rutinas para la enseñanza sobre robots industriales
Author:
Benítez Martínez, César Augusto
Language:
Español
Repository:
21
Subject:
Manipuladores (Mecanismo) - Control automático - Investigaciones
/
Robótica - Enseñanza - Investigaciones
/
Control de procesos industriales - Programas para computador - Investigaciones
/
ESPEL (Lenguaje de programación para computadores)
Acceder
Title:
Extensión funcional de clusim- simulación de aplicaciones paralelas SPMD pipeline y divide/conquer
Author:
Pérez Ibarra, Marcelo
/
García, Adelina
/
Méndez, Sandra
/
Lasserre, Cecilia María
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
cómputo de altas prestaciones
/
Parallel programming
/
Pipeline
/
clusters
/
Simulation
/
simulación
/
paradigmas de programación paralela
Acceder
Title:
Una posible "razón de ser" del cálculo diferencial elemental en el ámbito de la modelización funcional
Author:
Lucas, Catarina Oliveira
Language:
Español
Repository:
33
Subject:
1202.04 Cálculo de Variaciones
Acceder
Title:
Prototipo funcional de un micromundo apoyado en el concepto de accesibilidad web para combatir el analfabetismo digital.
Author:
Gordillo Moya, Melisa Estefania
Language:
Español
Repository:
60
Subject:
Micromundo
/
accesibilidad web
/
analfabetismo digital
/
ambientes virtuales de aprendizaje
/
Crystal Clear
/
TESIS-FACULTAD INGENIERÍA
/
INGENIERÍA DE SISTEMAS
/
BASE DE DATOS
/
INFORMÁTICA
/
APRENDIZAJE
/
ORDENADORES DIGITALES
Acceder
Title:
Taller de especificación, construcción y verificación formales de programas : Propuesta y experiencias
Author:
Luna, Carlos Daniel
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Real time
/
tecnología
/
Enseñanza de la Programación
/
Teoría de Tipos
/
educación
/
informática
/
Coq
/
Programación Funcional
/
Programación Imperativa
/
Sistemas Reactivos y de Tiempo Real
Acceder
Title:
Taller de especificación, construcción y verificación formales de Programas :propuesta y experiencias
Language:
Español
Repository:
65
Subject:
Enseñanza de la Programación
/
Teoría de Tipos
/
Coq
/
Programación Funcional
/
Programación Imperativa
/
Sistemas Reactivos y de Tiempo Real
Acceder
« Previous
1
2
3
Next »