Utilize este link para identificar ou citar este item:
https://bdm.unb.br/handle/10483/10144
| Título: | Formalização do Cálculo Pointfree em estilo relacional |
| Autor(es): | Ramos, Thiago Mendonça Ferreira |
| Orientador(es): | Ayala Rincón, Mauricio |
| Assunto: | Ciência da Computação
Álgebra relacional
Cálculo relacional
Cálculo de Gentzen |
| Data de apresentação: | 10-Dez-2014 |
| Data de publicação: | 1-Abr-2015 |
| Referência: | RAMOS, 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. |
| Resumo: | A 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. |
| Abstract: | The 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. |
| Informações adicionais: | Monografia (graduação)—Universidade de Brasília, Instituto de Exatas, Departamento de Ciência da Computação, 2014. |
| Aparece na Coleção: | Ciência da Computação
|
Este item está licenciado na Licença Creative Commons
