1 resultado para 280402 Mathematical Logic and Formal Languages
em Repositório Institucional da Universidade Estadual de São Paulo - UNESP
Filtro por publicador
- Academic Archive On-line (Mid Sweden University; Sweden) (1)
- Academic Archive On-line (Stockholm University; Sweden) (2)
- Academic Research Repository at Institute of Developing Economies (4)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (3)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (18)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (2)
- Archive of European Integration (2)
- Aston University Research Archive (39)
- Biblioteca de Teses e Dissertações da USP (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (14)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (25)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (40)
- Brock University, Canada (3)
- Bucknell University Digital Commons - Pensilvania - USA (4)
- Bulgarian Digital Mathematics Library at IMI-BAS (23)
- CentAUR: Central Archive University of Reading - UK (78)
- Central European University - Research Support Scheme (6)
- Cochin University of Science & Technology (CUSAT), India (3)
- Coffee Science - Universidade Federal de Lavras (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (6)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (21)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- Corvinus Research Archive - The institutional repository for the Corvinus University of Budapest (7)
- CUNY Academic Works (1)
- Dalarna University College Electronic Archive (4)
- Department of Computer Science E-Repository - King's College London, Strand, London (17)
- Digital Archives@Colby (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons at Florida International University (7)
- Digital Peer Publishing (3)
- DigitalCommons - The University of Maine Research (1)
- DigitalCommons@The Texas Medical Center (4)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (26)
- Duke University (2)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (2)
- Harvard University (4)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (3)
- Instituto Politécnico do Porto, Portugal (9)
- Martin Luther Universitat Halle Wittenberg, Germany (3)
- Memoria Académica - FaHCE, UNLP - Argentina (12)
- National Center for Biotechnology Information - NCBI (2)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (7)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (4)
- Repositório da Produção Científica e Intelectual da Unicamp (2)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (2)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (1)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (53)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (11)
- School of Medicine, Washington University, United States (1)
- Scielo Saúde Pública - SP (9)
- Universidad Autónoma de Nuevo León, Mexico (1)
- Universidad de Alicante (9)
- Universidad del Rosario, Colombia (5)
- Universidad Politécnica de Madrid (43)
- Universidade Complutense de Madrid (1)
- Universidade do Minho (2)
- Universidade dos Açores - Portugal (2)
- Universidade Federal do Pará (4)
- Universidade Federal do Rio Grande do Norte (UFRN) (12)
- Universidade Metodista de São Paulo (2)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (10)
- Université de Lausanne, Switzerland (17)
- Université de Montréal, Canada (9)
- University of Michigan (115)
- University of Queensland eSpace - Australia (194)
- University of Southampton, United Kingdom (1)
- University of Washington (4)
Resumo:
This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained