Buscar
Mostrando ítems 1-4 de 4
Lacunas no direito: análise da retórica estratégica dos silêncios normativos
(Universidade Federal de Pernambuco, 2015)
Estudio de un cálculo proposicional con localización temporal
(Boletín de Matemáticas, 2002)
El objeto del estudio del cálculo proposicional con localizacióntemporal lo constituyen las afirmaciones cuya veracidad depende del momento en el cual se afirman. Por ello se introduce el “operador Rt de realización temporal” ...
Aproximación al Entscheidungsproblem desde la Teoría de autómatas y máquinas de Turing.
(Universidad Pedagógica NacionalLicenciatura en MatemáticasFacultad de Ciencia y Tecnología, 2015)
Trabajo de grado que se propone para el estudio de la teoría de la computación o análisis del Entscheidungsproblem, por medio de la definición de máquinas de Turing (MT); en el cual se encontrará una breve reseña histórica ...