Índice | |
●Parte I Introdução ao software LPL Capítulo 1 Mundo de Tarski 7.2 Introdução 1.1 Inicialização 1.2 Painel de controle mundial 1.3 Painel de controle de declaração 1.4 Verificando sintaxe e valores verdade 1.5 Jogar jogos 1.6 Preferências Capítulo 2 Introdução ao Fitch 3.7 2.1 Inicialização 2.2 Criando e editando uma prova 2.3 Objetivos 2.4 Copiar e colar 2.5 Exportando Texto 2.6 Criar Exercício 2.7 Configurações de parâmetros …… |
breve introdução | |
Existem muitos métodos operacionais em lógica matemática, como o método da tabela verdade, método de raciocínio formal, etc. Para facilitar o estudo da lógica matemática, este livro apresenta esses métodos por meio do software de aprendizado de lógica LPL (Linguagem, Prova e Lógica). Os alunos podem entender corretamente as ideias em lógica matemática e dominar os métodos em lógica matemática operando (ou experimentando) o software de aprendizado de lógica LPL em um computador. Eles também podem estudar com o MOOC "Lógica Experimental" neste livro. |
Sobre o autor | |
Li Na é professora e supervisora de doutorado na Escola de Filosofia da Universidade de Nankai. Ela tem se engajado no ensino e na pesquisa de lógica moderna. Livros didáticos que ela escreveu: 1. "Experimental Logic", primeira edição, 2017, 430.000 palavras, Nankai University Press, ISBN978-7-310-06014-6, ganhou o prêmio Tianjin College Course Ideological and Political Excellent Textbook em 2021. 2. "Experimental Logic", segunda edição, 2021, 430.000 palavras, Nankai University Press, ISBN978-7-310-05351-3, ganhou o prêmio Tianjin College Course Ideological and Political Excellent Textbook em 2021. 3. "Thoughts and Methods of Mathematical Logic", segunda edição, 340.000 palavras, Nankai University Press, ISBN978-7-310-05062-8, livro didático de planejamento "Twelfth Five-Year Plan", ganhou o terceiro prêmio de Pesquisa Científica de Destaque do Ministério da Educação Conquistas em faculdades e universidades em 2009. |