Main.Temp History
Show minor edits - Show changes to output
Added line 42:
|| Video aula || H || Ricardo Pereira Tassinari || || || || || || ✕ || ✕ || Introdução aos conceitos de Sistema Formal (ou Teoria Formal) e de Correção e Completude || [[https://youtu.be/S9oarqPXDCs| ytb]] || ||
Changed lines 63-64 from:
[[https://logicamx.wixsite.com/logicamx/compartiendo-aula| Série Compartiendo Aula por Lógica MX]]
to:
[[https://logicamx.wixsite.com/logicamx/compartiendo-aula| Série Compartiendo Aula]] por Lógica MX
Changed lines 67-77 from:
[[https://www.youtube.com/playlist?list=PLbEJNppcCD6VCbl-sWPGtjV7jnK_PIiYj| What is logic? por Sara Uckleman]]
[[https://weblogic.a2hosted.com/Logic/| blogic: a logic textbook por J. David Velleman]]
[[https://dailynous.com/2023/07/10/logic-courseware-surveyed/|Logic Courseware, Surveyed por Justin Weinberg]]
[[https://www.logicmatters.net/|Logic Matters por Peter Smith]]
[[https://www.logicmatters.net/ifl/ifl2-exercises-and-answers-2/|Exercícios por Peter Smith]]
[[http://www.profneilmehta.com/resources.html|Resources for teaching philosophy por Neil Mehta]]
to:
[[https://www.youtube.com/playlist?list=PLbEJNppcCD6VCbl-sWPGtjV7jnK_PIiYj| What is logic?]] por Sara Uckleman
[[https://weblogic.a2hosted.com/Logic/| blogic: a logic textbook]] por J. David Velleman
[[https://dailynous.com/2023/07/10/logic-courseware-surveyed/|Logic Courseware, Surveyed]] por Justin Weinberg
[[https://www.logicmatters.net/|Logic Matters]] por Peter Smith
[[https://www.logicmatters.net/ifl/ifl2-exercises-and-answers-2/|Exercícios]] por Peter Smith
[[http://www.profneilmehta.com/resources.html|Resources for teaching philosophy]] por Neil Mehta
[[https://weblogic.a2hosted.com/Logic/| blogic: a logic textbook]] por J. David Velleman
[[https://dailynous.com/2023/07/10/logic-courseware-surveyed/|Logic Courseware, Surveyed]] por Justin Weinberg
[[https://www.logicmatters.net/|Logic Matters]] por Peter Smith
[[https://www.logicmatters.net/ifl/ifl2-exercises-and-answers-2/|Exercícios]] por Peter Smith
[[http://www.profneilmehta.com/resources.html|Resources for teaching philosophy]] por Neil Mehta
Changed line 75 from:
[[]https://www.logicmatters.net/ifl/ifl2-exercises-and-answers-2/|Exercícios por Peter Smith]
to:
[[https://www.logicmatters.net/ifl/ifl2-exercises-and-answers-2/|Exercícios por Peter Smith]]
Added lines 60-77:
----
!! Material em espanhol
[[https://logicamx.wixsite.com/logicamx/compartiendo-aula| Série Compartiendo Aula por Lógica MX]]
----
!! Material em inglês
[[https://www.youtube.com/playlist?list=PLbEJNppcCD6VCbl-sWPGtjV7jnK_PIiYj| What is logic? por Sara Uckleman]]
[[https://weblogic.a2hosted.com/Logic/| blogic: a logic textbook por J. David Velleman]]
[[https://dailynous.com/2023/07/10/logic-courseware-surveyed/|Logic Courseware, Surveyed por Justin Weinberg]]
[[https://www.logicmatters.net/|Logic Matters por Peter Smith]]
[[]https://www.logicmatters.net/ifl/ifl2-exercises-and-answers-2/|Exercícios por Peter Smith]
[[http://www.profneilmehta.com/resources.html|Resources for teaching philosophy por Neil Mehta]]
Added line 41:
|| Video aula || E || Davi Romero de Vasconcelos || || ✕ || ✕ || || || || || Disciplinas de Lógica para Computação ofertadas no Campus da UFC em Quixadá || [[https://youtube.com/playlist?list=PLfOnKvd6pFiq_BUI-llPhDeGR55P6nHfr| ytb]] || BY-ND ||
Changed line 18 from:
|| Video aulas || H || Daniel Durante || || ✕ || ✕ || || || || ✕ || Introdução à Lógica || [[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7| ytb]] || [-BY-] ||
to:
|| Video aulas || H || Daniel Durante || || ✕ || ✕ || || || || ✕ || Introdução à Lógica || [[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7| ytb]] || BY ||
Changed line 20 from:
|| Livro || H || Autoria coletiva || || ✕ || ✕ || ✕ || || ✕ || ✕ || Para Todxs Natal: uma introdução à lógica formal || [[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 | pdf]] || [-BY-] ||
to:
|| Livro || H || Autoria coletiva || || ✕ || ✕ || ✕ || || ✕ || ✕ || Para Todxs Natal: uma introdução à lógica formal || [[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 | pdf]] || BY ||
Changed line 18 from:
|| Video aulas || H || Daniel Durante || || ✕ || ✕ || || || || ✕ || Introdução à Lógica || [[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7| ytb]] || BY ||
to:
|| Video aulas || H || Daniel Durante || || ✕ || ✕ || || || || ✕ || Introdução à Lógica || [[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7| ytb]] || [-BY-] ||
Changed line 20 from:
|| Livro || H || Autoria coletiva || || ✕ || ✕ || ✕ || || ✕ || ✕ || Para Todxs Natal: uma introdução à lógica formal || [[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 | pdf]] || BY ||
to:
|| Livro || H || Autoria coletiva || || ✕ || ✕ || ✕ || || ✕ || ✕ || Para Todxs Natal: uma introdução à lógica formal || [[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 | pdf]] || [-BY-] ||
Changed lines 46-47 from:
||border=1 style="border: 1px dashed black; border-collapse:collapse"
to:
(por Daniel Durante)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
Changed lines 51-52 from:
||border=1 style="border: 1px dashed black; border-collapse:collapse"
to:
(por Hudson Benevides)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
Changed lines 56-57 from:
||border=1 style="border: 1px dashed black; border-collapse:collapse"
to:
(por Evelyn Erickson)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
Changed line 11 from:
||border=1 class="sortable simpletable"
to:
||border=1 style="border-collapse:collapse" cellpadding="5"
Changed lines 46-49 from:
(por Daniel Durante)
É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática. O livro está disponível online .
to:
%right% (por Daniel Durante)
||border=1 style="border: 1px dashed black; border-collapse:collapse"
||É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática. O livro está disponível [[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 |online]].||
||border=1 style="border: 1px dashed black; border-collapse:collapse"
||É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática. O livro está disponível [[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 |online]].||
Changed lines 51-54 from:
(por Hudson Benevides)
É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.
to:
%right% (por Hudson Benevides)
||border=1 style="border: 1px dashed black; border-collapse:collapse"
||É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.||
||border=1 style="border: 1px dashed black; border-collapse:collapse"
||É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.||
Changed lines 56-58 from:
(por Evelyn Erickson)
O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | Aqui]] há um plano de aula baseado no capítulo 1.
to:
%right% (por Evelyn Erickson)
||border=1 style="border: 1px dashed black; border-collapse:collapse"
||O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | Aqui]] há um plano de aula baseado no capítulo 1.||
||border=1 style="border: 1px dashed black; border-collapse:collapse"
||O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | Aqui]] há um plano de aula baseado no capítulo 1.||
Changed line 34 from:
|| Slides || E+H || Elaine Pimentel || ||
to:
|| Slides || E+H || Elaine Pimentel || || ✕ || ✕ || ✕ || ✕ || ✕ || || Slides e ementa do curso de Proof Theory (Mestrado/ UFRN) || [[https://drive.google.com/file/d/1QD_Y2MRPsj5VYqPNOvOoQjpiKmUtQ6ao/view | pdf]] || ||
Changed line 30 from:
|| Video aulas || E || Karina Girardi Roggia || ✕ ||
to:
|| Video aulas || E || Karina Girardi Roggia || || ✕ || || || || || || Lógica Matemática, voltada à Computação || [[https://www.youtube.com/playlist?list=PLnkV1lryuasg7Fl006iW3_RdgXRbEgzOv | ytb]] || BY-SA ||
Changed line 16 from:
|| Videopédia || E+H || João Marcos || || ✕ || ✕ || || ✕ || ✕ || Introdução Computacional à Lógica Matemática || [[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica | www]] || BY ||
to:
|| Videopédia || E+H || João Marcos || || ✕ || ✕ || || || ✕ || || Introdução Computacional à Lógica Matemática || [[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica | www]] || BY ||
Changed line 21 from:
|| Slides || H || Marcelo Finger (com Renata Wassermann) || || ✕ || ✕ || || || || || Introdução à Lógica e Métodos Formais || [[https://drive.google.com/file/d/1lLHCM6Nk3xA0EDTTH9NonHeo8x_ldRiA/view | pdf]] || BY-SA ||
to:
|| Slides || H || Marcelo Finger (com Renata Wassermann) || || ✕ || ✕ || || || || || Introdução à Lógica e Métodos Formais || [[https://drive.google.com/file/d/1T5NncudGTux1FwTIWd75SoFCSdPeb2ys/view?usp=sharing | pdf]] || BY-SA ||
Changed line 11 from:
||border=1 class=sortable id=thetable
to:
||border=1 class="sortable simpletable"
Changed line 14 from:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida || || ✕ ||
to:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida || || ✕ || ✕ || || || ✕ || ✕ || || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ| ytb]] || ||
Changed lines 38-40 from:
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Slides, exercícios e teoria sobre tipos de dados recursivos || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Tópicos sobre álgebras, especificações algébricas e tipos de dados || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E ||
|| Notas de aula e exercícios || E ||
|| Notas de aula e exercícios || E ||
to:
|| Notas de aula e exercícios || E || João Marcos || || || || || || || ✕ || Slides, exercícios e teoria sobre tipos de dados recursivos || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || João Marcos || || || || || || || ✕ || Tópicos sobre álgebras, especificações algébricas e tipos de dados || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || João Marcos || || || || || || || ✕ || Teoria dos conjuntos, funções e relações || [[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || João Marcos || || || || || || || ✕ || Tópicos sobre álgebras, especificações algébricas e tipos de dados || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || João Marcos || || || || || || || ✕ || Teoria dos conjuntos, funções e relações || [[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 | www]] || ||
Added lines 1-2:
!Material para ensino de lógica e disciplinas afins
Changed lines 8-14 from:
O
A '''área''' segue a seguinte legenda: '''E''' (Exatas) e '''H''' (Humanas).
to:
O '''conteúdo''' segue a seguinte legenda: '''I''' (Lógica Informal), '''P''' (Lógica Proposicional), '''O''' (Lógica de Primeira Ordem), '''M''' (Lógica Modal), '''N''' (Lógicas Não-Clássicas), '''T''' (Metateoria), e '''F''' (Fundamentos). A '''área''' segue a seguinte legenda: '''E''' (Exatas) e '''H''' (Humanas).
Changed line 22 from:
|| Jogo || H+E || Keep Talking and Nobody Explodes || || ✕ || || || || || || Um jogo sobre seguir um manual de instruções || [[https://keeptalkinggame.com | www]] || ||
to:
|| Jogo || E+H || Keep Talking and Nobody Explodes || || ✕ || || || || || || Um jogo sobre seguir um manual de instruções || [[https://keeptalkinggame.com | www]] || ||
Changed line 28 from:
|| Video aulas e exercícios || H+E || João Marcos || || || || || || || ✕ || Conjuntos & funções, com um viés computacional || [[https://www.youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv | ytb]] || ||
to:
|| Video aulas e exercícios || E+H || João Marcos || || || || || || || ✕ || Conjuntos & funções, com um viés computacional || [[https://www.youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv | ytb]] || ||
Deleted line 15:
Changed lines 36-43 from:
to:
|| TCC || E+H || Mahan Vaz Silva || || || || || || || ✕ || Introdução a ordinais e cardinais, Filosofia da Teoria de Conjuntos || [[https://www.dropbox.com/s/o7xyafxqb1ca6p8/notas_conjuntos%20-%20Mahan%20Vaz.pdf?dl=0 | pdf]] || BY-ND ||
|| Slides || E+H || Elaine Pimentel || || || || || || || || Slides e ementa do curso de Proof Theory (Mestrado/ UFRN) || [[https://drive.google.com/file/d/1QD_Y2MRPsj5VYqPNOvOoQjpiKmUtQ6ao/view | pdf]] || ||
|| Livro || E || João Marcos || || ✕ || || || || || || Tópicos sobre lógica proposicional || [[https://drive.google.com/file/d/0B-xArjpvlv9gYk55eVM3akY5Ykk/view?pli=1&resourcekey=0-lgFhrqryiH-A3ZbbAEV2kg |pdf]] || ||
|| Livro || E || João Marcos || || || ✕ || || || || || Tópicos sobre lógica de primeira ordem || [[https://drive.google.com/file/d/1CwDcMRe-bhsQ_M3_-58xcgVIftywsFJc/view | pdf]] || ||
|| Livro || E || João Marcos || || || || ✕ || || || || Tópicos sobre lógica modal || [[https://drive.google.com/file/d/0B-xArjpvlv9gQ3RlWldQcENtZVU/view?resourcekey=0-wPULHYnVKyakkkP3DY-0_g | pdf]] || ||
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Slides, exercícios e teoria sobre tipos de dados recursivos || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Tópicos sobre álgebras, especificações algébricas e tipos de dados || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Teoria dos conjuntos, funções e relações || [[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 | www]] || ||
|| Slides || E+H || Elaine Pimentel || || || || || || || || Slides e ementa do curso de Proof Theory (Mestrado/ UFRN) || [[https://drive.google.com/file/d/1QD_Y2MRPsj5VYqPNOvOoQjpiKmUtQ6ao/view | pdf]] || ||
|| Livro || E || João Marcos || || ✕ || || || || || || Tópicos sobre lógica proposicional || [[https://drive.google.com/file/d/0B-xArjpvlv9gYk55eVM3akY5Ykk/view?pli=1&resourcekey=0-lgFhrqryiH-A3ZbbAEV2kg |pdf]] || ||
|| Livro || E || João Marcos || || || ✕ || || || || || Tópicos sobre lógica de primeira ordem || [[https://drive.google.com/file/d/1CwDcMRe-bhsQ_M3_-58xcgVIftywsFJc/view | pdf]] || ||
|| Livro || E || João Marcos || || || || ✕ || || || || Tópicos sobre lógica modal || [[https://drive.google.com/file/d/0B-xArjpvlv9gQ3RlWldQcENtZVU/view?resourcekey=0-wPULHYnVKyakkkP3DY-0_g | pdf]] || ||
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Slides, exercícios e teoria sobre tipos de dados recursivos || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Tópicos sobre álgebras, especificações algébricas e tipos de dados || [[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 | www]] || ||
|| Notas de aula e exercícios || E || || || || || || || || ✕ || Teoria dos conjuntos, funções e relações || [[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 | www]] || ||
Changed lines 25-32 from:
|| Jogo || H+E || Keep Talking and Nobody Explodes || || ✕ || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Um jogo sobre seguir um manual de instruções || [[https://keeptalkinggame.com | www]] || ||
|| Plano de aula || H || Evelyn Erickson || ✕ ||cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Sobre contradição e consistência || [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | pdf]] || BY ||
|| Videos || H || IdealA+ ||cell 4 || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Inteligência Artificial || [[https://www.youtube.com/@IdeiaMaisProjeto/featured | ytb]] || ||
|| Plano de curso || H || Frank Thomas Sautter ||cell 4 || cell 5 || cell 6 || cell 7 || ✕ || cell 9 || cell 10 || Lógicas Não-clássicas || [[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c |www]] || ||
|| Plano de curso || H || Rafaela Nunes e Márcia Laux || ✕ ||cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Feminismo sob uma Perspectiva Lógico-Filosófica || [[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica |www]] || ||
|| Plano de aula || H || Evelyn Erickson || ✕ ||
|| Videos || H || IdealA+ ||
|| Plano de curso || H || Frank Thomas Sautter ||
|| Plano de curso || H || Rafaela Nunes e Márcia Laux || ✕ ||
to:
|| Jogo || H+E || Keep Talking and Nobody Explodes || || ✕ || || || || || || Um jogo sobre seguir um manual de instruções || [[https://keeptalkinggame.com | www]] || ||
|| Plano de aula || H || Evelyn Erickson || ✕ || || || || || || || Sobre contradição e consistência || [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | pdf]] || BY ||
|| Videos || H || IdealA+ || || || || || || || || Inteligência Artificial || [[https://www.youtube.com/@IdeiaMaisProjeto/featured | ytb]] || ||
|| Plano de curso || H || Frank Thomas Sautter || || || || || ✕ || || || Lógicas Não-clássicas || [[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c |www]] || ||
|| Plano de curso || H || Rafaela Nunes e Márcia Laux || ✕ || || || || || || || Feminismo sob uma Perspectiva Lógico-Filosófica || [[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica |www]] || ||
|| Video aulas || H || Gisele Dalva Secco || ✕ || ✕ || || || || || || Introdução à lógica desde uma perspectiva feminista || [[https://logicasbrasileiras.wordpress.com/introducao-a-logica-desde-uma-perspectiva-feminista |www]] || ||
|| Video aulas e exercícios || H+E || João Marcos || || || || || || || ✕ || Conjuntos & funções, com um viés computacional || [[https://www.youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv | ytb]] || ||
|| Video aulas || E || João Marcos || || || ✕ || || || || ✕ || Especificações Algébricas para Tipos de Dados Abstratos || [[https://www.youtube.com/playlist?list=PLekOxW8qKsV-pLZf5dSA37BBd1nrMQaNz | ytb]] || BY ||
|| Video aulas || E || Karina Girardi Roggia || ✕ || || || || || || || Lógica Matemática, voltada à Computação || [[https://www.youtube.com/playlist?list=PLnkV1lryuasg7Fl006iW3_RdgXRbEgzOv | ytb]] || BY-SA ||
|| Vídeos || H || Coletivo Lógica Viva || ✕ || || || || || || || Falácias informais || [[https://www.youtube.com/watch?v=Hz2yBeko-Yc&list=PLmc-kTi-TUVs9j5AzLZmEORXKF0ewuyQQ |ytb]] || ||
|| Video aulas, exercícios e textos || E || Renata de Freitas || ✕ || || || || || || ✕ || Da disciplina "Lógica, Números e Funções" || [[https://defreitas-renata.github.io/homepage/lnf.html | www]] || BY-ND ||
|| Plano de aula || H || Evelyn Erickson || ✕ || || || || || || || Sobre contradição e consistência || [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | pdf]] || BY ||
|| Videos || H || IdealA+ || || || || || || || || Inteligência Artificial || [[https://www.youtube.com/@IdeiaMaisProjeto/featured | ytb]] || ||
|| Plano de curso || H || Frank Thomas Sautter || || || || || ✕ || || || Lógicas Não-clássicas || [[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c |www]] || ||
|| Plano de curso || H || Rafaela Nunes e Márcia Laux || ✕ || || || || || || || Feminismo sob uma Perspectiva Lógico-Filosófica || [[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica |www]] || ||
|| Video aulas || H || Gisele Dalva Secco || ✕ || ✕ || || || || || || Introdução à lógica desde uma perspectiva feminista || [[https://logicasbrasileiras.wordpress.com/introducao-a-logica-desde-uma-perspectiva-feminista |www]] || ||
|| Video aulas e exercícios || H+E || João Marcos || || || || || || || ✕ || Conjuntos & funções, com um viés computacional || [[https://www.youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv | ytb]] || ||
|| Video aulas || E || João Marcos || || || ✕ || || || || ✕ || Especificações Algébricas para Tipos de Dados Abstratos || [[https://www.youtube.com/playlist?list=PLekOxW8qKsV-pLZf5dSA37BBd1nrMQaNz | ytb]] || BY ||
|| Video aulas || E || Karina Girardi Roggia || ✕ || || || || || || || Lógica Matemática, voltada à Computação || [[https://www.youtube.com/playlist?list=PLnkV1lryuasg7Fl006iW3_RdgXRbEgzOv | ytb]] || BY-SA ||
|| Vídeos || H || Coletivo Lógica Viva || ✕ || || || || || || || Falácias informais || [[https://www.youtube.com/watch?v=Hz2yBeko-Yc&list=PLmc-kTi-TUVs9j5AzLZmEORXKF0ewuyQQ |ytb]] || ||
|| Video aulas, exercícios e textos || E || Renata de Freitas || ✕ || || || || || || ✕ || Da disciplina "Lógica, Números e Funções" || [[https://defreitas-renata.github.io/homepage/lnf.html | www]] || BY-ND ||
Deleted lines 61-70:
|| class="sortable simpletable" border=1
||! m||!Geographic zone ||!Highest point ||!Country ||
|| 3700||Arctic ||Gunnbjørn Fjeld ||Greenland ||
|| 8848||North Temperate Zone ||Mount Everest ||Nepal ||
|| 5790||North Tropical Zone ||Cayambe ||Ecuador ||
|| 6768||South Tropical Zone ||Huáscarán ||Peru ||
|| 6960||South Temperate Zone ||Aconcagua ||Argentina ||
|| 4892||Antarctic ||Mount Vinson ||(none) ||
Added lines 24-30:
|| Slides || H || Marcelo Finger (com Renata Wassermann) || || ✕ || ✕ || || || || || Introdução à Lógica e Métodos Formais || [[https://drive.google.com/file/d/1lLHCM6Nk3xA0EDTTH9NonHeo8x_ldRiA/view | pdf]] || BY-SA ||
|| Jogo || H+E || Keep Talking and Nobody Explodes || || ✕ || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Um jogo sobre seguir um manual de instruções || [[https://keeptalkinggame.com | www]] || ||
|| Plano de aula || H || Evelyn Erickson || ✕ || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Sobre contradição e consistência || [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | pdf]] || BY ||
|| Videos || H || IdealA+ || cell 4 || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Inteligência Artificial || [[https://www.youtube.com/@IdeiaMaisProjeto/featured | ytb]] || ||
|| Plano de curso || H || Frank Thomas Sautter || cell 4 || cell 5 || cell 6 || cell 7 || ✕ || cell 9 || cell 10 || Lógicas Não-clássicas || [[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c |www]] || ||
|| Plano de curso || H || Rafaela Nunes e Márcia Laux || ✕ || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Feminismo sob uma Perspectiva Lógico-Filosófica || [[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica |www]] || ||
|| Jogo || H+E || Keep Talking and Nobody Explodes || || ✕ || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Um jogo sobre seguir um manual de instruções || [[https://keeptalkinggame.com | www]] || ||
|| Plano de aula || H || Evelyn Erickson || ✕ || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Sobre contradição e consistência || [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | pdf]] || BY ||
|| Videos || H || IdealA+ || cell 4 || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Inteligência Artificial || [[https://www.youtube.com/@IdeiaMaisProjeto/featured | ytb]] || ||
|| Plano de curso || H || Frank Thomas Sautter || cell 4 || cell 5 || cell 6 || cell 7 || ✕ || cell 9 || cell 10 || Lógicas Não-clássicas || [[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c |www]] || ||
|| Plano de curso || H || Rafaela Nunes e Márcia Laux || ✕ || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || Feminismo sob uma Perspectiva Lógico-Filosófica || [[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica |www]] || ||
Changed line 19 from:
|| Videopédia || E + H || João Marcos || || ✕ || ✕ || || ✕ || || ✕ || Introdução Computacional à Lógica Matemática || [[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica | www]] || BY ||
to:
|| Videopédia || E+H || João Marcos || || ✕ || ✕ || || ✕ || || ✕ || Introdução Computacional à Lógica Matemática || [[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica | www]] || BY ||
Added line 23:
|| Livro || H || Autoria coletiva || || ✕ || ✕ || ✕ || || ✕ || ✕ || Para Todxs Natal: uma introdução à lógica formal || [[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 | pdf]] || BY ||
Changed line 17 from:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida|| || ✕ || || || || ✕ || ✕ || || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ| ytb]] || ||
to:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida || || ✕ || || || || ✕ || ✕ || || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ| ytb]] || ||
Changed line 19 from:
|| Videopédia || E + H || João Marcos || || ✕ || ✕ || || ✕ || || ✕ || Introdução Computacional à Lógica Matemática || [[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica | www]] || BY||
to:
|| Videopédia || E + H || João Marcos || || ✕ || ✕ || || ✕ || || ✕ || Introdução Computacional à Lógica Matemática || [[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica | www]] || BY ||
Added lines 21-23:
|| Video aulas || H || Daniel Durante || || ✕ || ✕ || || || || ✕ || Introdução à Lógica || [[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7| ytb]] || BY ||
|| Curso || H || Juliana Bueno-Soler e Walter Carnielli || ✕ || || || || || || || Pensamento crítico e argumentação || [[https://www.coursera.org/learn/pensamento-critico-argumentacao | www]] || ||
|| Curso || H || Juliana Bueno-Soler e Walter Carnielli || ✕ || || || || || || || Pensamento crítico e argumentação || [[https://www.coursera.org/learn/pensamento-critico-argumentacao | www]] || ||
Added line 20:
|| Video aulas || H || Renato Mendes Rocha || ✕ || ✕ || || || || || || || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I | ytb]] || ||
Added line 19:
|| Videopédia || E + H || João Marcos || || ✕ || ✕ || || ✕ || || ✕ || Introdução Computacional à Lógica Matemática || [[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica | www]] || BY||
Changed lines 17-18 from:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida|| || ✕ || || || || ✕ || ✕ || || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ| ytb]] || CC||
|| Video aulas e exercícios || H || Cezar Mortari || || ✕ || ✕ || || ✕ || || ✕ || Lógica I e Lógica II || [[https://cmortari.prof.ufsc.br/| www]] ||cell 13||
|| Video aulas e exercícios || H || Cezar Mortari || || ✕ || ✕ || || ✕ || || ✕ || Lógica I e Lógica II || [[https://cmortari.prof.ufsc.br/| www]] ||
to:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida|| || ✕ || || || || ✕ || ✕ || || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ| ytb]] || ||
|| Video aulas e exercícios || H || Cezar Mortari || || ✕ || ✕ || || ✕ || || ✕ || Lógica I e Lógica II || [[https://cmortari.prof.ufsc.br/| www]] || ||
|| Video aulas e exercícios || H || Cezar Mortari || || ✕ || ✕ || || ✕ || || ✕ || Lógica I e Lógica II || [[https://cmortari.prof.ufsc.br/| www]] || ||
Changed line 17 from:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida|| || ✕ || || || || ✕ || ✕ || || URL || CC||
to:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida|| || ✕ || || || || ✕ || ✕ || || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ| ytb]] || CC||
Added line 18:
|| Video aulas e exercícios || H || Cezar Mortari || || ✕ || ✕ || || ✕ || || ✕ || Lógica I e Lógica II || [[https://cmortari.prof.ufsc.br/| www]] || cell 13||
Changed lines 17-18 from:
to:
|| Vídeos || E || Alfredo Roque Freire e Edgar L.B. Almeida|| || ✕ || || || || ✕ || ✕ || || URL || CC||
Changed lines 41-51 from:
[[https://www.youtube.com/watch?v=xePttRuc_q8 | Lógica proposicional]]
to:
[[https://www.youtube.com/watch?v=xePttRuc_q8 | Lógica proposicional]]
|| class="sortable simpletable" border=1
||! m||!Geographic zone ||!Highest point ||!Country ||
|| 3700||Arctic ||Gunnbjørn Fjeld ||Greenland ||
|| 8848||North Temperate Zone ||Mount Everest ||Nepal ||
|| 5790||North Tropical Zone ||Cayambe ||Ecuador ||
|| 6768||South Tropical Zone ||Huáscarán ||Peru ||
|| 6960||South Temperate Zone ||Aconcagua ||Argentina ||
|| 4892||Antarctic ||Mount Vinson ||(none) ||
|| class="sortable simpletable" border=1
||! m||!Geographic zone ||!Highest point ||!Country ||
|| 3700||Arctic ||Gunnbjørn Fjeld ||Greenland ||
|| 8848||North Temperate Zone ||Mount Everest ||Nepal ||
|| 5790||North Tropical Zone ||Cayambe ||Ecuador ||
|| 6768||South Tropical Zone ||Huáscarán ||Peru ||
|| 6960||South Temperate Zone ||Aconcagua ||Argentina ||
|| 4892||Antarctic ||Mount Vinson ||(none) ||
Deleted lines 16-24:
(:sortable:)
||class=sortable id=thetable
||!First Column ||!Second ||!Third||!Fourth ||%colnosort%'''Fifth''' ||
||20 ||y ||05 May 2005 || ||Row ||
||14 ||w ||06 Apr 20050 || € 4.25||Unsortable ||
||1.5 ||Z ||06-02-2004 || € 5.00||This ||
||3.75 ||X ||aug 17 2006 || € 6.45||Is ||
||%rownosort%SUM ||Fixed ||Row || total € CURSUM||See? ||
Changed lines 18-25 from:
to:
(:sortable:)
||class=sortable id=thetable
||!First Column ||!Second ||!Third||!Fourth ||%colnosort%'''Fifth''' ||
||20 ||y ||05 May 2005 || ||Row ||
||14 ||w ||06 Apr 20050 || € 4.25||Unsortable ||
||1.5 ||Z ||06-02-2004 || € 5.00||This ||
||3.75 ||X ||aug 17 2006 || € 6.45||Is ||
||%rownosort%SUM ||Fixed ||Row || total € CURSUM||See? ||
||class=sortable id=thetable
||!First Column ||!Second ||!Third||!Fourth ||%colnosort%'''Fifth''' ||
||20 ||y ||05 May 2005 || ||Row ||
||14 ||w ||06 Apr 20050 || € 4.25||Unsortable ||
||1.5 ||Z ||06-02-2004 || € 5.00||This ||
||3.75 ||X ||aug 17 2006 || € 6.45||Is ||
||%rownosort%SUM ||Fixed ||Row || total € CURSUM||See? ||
Changed lines 13-14 from:
||class=sortable id=thetable
|| border=1
|| border
to:
||border=1 class=sortable id=thetable
Deleted lines 16-18:
Added lines 11-22:
||class=sortable id=thetable
|| border=1
||! Tipo++ ||! Área++ ||! Autoria++ ||!Conteúdo||__||__||__||__||__||__||! Descrição++ ||! URL++ ||! [[https://creativecommons.org/licenses | CC]]++ ||
||^^^||^^||^^||!I||!P||!O||!M||!N||!T||!F||^^||^^||^^||
|| cell 1 || cell 2 || cell 3 || cell 4 || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || cell 11 || cell 12 || cell 13||
|| cell 1 || cell 2 || cell 3 || cell 4 || cell 5 || cell 6 || cell 7 || cell 8 || cell 9 || cell 10 || cell 11 || cell 12 || cell 13||
Added lines 7-10:
O '''conteúdo''' segue a seguinte legenda: '''I''' (Lógica Informal), '''P''' (Lógica Proposicional), '''O''' (Lógica de Primeira Ordem), '''M''' (Lógica Modal), '''N''' (Lógicas Não-Clássicas), '''T''' (Metateoria), e '''F''' (Fundamentos).
A '''área''' segue a seguinte legenda: '''E''' (Exatas) e '''H''' (Humanas).
Changed lines 1-430 from:
Aos que desejem compartilhar seus materiais, pedimos que entrem em contato pelo email <u>contato@sbl.org.br</u> informando o tipo de material, área do conhecimento e/ou disciplina e URL para disponibilização.
== Material para ensino de lógica ==
O '''conteúdo''' segue a seguinte legenda: '''I''' (Lógica Informal), '''P''' (Lógica Proposicional), '''O''' (Lógica de Primeira Ordem), '''M''' (Lógica Modal), '''N''' (Lógicas Não-Clássicas), '''T''' (Metateoria), e '''F''' (Fundamentos).
A '''área''' segue a seguinte legenda: '''E''' (Exatas) e '''H''' (Humanas).
{| class="wikitable sortable"
! rowspan="2" style="width:20pt"|Tipo
! rowspan="2" style="width:20pt" | Área
! rowspan="2" class="unsortable" style="width:65pt" |Autoria
! colspan="7" style="width:20pt" |Conteúdo
! rowspan="2" class="unsortable" |Descrição
! rowspan="2" class="unsortable" style="width:25pt" |URL
! rowspan="2" class="unsortable" style="width:20pt" |[https://creativecommons.org/licenses CC]
|-
!I
!P
!O
!M
!N
!T
!F
|-
|<small>Vídeos</small>
|E
|<small>Alfredo Roque Freire e Edgar L.B. Almeida</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ ytb]
|
|-
|<small>Video aulas e exercícios</small>
|H
|<small>Cezar Mortari</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
|<small>Lógica I e Lógica II</small>
|[https://cmortari.prof.ufsc.br/ www]
|
|-
|<small>Videopédia</small>
|E + H
|<small>João Marcos</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
| style="text-align: center" | ✕
|
|<small>Introdução Computacional à Lógica Matemática</small>
|[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica wiki]
|BY
|-
|<small>Video aulas</small>
|H
|<small>Renato Mendes Rocha</small>
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|
|
|[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I ytb]
|
|-
|<small>Video aulas</small>
|H
|<small>Daniel Durante</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
| style="text-align: center" | ✕
|<small>Introdução à Lógica</small>
|[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7 ytb]
|BY
|-
|<small>Curso</small>
|H
|<small>Juliana Bueno-Soler e Walter Carnielli</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Pensamento crítico e argumentação</small>
|[https://www.coursera.org/learn/pensamento-critico-argumentacao www]
|
|-
|<small>Livro</small>
|H
|<small>Autoria coletiva</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|<small>''Para Todxs Natal'': uma introdução à lógica formal</small>
|[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 .pdf]
|BY
|-
|<small>Slides</small>
|H
|<small>Marcelo Finger (com Renata Wassermann)</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|<small>Introdução à Lógica e Métodos Formais</small>
|[https://drive.google.com/file/d/1lLHCM6Nk3xA0EDTTH9NonHeo8x_ldRiA/view .pdf]
|BY-SA
|-
|<small>Jogo</small>
|E + H
|<small>Keep Talking and Nobody Explodes</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Um jogo sobre seguir um manual de instruções</small>
|[https://keeptalkinggame.com/ www]
|
|-
|<small>Plano de aula</small>
|H
|<small>Evelyn Erickson</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Sobre contradição e consistência</small>
|[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 pdf]
|BY
|-
|<small>Videos</small>
|H
|<small>IdealA+</small>
|
|
|
|
|
|
|
|<small>Inteligência Artificial</small>
|[https://www.youtube.com/@IdeiaMaisProjeto/featured ytb]
|
|-
|<small>Plano de curso</small>
|H
|<small>Frank Thomas Sautter</small>
|
|
|
|
| style="text-align: center" | ✕
|
|
|<small>Lógicas Não-clássicas</small>
|[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c www]
|
|-
|<small>Plano de curso</small>
|H
|<small>Rafaela Nunes e Márcia Laux</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Feminismo sob uma Perspectiva Lógico-Filosófica</small>
|[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica/ www]
|
|-
|<small>Video aulas</small>
|H
|<small>Gisele Dalva Secco</small>
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Introdução à lógica desde uma perspectiva feminista</small>
|[https://logicasbrasileiras.wordpress.com/introducao-a-logica-desde-uma-perspectiva-feminista/ www]
|
|-
|<small>Video aulas e exercícios</small>
|E + H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Conjuntos & funções, com um viés computacional</small>
|[https://youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv ytb]
|
|-
|<small>Video aulas</small>
|E
|<small>João Marcos</small>
|
|
| style="text-align: center" | ✕
|
|
|
| style="text-align: center" | ✕
|<small>Especificações Algébricas para Tipos de Dados Abstratos</small>
|[https://www.youtube.com/playlist?list=PLekOxW8qKsV-pLZf5dSA37BBd1nrMQaNz ytb]
|BY
|-
|<small>Video aulas</small>
|E
|<small>Karina Girardi Roggia</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Lógica Matemática, voltada à Computação</small>
|[https://www.youtube.com/playlist?list=PLnkV1lryuasg7Fl006iW3_RdgXRbEgzOv ytb]
|BY-SA
|-
|<small>Vídeos</small>
|H
|<small>Coletivo Lógica Viva</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Playlist de falácias informais.</small>
|[https://www.youtube.com/watch?v=Hz2yBeko-Yc&list=PLmc-kTi-TUVs9j5AzLZmEORXKF0ewuyQQ ytb]
|
|-
|<small>Video aulas, exercícios e textos</small>
|E
|<small>Renata de Freitas</small>
| style="text-align: center" | ✕
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Da disciplina "Lógica, Números e Funções"</small>
|[https://defreitas-renata.github.io/homepage/lnf.html www]
|BY-ND
|-
|<small>TCC</small>
|E+H
|<small>Mahan Vaz Silva</small>
|
|
|
|
|
|
|✕
|<small>Introdução a ordinais e cardinais, Filosofia da Teoria de Conjuntos</small>
|.[https://www.dropbox.com/s/o7xyafxqb1ca6p8/notas_conjuntos%20-%20Mahan%20Vaz.pdf?dl=0 pdf]
|BY-ND
|-
|<small>Slides</small>
|E+H
|<small>Elaine Pimentel</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|<small>Slides e ementa do curso de Proof Theory (Mestrado/ UFRN)</small>
|[https://drive.google.com/file/d/1QD_Y2MRPsj5VYqPNOvOoQjpiKmUtQ6ao/view pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Tópicos sobre lógica proposicional</small>
|[https://drive.google.com/file/d/0B-xArjpvlv9gYk55eVM3akY5Ykk/view?pli=1&resourcekey=0-lgFhrqryiH-A3ZbbAEV2kg pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
|
| style="text-align: center" | ✕
|
|
|
|
|<small>Tópicos sobre lógica de primeira ordem</small>
|[https://drive.google.com/file/d/1CwDcMRe-bhsQ_M3_-58xcgVIftywsFJc/view pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
|
|
| style="text-align: center" | ✕
|
|
|
|<small>Tópicos sobre lógica modal</small>
|[https://drive.google.com/file/d/0B-xArjpvlv9gQ3RlWldQcENtZVU/view?resourcekey=0-wPULHYnVKyakkkP3DY-0_g pdf]
|
|-
|<small>Notas de aula e exercícios</small>
|E
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Slides, exercícios e teoria sobre tipos de dados recursivos</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 www]
|
|-
|<small>Notas de aula e exercícios</small>
|E+H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Tópicos sobre álgebras, especificações algébricas e tipos de dados</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 www]
|
|-
|<small>Notas de aula e exercícios</small>
|E+H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Teoria dos conjuntos, funções e relações</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 www]
|
|}
== Recomendação de bibliografia ==
Há uma breve descrição ou resenha para cada recomendação, é só clicar em "expandir". Contribuições de Daniel Durante, Evelyn Erickson e Hudson Benevides.
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 Para Todxs Natal: uma introdução à lógica formal]
|É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática.
|}
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |[https://www.martinsfontespaulista.com.br/a-construcao-do-argumento-576556/p A construção do argumento], Anthony Weston (trad. Alexandre Feitosa Rosas)
| É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.
|}
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |Você pensa o que acha que pensa?, Julian Baggini e Jeremy Stangroom (trad. Roberto Valente)
|O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 Aqui] há um plano de aula baseado no capítulo 1.
|}
== Sinalário em LIBRAS ==
[https://www.youtube.com/watch?v=mlLac2X2zOs Projeto FILOLIBRAS: Lógica]
[https://www.youtube.com/watch?v=xePttRuc_q8 Lógica proposicional]
__NOTOC__
__NOINDEX__
to:
Essa página começou como uma iniciativa de disponibilizar material didático para aulas remotas durante a pandemia de COVID-19, e foi expandida durante o [[https://logicasbrasileiras.wordpress.com/ii-dia-carol-blasio-por-diversidade-na-logica-2023 | 2º Dia Carol Blasio por Diversidade na Lógica ]].
Aos que desejem compartilhar seus materiais, pedimos que entrem em contato pelo email '''contato@sbl.org.br''' informando o tipo de material, área do conhecimento e/ou disciplina e URL para disponibilização.
!! Material para ensino de lógica
!! Recomendação de bibliografia
!!!Para Todxs Natal: uma introdução à lógica formal
(por Daniel Durante)
É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática. O livro está disponível online .
!!! A construção do argumento, Anthony Weston (trad. Alexandre Feitosa Rosas)
(por Hudson Benevides)
É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.
!!! Você pensa o que acha que pensa?, Julian Baggini e Jeremy Stangroom (trad. Roberto Valente)
(por Evelyn Erickson)
O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | Aqui]] há um plano de aula baseado no capítulo 1.
!! Sinalário em LIBRAS
[[https://www.youtube.com/watch?v=mlLac2X2zOs | Projeto FILOLIBRAS: Lógica]]
[[https://www.youtube.com/watch?v=xePttRuc_q8 | Lógica proposicional]]
Aos que desejem compartilhar seus materiais, pedimos que entrem em contato pelo email '''contato@sbl.org.br''' informando o tipo de material, área do conhecimento e/ou disciplina e URL para disponibilização.
!! Material para ensino de lógica
!! Recomendação de bibliografia
!!!Para Todxs Natal: uma introdução à lógica formal
(por Daniel Durante)
É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática. O livro está disponível online .
!!! A construção do argumento, Anthony Weston (trad. Alexandre Feitosa Rosas)
(por Hudson Benevides)
É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.
!!! Você pensa o que acha que pensa?, Julian Baggini e Jeremy Stangroom (trad. Roberto Valente)
(por Evelyn Erickson)
O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 | Aqui]] há um plano de aula baseado no capítulo 1.
!! Sinalário em LIBRAS
[[https://www.youtube.com/watch?v=mlLac2X2zOs | Projeto FILOLIBRAS: Lógica]]
[[https://www.youtube.com/watch?v=xePttRuc_q8 | Lógica proposicional]]
Added lines 1-430:
Essa página começou como uma iniciativa de disponibilizar material didático para aulas remotas durante a pandemia de COVID-19, e foi expandida durante o [https://logicasbrasileiras.wordpress.com/ii-dia-carol-blasio-por-diversidade-na-logica-2023/ 2º Dia Carol Blasio por Diversidade na Lógica].
Aos que desejem compartilhar seus materiais, pedimos que entrem em contato pelo email <u>contato@sbl.org.br</u> informando o tipo de material, área do conhecimento e/ou disciplina e URL para disponibilização.
== Material para ensino de lógica ==
O '''conteúdo''' segue a seguinte legenda: '''I''' (Lógica Informal), '''P''' (Lógica Proposicional), '''O''' (Lógica de Primeira Ordem), '''M''' (Lógica Modal), '''N''' (Lógicas Não-Clássicas), '''T''' (Metateoria), e '''F''' (Fundamentos).
A '''área''' segue a seguinte legenda: '''E''' (Exatas) e '''H''' (Humanas).
{| class="wikitable sortable"
! rowspan="2" style="width:20pt"|Tipo
! rowspan="2" style="width:20pt" | Área
! rowspan="2" class="unsortable" style="width:65pt" |Autoria
! colspan="7" style="width:20pt" |Conteúdo
! rowspan="2" class="unsortable" |Descrição
! rowspan="2" class="unsortable" style="width:25pt" |URL
! rowspan="2" class="unsortable" style="width:20pt" |[https://creativecommons.org/licenses CC]
|-
!I
!P
!O
!M
!N
!T
!F
|-
|<small>Vídeos</small>
|E
|<small>Alfredo Roque Freire e Edgar L.B. Almeida</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ ytb]
|
|-
|<small>Video aulas e exercícios</small>
|H
|<small>Cezar Mortari</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
|<small>Lógica I e Lógica II</small>
|[https://cmortari.prof.ufsc.br/ www]
|
|-
|<small>Videopédia</small>
|E + H
|<small>João Marcos</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
| style="text-align: center" | ✕
|
|<small>Introdução Computacional à Lógica Matemática</small>
|[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica wiki]
|BY
|-
|<small>Video aulas</small>
|H
|<small>Renato Mendes Rocha</small>
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|
|
|[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I ytb]
|
|-
|<small>Video aulas</small>
|H
|<small>Daniel Durante</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
| style="text-align: center" | ✕
|<small>Introdução à Lógica</small>
|[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7 ytb]
|BY
|-
|<small>Curso</small>
|H
|<small>Juliana Bueno-Soler e Walter Carnielli</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Pensamento crítico e argumentação</small>
|[https://www.coursera.org/learn/pensamento-critico-argumentacao www]
|
|-
|<small>Livro</small>
|H
|<small>Autoria coletiva</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|<small>''Para Todxs Natal'': uma introdução à lógica formal</small>
|[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 .pdf]
|BY
|-
|<small>Slides</small>
|H
|<small>Marcelo Finger (com Renata Wassermann)</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|<small>Introdução à Lógica e Métodos Formais</small>
|[https://drive.google.com/file/d/1lLHCM6Nk3xA0EDTTH9NonHeo8x_ldRiA/view .pdf]
|BY-SA
|-
|<small>Jogo</small>
|E + H
|<small>Keep Talking and Nobody Explodes</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Um jogo sobre seguir um manual de instruções</small>
|[https://keeptalkinggame.com/ www]
|
|-
|<small>Plano de aula</small>
|H
|<small>Evelyn Erickson</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Sobre contradição e consistência</small>
|[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 pdf]
|BY
|-
|<small>Videos</small>
|H
|<small>IdealA+</small>
|
|
|
|
|
|
|
|<small>Inteligência Artificial</small>
|[https://www.youtube.com/@IdeiaMaisProjeto/featured ytb]
|
|-
|<small>Plano de curso</small>
|H
|<small>Frank Thomas Sautter</small>
|
|
|
|
| style="text-align: center" | ✕
|
|
|<small>Lógicas Não-clássicas</small>
|[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c www]
|
|-
|<small>Plano de curso</small>
|H
|<small>Rafaela Nunes e Márcia Laux</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Feminismo sob uma Perspectiva Lógico-Filosófica</small>
|[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica/ www]
|
|-
|<small>Video aulas</small>
|H
|<small>Gisele Dalva Secco</small>
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Introdução à lógica desde uma perspectiva feminista</small>
|[https://logicasbrasileiras.wordpress.com/introducao-a-logica-desde-uma-perspectiva-feminista/ www]
|
|-
|<small>Video aulas e exercícios</small>
|E + H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Conjuntos & funções, com um viés computacional</small>
|[https://youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv ytb]
|
|-
|<small>Video aulas</small>
|E
|<small>João Marcos</small>
|
|
| style="text-align: center" | ✕
|
|
|
| style="text-align: center" | ✕
|<small>Especificações Algébricas para Tipos de Dados Abstratos</small>
|[https://www.youtube.com/playlist?list=PLekOxW8qKsV-pLZf5dSA37BBd1nrMQaNz ytb]
|BY
|-
|<small>Video aulas</small>
|E
|<small>Karina Girardi Roggia</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Lógica Matemática, voltada à Computação</small>
|[https://www.youtube.com/playlist?list=PLnkV1lryuasg7Fl006iW3_RdgXRbEgzOv ytb]
|BY-SA
|-
|<small>Vídeos</small>
|H
|<small>Coletivo Lógica Viva</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Playlist de falácias informais.</small>
|[https://www.youtube.com/watch?v=Hz2yBeko-Yc&list=PLmc-kTi-TUVs9j5AzLZmEORXKF0ewuyQQ ytb]
|
|-
|<small>Video aulas, exercícios e textos</small>
|E
|<small>Renata de Freitas</small>
| style="text-align: center" | ✕
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Da disciplina "Lógica, Números e Funções"</small>
|[https://defreitas-renata.github.io/homepage/lnf.html www]
|BY-ND
|-
|<small>TCC</small>
|E+H
|<small>Mahan Vaz Silva</small>
|
|
|
|
|
|
|✕
|<small>Introdução a ordinais e cardinais, Filosofia da Teoria de Conjuntos</small>
|.[https://www.dropbox.com/s/o7xyafxqb1ca6p8/notas_conjuntos%20-%20Mahan%20Vaz.pdf?dl=0 pdf]
|BY-ND
|-
|<small>Slides</small>
|E+H
|<small>Elaine Pimentel</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|<small>Slides e ementa do curso de Proof Theory (Mestrado/ UFRN)</small>
|[https://drive.google.com/file/d/1QD_Y2MRPsj5VYqPNOvOoQjpiKmUtQ6ao/view pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Tópicos sobre lógica proposicional</small>
|[https://drive.google.com/file/d/0B-xArjpvlv9gYk55eVM3akY5Ykk/view?pli=1&resourcekey=0-lgFhrqryiH-A3ZbbAEV2kg pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
|
| style="text-align: center" | ✕
|
|
|
|
|<small>Tópicos sobre lógica de primeira ordem</small>
|[https://drive.google.com/file/d/1CwDcMRe-bhsQ_M3_-58xcgVIftywsFJc/view pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
|
|
| style="text-align: center" | ✕
|
|
|
|<small>Tópicos sobre lógica modal</small>
|[https://drive.google.com/file/d/0B-xArjpvlv9gQ3RlWldQcENtZVU/view?resourcekey=0-wPULHYnVKyakkkP3DY-0_g pdf]
|
|-
|<small>Notas de aula e exercícios</small>
|E
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Slides, exercícios e teoria sobre tipos de dados recursivos</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 www]
|
|-
|<small>Notas de aula e exercícios</small>
|E+H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Tópicos sobre álgebras, especificações algébricas e tipos de dados</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 www]
|
|-
|<small>Notas de aula e exercícios</small>
|E+H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Teoria dos conjuntos, funções e relações</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 www]
|
|}
== Recomendação de bibliografia ==
Há uma breve descrição ou resenha para cada recomendação, é só clicar em "expandir". Contribuições de Daniel Durante, Evelyn Erickson e Hudson Benevides.
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 Para Todxs Natal: uma introdução à lógica formal]
|É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática.
|}
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |[https://www.martinsfontespaulista.com.br/a-construcao-do-argumento-576556/p A construção do argumento], Anthony Weston (trad. Alexandre Feitosa Rosas)
| É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.
|}
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |Você pensa o que acha que pensa?, Julian Baggini e Jeremy Stangroom (trad. Roberto Valente)
|O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 Aqui] há um plano de aula baseado no capítulo 1.
|}
== Sinalário em LIBRAS ==
[https://www.youtube.com/watch?v=mlLac2X2zOs Projeto FILOLIBRAS: Lógica]
[https://www.youtube.com/watch?v=xePttRuc_q8 Lógica proposicional]
__NOTOC__
__NOINDEX__
Aos que desejem compartilhar seus materiais, pedimos que entrem em contato pelo email <u>contato@sbl.org.br</u> informando o tipo de material, área do conhecimento e/ou disciplina e URL para disponibilização.
== Material para ensino de lógica ==
O '''conteúdo''' segue a seguinte legenda: '''I''' (Lógica Informal), '''P''' (Lógica Proposicional), '''O''' (Lógica de Primeira Ordem), '''M''' (Lógica Modal), '''N''' (Lógicas Não-Clássicas), '''T''' (Metateoria), e '''F''' (Fundamentos).
A '''área''' segue a seguinte legenda: '''E''' (Exatas) e '''H''' (Humanas).
{| class="wikitable sortable"
! rowspan="2" style="width:20pt"|Tipo
! rowspan="2" style="width:20pt" | Área
! rowspan="2" class="unsortable" style="width:65pt" |Autoria
! colspan="7" style="width:20pt" |Conteúdo
! rowspan="2" class="unsortable" |Descrição
! rowspan="2" class="unsortable" style="width:25pt" |URL
! rowspan="2" class="unsortable" style="width:20pt" |[https://creativecommons.org/licenses CC]
|-
!I
!P
!O
!M
!N
!T
!F
|-
|<small>Vídeos</small>
|E
|<small>Alfredo Roque Freire e Edgar L.B. Almeida</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ ytb]
|
|-
|<small>Video aulas e exercícios</small>
|H
|<small>Cezar Mortari</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
|<small>Lógica I e Lógica II</small>
|[https://cmortari.prof.ufsc.br/ www]
|
|-
|<small>Videopédia</small>
|E + H
|<small>João Marcos</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
| style="text-align: center" | ✕
|
|<small>Introdução Computacional à Lógica Matemática</small>
|[http://carol.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica wiki]
|BY
|-
|<small>Video aulas</small>
|H
|<small>Renato Mendes Rocha</small>
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|
|
|[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I ytb]
|
|-
|<small>Video aulas</small>
|H
|<small>Daniel Durante</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
| style="text-align: center" | ✕
|<small>Introdução à Lógica</small>
|[https://www.youtube.com/playlist?list=PLSlCvr0C9eWY3xdOKodvphtANmiszeq-7 ytb]
|BY
|-
|<small>Curso</small>
|H
|<small>Juliana Bueno-Soler e Walter Carnielli</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Pensamento crítico e argumentação</small>
|[https://www.coursera.org/learn/pensamento-critico-argumentacao www]
|
|-
|<small>Livro</small>
|H
|<small>Autoria coletiva</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|<small>''Para Todxs Natal'': uma introdução à lógica formal</small>
|[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 .pdf]
|BY
|-
|<small>Slides</small>
|H
|<small>Marcelo Finger (com Renata Wassermann)</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|<small>Introdução à Lógica e Métodos Formais</small>
|[https://drive.google.com/file/d/1lLHCM6Nk3xA0EDTTH9NonHeo8x_ldRiA/view .pdf]
|BY-SA
|-
|<small>Jogo</small>
|E + H
|<small>Keep Talking and Nobody Explodes</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Um jogo sobre seguir um manual de instruções</small>
|[https://keeptalkinggame.com/ www]
|
|-
|<small>Plano de aula</small>
|H
|<small>Evelyn Erickson</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Sobre contradição e consistência</small>
|[https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 pdf]
|BY
|-
|<small>Videos</small>
|H
|<small>IdealA+</small>
|
|
|
|
|
|
|
|<small>Inteligência Artificial</small>
|[https://www.youtube.com/@IdeiaMaisProjeto/featured ytb]
|
|-
|<small>Plano de curso</small>
|H
|<small>Frank Thomas Sautter</small>
|
|
|
|
| style="text-align: center" | ✕
|
|
|<small>Lógicas Não-clássicas</small>
|[https://logicasbrasileiras.wordpress.com/materias-de-ensino/?frame-nonce=d9ace6291c www]
|
|-
|<small>Plano de curso</small>
|H
|<small>Rafaela Nunes e Márcia Laux</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Feminismo sob uma Perspectiva Lógico-Filosófica</small>
|[https://logicasbrasileiras.wordpress.com/feminismo-sob-uma-perspectiva-logico-filosofica/ www]
|
|-
|<small>Video aulas</small>
|H
|<small>Gisele Dalva Secco</small>
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Introdução à lógica desde uma perspectiva feminista</small>
|[https://logicasbrasileiras.wordpress.com/introducao-a-logica-desde-uma-perspectiva-feminista/ www]
|
|-
|<small>Video aulas e exercícios</small>
|E + H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Conjuntos & funções, com um viés computacional</small>
|[https://youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv ytb]
|
|-
|<small>Video aulas</small>
|E
|<small>João Marcos</small>
|
|
| style="text-align: center" | ✕
|
|
|
| style="text-align: center" | ✕
|<small>Especificações Algébricas para Tipos de Dados Abstratos</small>
|[https://www.youtube.com/playlist?list=PLekOxW8qKsV-pLZf5dSA37BBd1nrMQaNz ytb]
|BY
|-
|<small>Video aulas</small>
|E
|<small>Karina Girardi Roggia</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Lógica Matemática, voltada à Computação</small>
|[https://www.youtube.com/playlist?list=PLnkV1lryuasg7Fl006iW3_RdgXRbEgzOv ytb]
|BY-SA
|-
|<small>Vídeos</small>
|H
|<small>Coletivo Lógica Viva</small>
| style="text-align: center" | ✕
|
|
|
|
|
|
|<small>Playlist de falácias informais.</small>
|[https://www.youtube.com/watch?v=Hz2yBeko-Yc&list=PLmc-kTi-TUVs9j5AzLZmEORXKF0ewuyQQ ytb]
|
|-
|<small>Video aulas, exercícios e textos</small>
|E
|<small>Renata de Freitas</small>
| style="text-align: center" | ✕
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Da disciplina "Lógica, Números e Funções"</small>
|[https://defreitas-renata.github.io/homepage/lnf.html www]
|BY-ND
|-
|<small>TCC</small>
|E+H
|<small>Mahan Vaz Silva</small>
|
|
|
|
|
|
|✕
|<small>Introdução a ordinais e cardinais, Filosofia da Teoria de Conjuntos</small>
|.[https://www.dropbox.com/s/o7xyafxqb1ca6p8/notas_conjuntos%20-%20Mahan%20Vaz.pdf?dl=0 pdf]
|BY-ND
|-
|<small>Slides</small>
|E+H
|<small>Elaine Pimentel</small>
|
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
| style="text-align: center" | ✕
|
|<small>Slides e ementa do curso de Proof Theory (Mestrado/ UFRN)</small>
|[https://drive.google.com/file/d/1QD_Y2MRPsj5VYqPNOvOoQjpiKmUtQ6ao/view pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
| style="text-align: center" | ✕
|
|
|
|
|
|<small>Tópicos sobre lógica proposicional</small>
|[https://drive.google.com/file/d/0B-xArjpvlv9gYk55eVM3akY5Ykk/view?pli=1&resourcekey=0-lgFhrqryiH-A3ZbbAEV2kg pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
|
| style="text-align: center" | ✕
|
|
|
|
|<small>Tópicos sobre lógica de primeira ordem</small>
|[https://drive.google.com/file/d/1CwDcMRe-bhsQ_M3_-58xcgVIftywsFJc/view pdf]
|
|-
|<small>Livro</small>
|E
|<small>João Marcos</small>
|
|
|
| style="text-align: center" | ✕
|
|
|
|<small>Tópicos sobre lógica modal</small>
|[https://drive.google.com/file/d/0B-xArjpvlv9gQ3RlWldQcENtZVU/view?resourcekey=0-wPULHYnVKyakkkP3DY-0_g pdf]
|
|-
|<small>Notas de aula e exercícios</small>
|E
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Slides, exercícios e teoria sobre tipos de dados recursivos</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/estrutural?authuser=0 www]
|
|-
|<small>Notas de aula e exercícios</small>
|E+H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Tópicos sobre álgebras, especificações algébricas e tipos de dados</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/fmc3/alguniv?authuser=0 www]
|
|-
|<small>Notas de aula e exercícios</small>
|E+H
|<small>João Marcos</small>
|
|
|
|
|
|
| style="text-align: center" | ✕
|<small>Teoria dos conjuntos, funções e relações</small>
|[https://sites.google.com/site/sequiturquodlibet/courses/tdc?authuser=0 www]
|
|}
== Recomendação de bibliografia ==
Há uma breve descrição ou resenha para cada recomendação, é só clicar em "expandir". Contribuições de Daniel Durante, Evelyn Erickson e Hudson Benevides.
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |[https://www.dropbox.com/s/jnghhh5u1d303b5/ptnatal.pdf?dl=0 Para Todxs Natal: uma introdução à lógica formal]
|É um livro didático de introdução à lógica, em nível universitário, focado para estudantes de graduação em filosofia e demais ciências humanas, que não têm muito jeito pra matemática.
|}
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |[https://www.martinsfontespaulista.com.br/a-construcao-do-argumento-576556/p A construção do argumento], Anthony Weston (trad. Alexandre Feitosa Rosas)
| É um livro de lógica informal que apresenta regras para se construir argumentos, sejam eles argumentos curtos ou ensaios argumentativos. As regras são apresentadas através de exemplos discutidos de forma sucinta. O livro contém 10 capítulos e um apêndice sobre definições, e pode ser dividido em três partes. A primeira parte (Capítulo I), trata das regras básicas para construir argumentos curtos, incluindo regras sobre a ordem de apresentação das premissas e conclusão, bem como regras sobre precisão no uso da linguagem. A segunda parte (Capítulos II-VI) apresenta regras envolvendo tipos específicos de argumentos (tanto dedutivos quanto indutivos). Por fim, a terceira parte trata de regras sobre como escrever ensaios argumentativos (Capítulos VII-IX) e o uso de falácias (Capítulo X). Alunos podem achar um guia sobre os critério mínimos esperados para os textos argumentativos que possam vir a escrever. Professores poderão evitar a linguagem imprecisa ao apontar erros ou desfrutar da economia de se evitar repetidas explicações sobre um mesmo tema ao corrigir os textos de seus alunos. Nesse sentido, o livro funciona bem como material de apoio. Como bibliografia principal, o livro funciona bem para disciplinas sobre leitura e redação de textos argumentativos para cursos como Filosofia, Jornalismo, Ciências Sociais e Letras. Um ponto negativo do livro é a escassez de exemplos e exercícios, mas isso pode ser complementado com outros materiais.
|}
{| class="wikitable mw-collapsible mw-collapsed"
|+ style="text-align: left; width:510pt" |Você pensa o que acha que pensa?, Julian Baggini e Jeremy Stangroom (trad. Roberto Valente)
|O livro inclui vários testes sobre temas da filosofia. Relacionados à lógica: o capítulo 1 apresenta um teste para averiguar a consistência de um conjunto de crenças, o capítulo 2 apresenta questões no estilo de "tarefa de seleção de Wason" para o condicional material, e o capítulo 3 apresenta questões de lógica proposicional e lógica silogística. Esses capítulos são interessantes como uma introdução lúdica a esses temas. O livro ainda se encontra a venda em sebos online. [https://www.dropbox.com/s/3bloxbzuuhlkj00/plano_de_aula.pdf?dl=0 Aqui] há um plano de aula baseado no capítulo 1.
|}
== Sinalário em LIBRAS ==
[https://www.youtube.com/watch?v=mlLac2X2zOs Projeto FILOLIBRAS: Lógica]
[https://www.youtube.com/watch?v=xePttRuc_q8 Lógica proposicional]
__NOTOC__
__NOINDEX__