Utilize este link para identificar ou citar este item: https://bdm.unb.br/handle/10483/10144
Arquivos neste item:
Arquivo Descrição TamanhoFormato 
2014_ThiagoMendoncaFerreiraRamos.pdf1,44 MBAdobe PDFver/abrir
Registro completo
Campo Dublin CoreValorLíngua
dc.contributor.advisorAyala Rincón, Mauricio-
dc.contributor.authorRamos, Thiago Mendonça Ferreira-
dc.identifier.citationRAMOS, Thiago Mendonça Ferreira. Formalização do Cálculo Pointfree em estilo relacional. 2014. vii, 66 f., il. Monografia (Bacharelado em Ciência da Computação)—Universidade de Brasília, Brasília, 2014.en
dc.descriptionMonografia (graduação)—Universidade de Brasília, Instituto de Exatas, Departamento de Ciência da Computação, 2014.en
dc.description.abstractA Lógica de Primeira Ordem provê técnicas para demonstrar e expressar propriedades de correção sobre sistemas. Entretanto, especificação e formalização são técnicas que tomam muito tempo na construção de software e hardware. Logo, o objetivo é estudar um mecanismo alternativo de especificação e dedução baseado em álgebra relacional, chamado cálculo relacional, e compará-lo com o cálculo de Gentzen, observando tamanhos de provas e de especificações.en
dc.rightsAcesso Abertoen
dc.subject.keywordCiência da Computaçãoen
dc.subject.keywordÁlgebra relacionalen
dc.subject.keywordCálculo relacionalen
dc.subject.keywordCálculo de Gentzenen
dc.titleFormalização do Cálculo Pointfree em estilo relacionalen
dc.typeTrabalho de Conclusão de Curso - Graduação - Bachareladoen
dc.date.accessioned2015-04-01T15:22:13Z-
dc.date.available2015-04-01T15:22:13Z-
dc.date.issued2015-04-01T15:22:13Z-
dc.date.submitted2014-12-10-
dc.identifier.urihttp://bdm.unb.br/handle/10483/10144-
dc.language.isoPortuguêsen
dc.description.abstract1The First Order Logic provides techniques to demonstrate and express properties of correctness in systems. However, specification and formalization are techniques that take a lot of time in the construction of software and hardware. Thus, the goal is to study an alternative way of deduction and specification based on relational algebra, called relational calculus, and to compare to Gentzen calculus, seeing sizes of proofs and specifications.-
Aparece na Coleção:Ciência da Computação

Mostrar item em formato simples Recomendar este item Visualizar estatísticas


Este item está licenciado na Licença Creative Commons Creative Commons