Formalização do Cálculo Pointfree em estilo relacional

Detalhes bibliográficos
Autor(a) principal: Ramos, Thiago Mendonça Ferreira
Data de Publicação: 2014
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Biblioteca Digital de Monografias da UnB
Texto Completo: http://bdm.unb.br/handle/10483/10144
Resumo: Monografia (graduação)—Universidade de Brasília, Instituto de Exatas, Departamento de Ciência da Computação, 2014.
id UNB-2_57e54c110d147a5e5647920f9a0c191c
oai_identifier_str oai:bdm.unb.br:10483/10144
network_acronym_str UNB-2
network_name_str Biblioteca Digital de Monografias da UnB
repository_id_str 11571
spelling Ramos, Thiago Mendonça FerreiraAyala Rincón, MauricioRAMOS, 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.http://bdm.unb.br/handle/10483/10144Monografia (graduação)—Universidade de Brasília, Instituto de Exatas, Departamento de Ciência da Computação, 2014.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.Submitted by Cristiane Maria Mendes (mcristianem@gmail.com) on 2015-04-01T13:50:39Z No. of bitstreams: 1 2014_ThiagoMendoncaFerreiraRamos.pdf: 1470027 bytes, checksum: 2adf7f5f8601c689982c53ea810465b6 (MD5)Approved for entry into archive by Ruthlea Nascimento(ruthlea.nascimento@gmail.com) on 2015-04-01T15:22:13Z (GMT) No. of bitstreams: 1 2014_ThiagoMendoncaFerreiraRamos.pdf: 1470027 bytes, checksum: 2adf7f5f8601c689982c53ea810465b6 (MD5)Made available in DSpace on 2015-04-01T15:22:13Z (GMT). No. of bitstreams: 1 2014_ThiagoMendoncaFerreiraRamos.pdf: 1470027 bytes, checksum: 2adf7f5f8601c689982c53ea810465b6 (MD5)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.Ciência da ComputaçãoÁlgebra relacionalCálculo relacionalCálculo de GentzenFormalização do Cálculo Pointfree em estilo relacionalinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesis2015-04-01T15:22:13Z2015-04-01T15:22:13Z2015-04-01T15:22:13Z2014-12-10info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Monografias da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2014_ThiagoMendoncaFerreiraRamos.pdf2014_ThiagoMendoncaFerreiraRamos.pdfapplication/pdf1470027http://bdm.unb.br/xmlui/bitstream/10483/10144/1/2014_ThiagoMendoncaFerreiraRamos.pdf2adf7f5f8601c689982c53ea810465b6MD51CC-LICENSElicense_urllicense_urltext/plain46http://bdm.unb.br/xmlui/bitstream/10483/10144/2/license_url6f1da3ff281999354d4abd56d1551468MD52license_textlicense_textapplication/octet-stream0http://bdm.unb.br/xmlui/bitstream/10483/10144/3/license_textd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/octet-stream21889http://bdm.unb.br/xmlui/bitstream/10483/10144/4/license_rdf5f21d45308ffc58e8d263280cb61c64dMD54LICENSElicense.txtlicense.txttext/plain1857http://bdm.unb.br/xmlui/bitstream/10483/10144/5/license.txta57f4174dcc8f2299a37f53ea6bdf7b9MD5510483/101442020-08-31 23:13:27.683oai:bdm.unb.br:10483/10144TGljZW5zZSBncmFudGVkIGJ5IENyaXN0aWFuZSAgTWFyaWEgTWVuZGVzIChtY3Jpc3RpYW5lbUBnbWFpbC5jb20pIG9uIDIwMTUtMDQtMDFUMTM6NTA6MzlaIChHTVQpOgoKw4kgbmVjZXNzw6FyaW8gY29uY29yZGFyIGNvbSBhIGxpY2Vuw6dhIGRlIGRpc3RyaWJ1acOnw6NvIG7Do28tZXhjbHVzaXZhLAphbnRlcyBxdWUgbyBkb2N1bWVudG8gcG9zc2EgYXBhcmVjZXIgbm8gUmVwb3NpdMOzcmlvLiBQb3IgZmF2b3IsIGxlaWEgYQpsaWNlbsOnYSBhdGVudGFtZW50ZS4gQ2FzbyBuZWNlc3NpdGUgZGUgYWxndW0gZXNjbGFyZWNpbWVudG8gZW50cmUgZW0KY29udGF0byBhdHJhdsOpcyBkZTogYmRtQGJjZS51bmIuYnIgb3UgMzEwNy0yNjg3LgoKTElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCBvL2EgU3IuL1NyYS4gKGF1dG9yIG91IGRldGVudG9yIGRvcwpkaXJlaXRvcyBkZSBhdXRvcik6CgphKSBDb25jZWRlIMOgIFVuaXZlcnNpZGFkZSBkZSBCcmFzw61saWEgbyBkaXJlaXRvIG7Do28tZXhjbHVzaXZvIGRlCnJlcHJvZHV6aXIsIGNvbnZlcnRlciAoY29tbyBkZWZpbmlkbyBhYmFpeG8pLCBjb211bmljYXIgZS9vdQpkaXN0cmlidWlyIG8gZG9jdW1lbnRvIGVudHJlZ3VlIChpbmNsdWluZG8gbyByZXN1bW8vYWJzdHJhY3QpIGVtCmZvcm1hdG8gZGlnaXRhbCBvdSBpbXByZXNzbyBlIGVtIHF1YWxxdWVyIG1laW8uCgpiKSBEZWNsYXJhIHF1ZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBzZXUgdHJhYmFsaG8gb3JpZ2luYWwsIGUgcXVlCmRldMOpbSBvIGRpcmVpdG8gZGUgY29uY2VkZXIgb3MgZGlyZWl0b3MgY29udGlkb3MgbmVzdGEgbGljZW7Dp2EuIERlY2xhcmEKdGFtYsOpbSBxdWUgYSBlbnRyZWdhIGRvIGRvY3VtZW50byBuw6NvIGluZnJpbmdlLCB0YW50byBxdWFudG8gbGhlIMOpCnBvc3PDrXZlbCBzYWJlciwgb3MgZGlyZWl0b3MgZGUgcXVhbHF1ZXIgb3V0cmEgcGVzc29hIG91IGVudGlkYWRlLgoKYykgU2UgbyBkb2N1bWVudG8gZW50cmVndWUgY29udMOpbSBtYXRlcmlhbCBkbyBxdWFsIG7Do28gZGV0w6ltIG9zCmRpcmVpdG9zIGRlIGF1dG9yLCBkZWNsYXJhIHF1ZSBvYnRldmUgYXV0b3JpemHDp8OjbyBkbyBkZXRlbnRvciBkb3MKZGlyZWl0b3MgZGUgYXV0b3IgcGFyYSBjb25jZWRlciDDoCBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhIG9zIGRpcmVpdG9zCnJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgY3Vqb3MgZGlyZWl0b3Mgc8OjbyBkZQp0ZXJjZWlyb3MgZXN0w6EgY2xhcmFtZW50ZSBpZGVudGlmaWNhZG8gZSByZWNvbmhlY2lkbyBubyB0ZXh0byBvdQpjb250ZcO6ZG8gZG8gZG9jdW1lbnRvIGVudHJlZ3VlLgoKU2UgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgYmFzZWFkbyBlbSB0cmFiYWxobyBmaW5hbmNpYWRvIG91IGFwb2lhZG8KcG9yIG91dHJhIGluc3RpdHVpw6fDo28gcXVlIG7Do28gYSBVbml2ZXJzaWRhZGUgZGUgQnJhc8OtbGlhLCBkZWNsYXJhIHF1ZQpjdW1wcml1IHF1YWlzcXVlciBvYnJpZ2HDp8O1ZXMgZXhpZ2lkYXMgcGVsbyByZXNwZWN0aXZvIGNvbnRyYXRvIG91CmFjb3Jkby4KCkEgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYSBpZGVudGlmaWNhcsOhIGNsYXJhbWVudGUgbyhzKSBzZXUgKHMpIG5vbWUgKHMpCmNvbW8gbyAocykgYXV0b3IgKGVzKSBvdSBkZXRlbnRvciAoZXMpIGRvcyBkaXJlaXRvcyBkbyBkb2N1bWVudG8KZW50cmVndWUsIGUgbsOjbyBmYXLDoSBxdWFscXVlciBhbHRlcmHDp8OjbywgcGFyYSBhbMOpbSBkYXMgcGVybWl0aWRhcyBwb3IKZXN0YSBsaWNlbsOnYS4KBiblioteca Digital de Monografiahttps://bdm.unb.br/PUBhttp://bdm.unb.br/oai/requestbdm@bce.unb.br||patricia@bce.unb.bropendoar:115712020-09-01T02:13:27Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)false
dc.title.en.fl_str_mv Formalização do Cálculo Pointfree em estilo relacional
title Formalização do Cálculo Pointfree em estilo relacional
spellingShingle Formalização do Cálculo Pointfree em estilo relacional
Ramos, Thiago Mendonça Ferreira
Ciência da Computação
Álgebra relacional
Cálculo relacional
Cálculo de Gentzen
title_short Formalização do Cálculo Pointfree em estilo relacional
title_full Formalização do Cálculo Pointfree em estilo relacional
title_fullStr Formalização do Cálculo Pointfree em estilo relacional
title_full_unstemmed Formalização do Cálculo Pointfree em estilo relacional
title_sort Formalização do Cálculo Pointfree em estilo relacional
author Ramos, Thiago Mendonça Ferreira
author_facet Ramos, Thiago Mendonça Ferreira
author_role author
dc.contributor.author.fl_str_mv Ramos, Thiago Mendonça Ferreira
dc.contributor.advisor1.fl_str_mv Ayala Rincón, Mauricio
contributor_str_mv Ayala Rincón, Mauricio
dc.subject.keyword.en.fl_str_mv Ciência da Computação
Álgebra relacional
Cálculo relacional
Cálculo de Gentzen
topic Ciência da Computação
Álgebra relacional
Cálculo relacional
Cálculo de Gentzen
description Monografia (graduação)—Universidade de Brasília, Instituto de Exatas, Departamento de Ciência da Computação, 2014.
publishDate 2014
dc.date.submitted.none.fl_str_mv 2014-12-10
dc.date.accessioned.fl_str_mv 2015-04-01T15:22:13Z
dc.date.available.fl_str_mv 2015-04-01T15:22:13Z
dc.date.issued.fl_str_mv 2015-04-01T15:22:13Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv 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.
dc.identifier.uri.fl_str_mv http://bdm.unb.br/handle/10483/10144
identifier_str_mv 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.
url http://bdm.unb.br/handle/10483/10144
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Monografias da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Biblioteca Digital de Monografias da UnB
collection Biblioteca Digital de Monografias da UnB
bitstream.url.fl_str_mv http://bdm.unb.br/xmlui/bitstream/10483/10144/1/2014_ThiagoMendoncaFerreiraRamos.pdf
http://bdm.unb.br/xmlui/bitstream/10483/10144/2/license_url
http://bdm.unb.br/xmlui/bitstream/10483/10144/3/license_text
http://bdm.unb.br/xmlui/bitstream/10483/10144/4/license_rdf
http://bdm.unb.br/xmlui/bitstream/10483/10144/5/license.txt
bitstream.checksum.fl_str_mv 2adf7f5f8601c689982c53ea810465b6
6f1da3ff281999354d4abd56d1551468
d41d8cd98f00b204e9800998ecf8427e
5f21d45308ffc58e8d263280cb61c64d
a57f4174dcc8f2299a37f53ea6bdf7b9
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Monografias da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv bdm@bce.unb.br||patricia@bce.unb.br
_version_ 1801492961112883200

Registros relacionados