Main.Ensino History
Hide minor edits - Show changes to markup
Video aula | E | João Sarubbi | ✕ | ✕ | Playlists de diversos tópicos | www | CC BY-SA |
Relacionado
Recursos Educacionais Abertos de Matemática
Open Textbook Initiative
Livro Aberto de Matemática
Capítulos | E | Luiz Carlos Pereira et al. | ✕ | ✕ | ✕ | ✕ | ✕ | ✕ | Teoria da Prova | [[https://www.researchgate.net/profile/Luiz-Carlos-Pereira | www] | CC BY-SA |
Capítulos | E | Luiz Carlos Pereira et al. | ✕ | ✕ | ✕ | ✕ | ✕ | ✕ | Teoria da Prova | www | CC BY-SA |
Capítulos | E | Luiz Carlos Pereira et al. | ✕ | ✕ | ✕ | ✕ | ✕ | ✕ | Teoria da Prova | [[https://www.researchgate.net/profile/Luiz-Carlos-Pereira | www] | CC BY-SA |
Curso completo | E | Samuel Gomes da Silva | ✕ | Fundamentos II | CC BY-SA |
Curso completo | E | Samuel Gomes da Silva | ✕ | Fundamentos II | pasta | CC BY-SA |
Curso completo | E | Samuel Gomes da Silva | ✕ | Fundamentos II | CC BY-SA |
Construtor de Tabelas-Verdade e Ramificações | E+H | Ricardo Pereira Tassinari | ✕ | ✕ | CoTaVeRa - Construtor de Tabelas-Verdade e Ramificações | CC BY-SA |
Construtor de Tabelas-Verdade e Ramificações | E+H | Ricardo Pereira Tassinari | ✕ | ✕ | CoTaVeRa - Construtor de Tabelas-Verdade e Ramificações | www | CC BY-SA |
Video aula | E+H | Ricardo Pereira Tassinari | ✕ | Lógica Aristotélica & Lógica Tradicional | ytb | CC BY-SA | ||||||
Notas de aula | E+H | Ricardo Pereira Tassinari | ✕ | Lógica Aristotélica & Lógica Tradicional | www | CC BY-SA | ||||||
Notas de aula | E+H | Ricardo Pereira Tassinari | ✕ | ✕ | ✕ | ✕ | ✕ | ✕ | Introdução à Lógica Simbólica e Seus Temas Filosóficos | www | CC BY-SA | |
Construtor de Tabelas-Verdade e Ramificações | E+H | Ricardo Pereira Tassinari | ✕ | ✕ | CoTaVeRa - Construtor de Tabelas-Verdade e Ramificações | CC BY-SA | ||||||
Video aula | E+H | Ricardo Pereira Tassinari | ✕ | ✕ | Sistemas Formais (Teorias Formais), Correção e Completude | ytb | CC BY-SA | |||||
Video aula | E+H | Ricardo Pereira Tassinari | ✕ | ✕ | ✕ | ✕ | Outras Lógicas I | ytb | CC BY-SA |
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 2º Dia Carol Blasio por Diversidade na Lógica.
Essa página começou como uma iniciativa de disponibilizar material didático para aulas remotas durante a pandemia de COVID-19, foi expandida durante o 2º Dia Carol Blasio por Diversidade na Lógica e é atualmente mantida por Evelyn Erickson.
Lista de exercício | E | Grupo LoTTec e demais | ✕ | ✕ | Exercícios interativos na plataforma Carnap¹ | www |
¹ Colegas que desejarem uma conta de instrutor na instância, são convidados a seguir as intruções na plataforma para entrar em contato.
Video aulas | E | Adolfo Neto | ✕ | ✕ | Playlist sobre Lógica para Computação | ytb | CC-BY |
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.
Aos que desejem compartilhar seus materiais, pedimos que preencham esse formulário.

Material para ensino de lógica e disciplinas afins
Em virtude da pandemia COVID-19, diversas Instituições de Ensino migraram e/ou estão organizando migração temporária ao ensino remoto.
Compreendemos que a estruturação de cursos é tarefa dispendiosa e não-trivial, ao mesmo tempo em que estamos cientes de que alguns colegas já possuem material de aulas online, seja em gravação de vídeos, textos etc. Diante desse cenário, como forma de auxiliar a comunidade lógica brasileira nesse processo, a SBL abriu esta seção para divulgar o material de aulas remotas da área de lógica e temas afins aos que assim desejarem.
Pedimos portanto, aos que desejem compartilhar seus materiais, 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.
Por questões de direitos autorais, a SBL só vai incluir em sua página URLs cujas solicitações de divulgação venham a ser informadas pelos autores do material.
Autores | Tipo de material | Disciplina | URL |
Alfredo Roque Freire (Universidade de Aveiro) e Edgar L B Almeida (IFB) | Vídeos | Lógica e fundamentos da matemática | link |
Cezar Mortari (UFSC) | Exercícios respondidos, videoaulas | Lógica | link |
João Marcos (UFRN) | Videoaulas | Lógica | link |
Renato Mendes Rocha (UFS) | Videoaulas | Lógica | link |
IdeaIA+ (UNICAMP) | Material didático | Inteligência Artificial | link do Youtube |
página provisória:
Material para ensino de lógica e disciplinas afins
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 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.
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).
Tipo | Área | Autoria | Conteúdo | Descrição | URL | CC | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
I | P | O | M | N | T | F | ||||||
Vídeos | E | Alfredo Roque Freire e Edgar L.B. Almeida | ✕ | ✕ | ✕ | ✕ | ytb | |||||
Video aulas e exercícios | H | Cezar Mortari | ✕ | ✕ | ✕ | ✕ | Lógica I e Lógica II | www | ||||
Videopédia | E+H | João Marcos | ✕ | ✕ | ✕ | Introdução Computacional à Lógica Matemática | www | BY | ||||
Video aulas | H | Renato Mendes Rocha | ✕ | ✕ | ytb | |||||||
Video aulas | H | Daniel Durante | ✕ | ✕ | ✕ | Introdução à Lógica | ytb | BY | ||||
Curso | H | Juliana Bueno-Soler e Walter Carnielli | ✕ | Pensamento crítico e argumentação | www | |||||||
Livro | H | Autoria coletiva | ✕ | ✕ | ✕ | ✕ | ✕ | Para Todxs Natal: uma introdução à lógica formal | BY | |||
Slides | H | Marcelo Finger (com Renata Wassermann) | ✕ | ✕ | Introdução à Lógica e Métodos Formais | BY-SA | ||||||
Jogo | E+H | Keep Talking and Nobody Explodes | ✕ | Um jogo sobre seguir um manual de instruções | www | |||||||
Plano de aula | H | Evelyn Erickson | ✕ | Sobre contradição e consistência | BY | |||||||
Videos | H | IdealA+ | Inteligência Artificial | ytb | ||||||||
Plano de curso | H | Frank Thomas Sautter | ✕ | Lógicas Não-clássicas | www | |||||||
Plano de curso | H | Rafaela Nunes e Márcia Laux | ✕ | Feminismo sob uma Perspectiva Lógico-Filosófica | www | |||||||
Video aulas | H | Gisele Dalva Secco | ✕ | ✕ | Introdução à lógica desde uma perspectiva feminista | www | ||||||
Video aulas e exercícios | E+H | João Marcos | ✕ | Conjuntos & funções, com um viés computacional | ytb | |||||||
Video aulas | E | João Marcos | ✕ | ✕ | Especificações Algébricas para Tipos de Dados Abstratos | ytb | BY | |||||
Video aulas | E | Karina Girardi Roggia | ✕ | Lógica Matemática, voltada à Computação | ytb | BY-SA | ||||||
Vídeos | H | Coletivo Lógica Viva | ✕ | Falácias informais | ytb | |||||||
Video aulas, exercícios e textos | E | Renata de Freitas | ✕ | ✕ | Da disciplina "Lógica, Números e Funções" | www | BY-ND | |||||
TCC | E+H | Mahan Vaz Silva | ✕ | Introdução a ordinais e cardinais, Filosofia da Teoria de Conjuntos | BY-ND | |||||||
Slides | E+H | Elaine Pimentel | ✕ | ✕ | ✕ | ✕ | ✕ | Slides e ementa do curso de Proof Theory (Mestrado/ UFRN) | ||||
Livro | E | João Marcos | ✕ | Tópicos sobre lógica proposicional | ||||||||
Livro | E | João Marcos | ✕ | Tópicos sobre lógica de primeira ordem | ||||||||
Livro | E | João Marcos | ✕ | Tópicos sobre lógica modal | ||||||||
Notas de aula e exercícios | E | João Marcos | ✕ | Slides, exercícios e teoria sobre tipos de dados recursivos | www | |||||||
Notas de aula e exercícios | E | João Marcos | ✕ | Tópicos sobre álgebras, especificações algébricas e tipos de dados | www | |||||||
Notas de aula e exercícios | E | João Marcos | ✕ | Teoria dos conjuntos, funções e relações | www |
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. Aqui há um plano de aula baseado no capítulo 1. |
Sinalário em LIBRAS
Projeto FILOLIBRAS: Lógica
Lógica proposicional
https://sbl.org.br/Main/Ensino/Sandbox
sandbox
https://sbl.org.br/pmwiki.php/Main/Ensino/Sandbox
https://sbl.org.br/Main/Ensino/Sandbox
https://sbl.org.br/pmwiki.php/Main/Ensino/Sandbox
IdeaIA+ (UNICAMP) | Material didático | Inteligência Artificial | link do Youtube |
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB) | Vídeos | Lógica e fundamentos da matemática | link |
Alfredo Roque Freire (Universidade de Aveiro) e Edgar L B Almeida (IFB) | Vídeos | Lógica e fundamentos da matemática | link |
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB) | Vídeos | Fundamentos da matemática | link |
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB) | Vídeos | Lógica e fundamentos da matemática | link |
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB) | Vídeos | Fundamentos da matemática | https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ |
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB) | Vídeos | Fundamentos da matemática | link |
Em virtude da pandemia COVID-19, diversas Instituições de Ensino migraram e/ou estão organizando migração temporária ao ensino remoto. Compreendemos que a estruturação de cursos é tarefa dispendiosa e não-trivial, ao mesmo tempo em que estamos cientes de que alguns colegas já possuem material de aulas online, seja em gravação de vídeos, textos etc.Diante desse cenário, como forma de auxiliar a comunidade lógica brasileira nesse processo, a SBL abriu esta seção para divulgar o material de aulas remotas da área de lógica e temas afins aos que assim desejarem. Pedimos portanto, aos que desejem compartilhar seus materiais, 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. Por questões de direitos autorais, a SBL só vai incluir em sua página URLs cujas solicitações de divulgação venham a ser informadas pelos autores do material.
Autor | Tipo de material | Disciplina | URL |
Em virtude da pandemia COVID-19, diversas Instituições de Ensino migraram e/ou estão organizando migração temporária ao ensino remoto.
Compreendemos que a estruturação de cursos é tarefa dispendiosa e não-trivial, ao mesmo tempo em que estamos cientes de que alguns colegas já possuem material de aulas online, seja em gravação de vídeos, textos etc. Diante desse cenário, como forma de auxiliar a comunidade lógica brasileira nesse processo, a SBL abriu esta seção para divulgar o material de aulas remotas da área de lógica e temas afins aos que assim desejarem.
Pedimos portanto, aos que desejem compartilhar seus materiais, 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.
Por questões de direitos autorais, a SBL só vai incluir em sua página URLs cujas solicitações de divulgação venham a ser informadas pelos autores do material.
Autores | Tipo de material | Disciplina | URL |
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB) | Vídeos | Fundamentos da matemática | https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ |
João Marcos (UFRN) | Videoaulas | Lógica | link |
João Marcos (UFRN) | Videoaulas | Lógica | link |
LOLITA (UFRN) | Videoaulas | Lógica | link |
João Marcos (UFRN) | Videoaulas | Lógica | link |
Cezar Mortari (UFSC) | Exercícios respondidos | Lógica | link |
Cezar Mortari (UFSC) | Exercícios respondidos, videoaulas | Lógica | link |
LOLITA (UFRN) | Videoaulas | Lógica | link |
LOLITA (UFRN) | Videoaulas | Lógica | link |
Computação
Filosofia
Matemática
Renato Mendes Rocha (UFS) | Videoaulas | Lógica I | link |
Renato Mendes Rocha (UFS) | Videoaulas | Lógica | link |
Cezar Mortari (UFSC) | Exercícios respondidos | Lógica | http://cmortari.prof.ufsc.br/resp-il.html |
LOLITA (UFRN) | Videoaulas | Lógica | http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica |
Renato Mendes Rocha (UFS) | Videoaulas | Lógica I | https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I |
Cezar Mortari (UFSC) | Exercícios respondidos | Lógica | link |
LOLITA (UFRN) | Videoaulas | Lógica | link |
Renato Mendes Rocha (UFS) | Videoaulas | Lógica I | link |
LOLITA (UFRN) | Videoaulas | Lógica | http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica |
Em virtude da pandemia COVID-19 diversas Instituições de Ensino migraram e/ou estão organizando migração temporária ao ensino remoto. Compreendemos que a estruturação de cursos é tarefa dispendiosa e não-trivial, ao mesmo tempo em que estamos cientes de que alguns colegas já possuem material de aulas online, seja em gravação de vídeos, textos etc.
Diante desse cenário, como forma de auxiliar a comunidade lógica brasileira nesse processo, a SBL abriu uma seção em seu site para divulgar o material de aulas remoto da área de lógica e temas afins, dos que assim desejarem. Pedimos, portanto, aos que desejem compartilhar seus materiais 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. Por questões de direitos autorais, a SBL só vai incluir em sua página URLs cujas solicitações de divulgação venham a ser informadas pelos autores do material.
Em virtude da pandemia COVID-19, diversas Instituições de Ensino migraram e/ou estão organizando migração temporária ao ensino remoto. Compreendemos que a estruturação de cursos é tarefa dispendiosa e não-trivial, ao mesmo tempo em que estamos cientes de que alguns colegas já possuem material de aulas online, seja em gravação de vídeos, textos etc.Diante desse cenário, como forma de auxiliar a comunidade lógica brasileira nesse processo, a SBL abriu esta seção para divulgar o material de aulas remotas da área de lógica e temas afins aos que assim desejarem. Pedimos portanto, aos que desejem compartilhar seus materiais, 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. Por questões de direitos autorais, a SBL só vai incluir em sua página URLs cujas solicitações de divulgação venham a ser informadas pelos autores do material.
Cezar Mortari | Exercícios respondidos | Lógica | http://cmortari.prof.ufsc.br/resp-il.html |
Renato Mendes Rocha | Videoaulas | Lógica I | https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I |
Cezar Mortari (UFSC) | Exercícios respondidos | Lógica | http://cmortari.prof.ufsc.br/resp-il.html |
Renato Mendes Rocha (UFS) | Videoaulas | Lógica I | https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I |
Autor | Tipo de material | Disciplina | URL |
Autor | Tipo de material | Disciplina | URL |

Material para ensino de lógica e disciplinas afins
Em virtude da pandemia COVID-19 diversas Instituições de Ensino migraram e/ou estão organizando migração temporária ao ensino remoto. Compreendemos que a estruturação de cursos é tarefa dispendiosa e não-trivial, ao mesmo tempo em que estamos cientes de que alguns colegas já possuem material de aulas online, seja em gravação de vídeos, textos etc.
Diante desse cenário, como forma de auxiliar a comunidade lógica brasileira nesse processo, a SBL abriu uma seção em seu site para divulgar o material de aulas remoto da área de lógica e temas afins, dos que assim desejarem. Pedimos, portanto, aos que desejem compartilhar seus materiais 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. Por questões de direitos autorais, a SBL só vai incluir em sua página URLs cujas solicitações de divulgação venham a ser informadas pelos autores do material.
Computação
Filosofia
Autor | Tipo de material | Disciplina | URL |
Cezar Mortari | Exercícios respondidos | Lógica | http://cmortari.prof.ufsc.br/resp-il.html |
Renato Mendes Rocha | Videoaulas | Lógica I | https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I |