Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++
Autor(a) principal: | |
---|---|
Data de Publicação: | 2021 |
Outros Autores: | , , , |
Tipo de documento: | Livro |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFVJM |
Texto Completo: | http://acervo.ufvjm.edu.br/jspui/handle/1/2571 |
Resumo: | Nosso trabalho consiste em implementar atrav?s de rotinas escritas em C++, alguns silogismos aristot?licos apresentados em AAL1, fazendo tamb?m uso da classifica??o medieval conforme apresentado no livro Deductive Logic de St. G. W. J. Stock. Nem todos os cap?tulos ou exemplos de AAL1 foram contemplados, principalmente porque a certa altura Arist?teles se repete. |
id |
UFVJM-2_ec5d5bc800d413b22ccf7c1b21a2b7f0 |
---|---|
oai_identifier_str |
oai:acervo.ufvjm.edu.br/jspui:1/2571 |
network_acronym_str |
UFVJM-2 |
network_name_str |
Repositório Institucional da UFVJM |
repository_id_str |
2145 |
spelling |
Pires, Alvaro PereiraSousa, Ana Luiza de Almeida eAmaral, Anne Caroline FroesAguiar, Paulo Virg?lio LemesSapunaru, Raquel Anna2021-06-21T12:36:45Z2021-06-21T12:36:45Z2021PIRES. Alvaro Pereira; SOUSA, Ana Luiza de Almeida e; AMARAL, Anne Caroline Froes; AGUIAR, Paulo Virg?lio Lemes; SAPUNARU, Raquel Anna. Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++. Porto Alegre: Fi, 2021. 86 p. Dispon?vel em: http://acervo.ufvjm.edu.br/jspui/handle/1/2571. Acesso em: 21 jun. 2021.9786559170722http://acervo.ufvjm.edu.br/jspui/handle/1/257110.22350/9786559170722Nosso trabalho consiste em implementar atrav?s de rotinas escritas em C++, alguns silogismos aristot?licos apresentados em AAL1, fazendo tamb?m uso da classifica??o medieval conforme apresentado no livro Deductive Logic de St. G. W. J. Stock. Nem todos os cap?tulos ou exemplos de AAL1 foram contemplados, principalmente porque a certa altura Arist?teles se repete.Submitted by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2021-06-21T12:36:23Z No. of bitstreams: 1 introducao_logica_aristoteles_v2.pdf: 662160 bytes, checksum: 3f59f6854333b30013558943e3b2536f (MD5)Approved for entry into archive by Rodrigo Martins Cruz (rodrigo.cruz@ufvjm.edu.br) on 2021-06-21T12:36:45Z (GMT) No. of bitstreams: 1 introducao_logica_aristoteles_v2.pdf: 662160 bytes, checksum: 3f59f6854333b30013558943e3b2536f (MD5)Made available in DSpace on 2021-06-21T12:36:45Z (GMT). No. of bitstreams: 1 introducao_logica_aristoteles_v2.pdf: 662160 bytes, checksum: 3f59f6854333b30013558943e3b2536f (MD5) Previous issue date: 2021Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq)porFiFilosofiaL?gica - Hist?riaL?gica - FilosofiaIntrodu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookTodos os livros publicados pela Editora Fi est?o sob os direitos da Creative Commons 4.0 https://creativecommons.org/licenses/by/4.0/deed.pt_BRinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFVJMinstname:Universidade Federal dos Vales do Jequitinhonha e Mucuri (UFVJM)instacron:UFVJMTEXTintroducao_logica_aristoteles_v2.pdf.txtintroducao_logica_aristoteles_v2.pdf.txtExtracted texttext/plain62312http://acervo.ufvjm.edu.br/jspui/bitstream/1/2571/3/introducao_logica_aristoteles_v2.pdf.txta8f595695355768002b59d04d9833977MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-82157http://acervo.ufvjm.edu.br/jspui/bitstream/1/2571/2/license.txtc0fe10782d3e2994b7c028f47c86ff9eMD52ORIGINALintroducao_logica_aristoteles_v2.pdfintroducao_logica_aristoteles_v2.pdfapplication/pdf662160http://acervo.ufvjm.edu.br/jspui/bitstream/1/2571/1/introducao_logica_aristoteles_v2.pdf3f59f6854333b30013558943e3b2536fMD511/25712021-06-22 03:00:22.499oai:acervo.ufvjm.edu.br/jspui:1/2571TElDRU7Dh0EgREUgRElTVFJJQlVJw4fDg08gTsODTy1FWENMVVNJVkEKQW8gY29uY29yZGFyIGNvbSBlc3RhIGxpY2Vuw6dhLCB2b2PDqihzKSBhdXRvcihlcykgb3UgdGl0dWxhcihlcykgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIGRhIG9icmEgYXF1aSBkZXNjcml0YSBjb25jZWRlKG0pIArDoCBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkb3MgVmFsZXMgZG8gSmVxdWl0aW5ob25oYSBlIE11Y3VyaSwgZ2VzdG9yYSBkbyBSZXBvc2l0w7NyaW8sIGRlbm9taW5hZG8gUkkvVUZWSk0sIApvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4bykgZS9vdSBkaXN0cmlidWlyIG8gCmRvY3VtZW50byBkZXBvc2l0YWRvIGVtIGZvcm1hdG8gaW1wcmVzc28sIGVsZXRyw7RuaWNvIG91IGVtIHF1YWxxdWVyIG91dHJvIG1laW8uClZvY8OqKHMpIGNvbmNvcmRhKG0pIHF1ZSBhIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRvcyBWYWxlcyBkbyBKZXF1aXRpbmhvbmhhIGUgTXVjdXJpLCAKZ2VzdG9yYSBkbyBSSS9VRlZKTSwgcG9kZSwgc2VtIGFsdGVyYXIgbyBjb250ZcO6ZG8sIGNvbnZlcnRlciBvIGFycXVpdm8gZGVwb3NpdGFkbyBhIHF1YWxxdWVyIG1laW8gb3UgCmZvcm1hdG8gY29tIGZpbnMgZGUgcHJlc2VydmHDp8Ojby4KVm9jw6oocykgdGFtYsOpbSBjb25jb3JkYShtKSBxdWUgYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkb3MgVmFsZXMgZG8gSmVxdWl0aW5ob25oYSBlIE11Y3VyaSwgCmdlc3RvcmEgZG8gUkkvVUZWSk0sIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXN0ZSBkZXDDs3NpdG8gcGFyYSBmaW5zIGRlIHNlZ3VyYW7Dp2EsIGJhY2stdXAgZS9vdSBwcmVzZXJ2YcOnw6NvLgpWb2PDqihzKSBkZWNsYXJhKG0pIHF1ZSBhIGFwcmVzZW50YcOnw6NvIGRvIHNldSB0cmFiYWxobyDDqSBvcmlnaW5hbCBlIHF1ZSB2b2PDqihzKSBwb2RlKG0pIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIApuZXN0YSBsaWNlbsOnYSBlIG5vIFRlcm1vIGRlIEF1dG9yaXphw6fDo28gYSBzZXIgZW50cmVndWUuClZvY8OqKHMpIHRhbWLDqW0gZGVjbGFyYShtKSBxdWUgbyBlbnZpbyDDqSBkZSBzZXUgY29uaGVjaW1lbnRvIGUgbsOjbyBpbmZyaW5nZSBvcyBkaXJlaXRvcyBhdXRvcmFpcyAKZGUgb3V0cmEgcGVzc29hIG91IGluc3RpdHVpw6fDo28uCkNhc28gbyBkb2N1bWVudG8gYSBzZXIgZGVwb3NpdGFkbyBjb250ZW5oYSBtYXRlcmlhbCBwYXJhIG8gcXVhbCB2b2PDqihzKSBuw6NvIGRldMOpbSBhIHRpdHVsYXJpZGFkZSBkb3MgZGlyZWl0b3MgZGUgYXV0b3JhaXMsCnZvY8OqKHMpIGRlY2xhcmEobSkgcXVlIG9idGV2ZSBhIHBlcm1pc3PDo28gaXJyZXN0cml0YSBkbyB0aXR1bGFyIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBkZSBjb25jZWRlciDDoCBVbml2ZXJzaWRhZGUgRmVkZXJhbApkb3MgVmFsZXMgZG8gSmVxdWl0aW5ob25oYSBlIE11Y3VyaSwgZ2VzdG9yYSBkbyBSSS9VRlZKTSwgb3MgZGlyZWl0b3MgcmVxdWVyaWRvcyBwb3IgZXN0YSBsaWNlbsOnYSBlIHF1ZSBvcyBtYXRlcmlhaXMgCmRlIHByb3ByaWVkYWRlIGRlIHRlcmNlaXJvcywgZXN0w6NvIGRldmlkYW1lbnRlIGlkZW50aWZpY2Fkb3MgZSByZWNvbmhlY2lkb3Mgbm8gdGV4dG8gb3UgY29udGXDumRvIGRhIGFwcmVzZW50YcOnw6NvLgpDQVNPIE8gVFJBQkFMSE8gREVQT1NJVEFETyBURU5IQSBTSURPIEZJTkFOQ0lBRE8gT1UgQVBPSUFETyBQT1IgVU0gw5NSR8ODTywgUVVFIE7Dg08gQSBJTlNUSVRVScOHw4NPIERFU1RFIFJFUE9TSVTDk1JJTzogVk9Dw4ogREVDTEFSQSBURVIgQ1VNUFJJRE8gVE9ET1MgT1MgRElSRUlUT1MgREUgUkVWSVPDg08gRSBRVUFJU1FVRVIgT1VUUkFTIE9CUklHQcOHw5VFUyBSRVFVRVJJREFTIApQRUxPUyBDT05UUkFUT1MgT1UgQUNPUkRPUy4gCk8gUkkvVUZWSk0gaWRlbnRpZmljYXLDoSBjbGFyYW1lbnRlIG8gc2V1KHMpIG5vbWUocykgY29tbyBhdXRvcihlcykgb3UgdGl0dWxhcihlcykgZG8gZGlyZWl0byBkZSAKYXV0b3IoZXMpIGRvIGRvY3VtZW50byBzdWJtZXRpZG8gZSBkZWNsYXJhIHF1ZSBuw6NvIGZhcsOhIHF1YWxxdWVyIGFsdGVyYcOnw6NvIGFsw6ltIGRhcyBwZXJtaXRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgoKRepositório InstitucionalPUBhttp://acervo.ufvjm.edu.br/oai/requestrepositorio@ufvjm.edu.bropendoar:21452021-06-22T06:00:22Repositório Institucional da UFVJM - Universidade Federal dos Vales do Jequitinhonha e Mucuri (UFVJM)false |
dc.title.pt_BR.fl_str_mv |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ |
title |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ |
spellingShingle |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ Pires, Alvaro Pereira Filosofia L?gica - Hist?ria L?gica - Filosofia |
title_short |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ |
title_full |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ |
title_fullStr |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ |
title_full_unstemmed |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ |
title_sort |
Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++ |
author |
Pires, Alvaro Pereira |
author_facet |
Pires, Alvaro Pereira Sousa, Ana Luiza de Almeida e Amaral, Anne Caroline Froes Aguiar, Paulo Virg?lio Lemes Sapunaru, Raquel Anna |
author_role |
author |
author2 |
Sousa, Ana Luiza de Almeida e Amaral, Anne Caroline Froes Aguiar, Paulo Virg?lio Lemes Sapunaru, Raquel Anna |
author2_role |
author author author author |
dc.contributor.author.fl_str_mv |
Pires, Alvaro Pereira Sousa, Ana Luiza de Almeida e Amaral, Anne Caroline Froes Aguiar, Paulo Virg?lio Lemes Sapunaru, Raquel Anna |
dc.subject.por.fl_str_mv |
Filosofia L?gica - Hist?ria L?gica - Filosofia |
topic |
Filosofia L?gica - Hist?ria L?gica - Filosofia |
description |
Nosso trabalho consiste em implementar atrav?s de rotinas escritas em C++, alguns silogismos aristot?licos apresentados em AAL1, fazendo tamb?m uso da classifica??o medieval conforme apresentado no livro Deductive Logic de St. G. W. J. Stock. Nem todos os cap?tulos ou exemplos de AAL1 foram contemplados, principalmente porque a certa altura Arist?teles se repete. |
publishDate |
2021 |
dc.date.accessioned.fl_str_mv |
2021-06-21T12:36:45Z |
dc.date.available.fl_str_mv |
2021-06-21T12:36:45Z |
dc.date.issued.fl_str_mv |
2021 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/book |
format |
book |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
PIRES. Alvaro Pereira; SOUSA, Ana Luiza de Almeida e; AMARAL, Anne Caroline Froes; AGUIAR, Paulo Virg?lio Lemes; SAPUNARU, Raquel Anna. Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++. Porto Alegre: Fi, 2021. 86 p. Dispon?vel em: http://acervo.ufvjm.edu.br/jspui/handle/1/2571. Acesso em: 21 jun. 2021. |
dc.identifier.uri.fl_str_mv |
http://acervo.ufvjm.edu.br/jspui/handle/1/2571 |
dc.identifier.isbn.none.fl_str_mv |
9786559170722 |
dc.identifier.doi.none.fl_str_mv |
10.22350/9786559170722 |
identifier_str_mv |
PIRES. Alvaro Pereira; SOUSA, Ana Luiza de Almeida e; AMARAL, Anne Caroline Froes; AGUIAR, Paulo Virg?lio Lemes; SAPUNARU, Raquel Anna. Introdu??o ? L?gica a partir de sua hist?ria filos?fica: volume 2: de Arist?teles a C++. Porto Alegre: Fi, 2021. 86 p. Dispon?vel em: http://acervo.ufvjm.edu.br/jspui/handle/1/2571. Acesso em: 21 jun. 2021. 9786559170722 10.22350/9786559170722 |
url |
http://acervo.ufvjm.edu.br/jspui/handle/1/2571 |
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.publisher.none.fl_str_mv |
Fi |
publisher.none.fl_str_mv |
Fi |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFVJM instname:Universidade Federal dos Vales do Jequitinhonha e Mucuri (UFVJM) instacron:UFVJM |
instname_str |
Universidade Federal dos Vales do Jequitinhonha e Mucuri (UFVJM) |
instacron_str |
UFVJM |
institution |
UFVJM |
reponame_str |
Repositório Institucional da UFVJM |
collection |
Repositório Institucional da UFVJM |
bitstream.url.fl_str_mv |
http://acervo.ufvjm.edu.br/jspui/bitstream/1/2571/3/introducao_logica_aristoteles_v2.pdf.txt http://acervo.ufvjm.edu.br/jspui/bitstream/1/2571/2/license.txt http://acervo.ufvjm.edu.br/jspui/bitstream/1/2571/1/introducao_logica_aristoteles_v2.pdf |
bitstream.checksum.fl_str_mv |
a8f595695355768002b59d04d9833977 c0fe10782d3e2994b7c028f47c86ff9e 3f59f6854333b30013558943e3b2536f |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFVJM - Universidade Federal dos Vales do Jequitinhonha e Mucuri (UFVJM) |
repository.mail.fl_str_mv |
repositorio@ufvjm.edu.br |
_version_ |
1801865810730287104 |