Buscar
Mostrando ítems 1-10 de 11
Um estudo sobre a utilização do software SCRATCH como ferramenta de apoio ao ensino da disciplina de lógica de programação
(2013)
Learning to program or master a programming language is not an easy task, and the base of process should by study Logic Programming, beginning to learning through the development of pseudocodes, algorithms and flowcharts, ...
Aplicação de interferência lógica em problemas de programação de produçãoApplication of logical inference production scheduling problems
(Universidade Federal de São Carlos, 2000)
Haskell Type System Analysis
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)
Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2013)
ARBOT: augmented reality system for teaching logic algorithmic
(2014)
This article purposes the ARBot, a system that has as main objective the presentation of concepts of logic for students of elementary and secondary education. The system was developed using the technology known as Augmented ...
Ontoprolog : uma linguagem para especificação de discursos sobre ontologias
(Escola de Ciência da Informação da UFMG, 2017-06)
Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação. O arcabouço é ...
Recepção por demanda de ficção seriada televisiva
(2013)
O presente trabalho investiga a adequação para a recepção por demanda da estrutura da ficção seriada televisiva, matriz concebida para a veiculação em fluxo dentro da lógica da grade de programação. Centrando no gancho e ...
An Alternative Approach For Quasi-truth
(Oxford University Press, 2014)
On The Way To A Wider Model Theory: Completeness Theorems For First-order Logics Of Formal Inconsistency
(Cambridge University Press, 2014)