Para Todxs Natal
Para Todxs: Natal é um livro didático completo sobre lógica formal. Ele aborda noções fundamentais como consequência lógica e validade de argumentos, a sintaxe da lógica proposicional verofuncional (LVF) e a semântica de tabelas-verdade, a sintaxe da lógica de predicados de primeira ordem (LPO) com...
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | Portuguese |
| Published: |
[Place of publication not identified]
Grupo de Estudos em Lógica da UFRN
2022.
|
| Series: | Open textbook library.
|
| Subjects: | |
| Online Access: | Access online version |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | OTLid0001141 | ||
| 003 | MnU | ||
| 005 | 20240122145230.0 | ||
| 006 | m o d s | ||
| 007 | cr | ||
| 008 | 220219s2022 mnu o 0 0 por d | ||
| 040 | |a MnU |b eng |c MnU | ||
| 050 | 4 | |a B72 | |
| 245 | 0 | 0 | |a Para Todxs |b Natal |c Grupo de Estudos em Lógica da UFRN |
| 264 | 2 | |a Minneapolis, MN |b Open Textbook Library | |
| 264 | 1 | |a [Place of publication not identified] |b Grupo de Estudos em Lógica da UFRN |c 2022. | |
| 264 | 4 | |c ©2022. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 0 | |a Open textbook library. | |
| 505 | 0 | |a I Introdução Informal à Lógica -- II Lógica Verofuncional – LVF -- III Tabelas de Verdade -- IV Lógica de Primeira Ordem – LPO -- V Interpretações -- VI Dedução Natural para a LVF -- VII Dedução Natural para a LPO -- VIII Lógica Modal -- IX Metateoria | |
| 520 | 0 | |a Para Todxs: Natal é um livro didático completo sobre lógica formal. Ele aborda noções fundamentais como consequência lógica e validade de argumentos, a sintaxe da lógica proposicional verofuncional (LVF) e a semântica de tabelas-verdade, a sintaxe da lógica de predicados de primeira ordem (LPO) com identidade (interpretações de primeira ordem), traduções (formalizações) do português para LVF e LPO, além de sistemas de prova em dedução natural (estilo Fitch) para LVF e LPO. Também são abordados alguns tópicos mais avançados, como a correção da LVF e uma introdução à lógica modal. O livro está disponível em PDF otimizado para visualização em tela, com links coloridos. Todos os arquivos fonte em LaTeX estão disponíveis, e podem ser também utilizados para gerar uma outra versão PDF otimizada para impressão. Posteriormente, versões especiais para visualização em tela de dispositivos eletrônicos, versões em folha preta, uma versão com fonte especial para disléxicos, além de um caderno com as soluções dos exercícios também serão produzidos. Um editor/verificador de provas para o sistema usado no livro está disponível online em andersonnakano.hyperphp.com, em versão traduzida ao português por Anderson Luis Nakano do editor original disponível em Open Logic Project. | |
| 542 | 1 | |f Attribution | |
| 546 | |a In Portuguese. | ||
| 588 | 0 | |a Description based on print resource | |
| 650 | 0 | |a Humanities |v Textbooks | |
| 650 | 0 | |a Philosophy |v Textbooks | |
| 710 | 2 | |a Open Textbook Library |e distributor | |
| 710 | 2 | |a Grupo de Estudos em Lógica da UFRN |e author | |
| 856 | 4 | 0 | |u https://open.umn.edu/opentextbooks/textbooks/1141 |z Access online version |