Instituto de Ciência e Tecnologia

Permanent URI for this communityhttps://repositorio.ufvjm.edu.br/communities/fb7f62be-a991-43bb-a456-a6bb33a6c36f

ICT - Instituto de Ciência e Tecnologia

Browse

Filters

20211

Settings

Author: search.filters.author.Sapunaru, Raquel AnnaSubject: search.filters.subject.Lógica - Filosofia

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Introdução à Lógica a partir de sua história filosófica: volume 2: de Aristóteles a C++
    (Fi, 2021) Pires, Alvaro Pereira; Sousa, Ana Luiza de Almeida e; Amaral, Anne Caroline Froes; Aguiar, Paulo Virgílio Lemes; Sapunaru, Raquel Anna
    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.