Main.Ensino History
Hide minor edits - Show changes to output
Changed line 3 from:
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 ]].
to:
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 [[https://logicasbrasileiras.wordpress.com/ii-dia-carol-blasio-por-diversidade-na-logica-2023 | 2º Dia Carol Blasio por Diversidade na Lógica ]] e é atualmente mantida por Evelyn Erickson.
Added lines 42-45:
|| Lista de exercício || E || Grupo [[https://lottec.pontofixo.net.br | LoTTec]] e demais || || ✕ || ✕ || || || || || Exercícios interativos na plataforma Carnap¹ || [[https://carnap.pontofixo.net.br/shared | 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.
¹ Colegas que desejarem uma conta de instrutor na instância, são convidados a seguir as intruções na plataforma para entrar em contato.
Added lines 41-42:
|| Video aulas || E || Adolfo Neto || || ✕ || ✕ || || || || || Playlist sobre Lógica para Computação || [[https://bit.ly/3AzGoKW | ytb]] || CC-BY ||
Changed line 5 from:
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.
to:
Aos que desejem compartilhar seus materiais, pedimos que preencham [[https://forms.gle/Ab3CZmzUxwTrjM4P6 | esse formulário]].
Changed lines 1-21 from:
! 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 [[mailto:contato@sbl.org.br|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''' ||
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (Universidade de Aveiro) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Lógica e fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ|link]] ||
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] (UFSC) || Exercícios respondidos, videoaulas || Lógica || [[http://cmortari.prof.ufsc.br|link]] ||
|| [[https://sites.google.com/site/sequiturquodlibet/|João Marcos]] (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|link]] ||
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I|link]] ||
|| [[https://mov8.com.br/ideia_mais/|IdeaIA+]] (UNICAMP) || Material didático || Inteligência Artificial || [[https://www.youtube.com/channel/UC-ZGr0eEIGmnO3D6AbWlKog|link do Youtube]] ||
página provisória:
to:
!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 [[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.
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).
||border=1 style="border-collapse:collapse" cellpadding="5"
||! Tipo++ ||! Área++ ||! Autoria++ ||!Conteúdo||__||__||__||__||__||__||! Descrição++ ||! URL++ ||! [[https://creativecommons.org/licenses | CC]]++ ||
||^^^||^^||^^||!I||!P||!O||!M||!N||!T||!F||^^||^^||^^||
|| 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]] || ||
|| 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 ||
|| Video aulas || H || Renato Mendes Rocha || ✕ || ✕ || || || || || || || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I | ytb]] || ||
|| 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]] || ||
|| 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 ||
|| 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 ||
|| Jogo || E+H || 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 || E+H || 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 ||
|| 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 || 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]] || ||
----
!! Recomendação de bibliografia
!!!Para Todxs Natal: uma introdução à lógica formal
(por Daniel Durante)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||É 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]].||
!!! A construção do argumento, Anthony Weston (trad. Alexandre Feitosa Rosas)
(por Hudson Benevides)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||É 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)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||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]]
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.
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).
||border=1 style="border-collapse:collapse" cellpadding="5"
||! Tipo++ ||! Área++ ||! Autoria++ ||!Conteúdo||__||__||__||__||__||__||! Descrição++ ||! URL++ ||! [[https://creativecommons.org/licenses | CC]]++ ||
||^^^||^^||^^||!I||!P||!O||!M||!N||!T||!F||^^||^^||^^||
|| 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]] || ||
|| 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 ||
|| Video aulas || H || Renato Mendes Rocha || ✕ || ✕ || || || || || || || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I | ytb]] || ||
|| 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]] || ||
|| 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 ||
|| 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 ||
|| Jogo || E+H || 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 || E+H || 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 ||
|| 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 || 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]] || ||
----
!! Recomendação de bibliografia
!!!Para Todxs Natal: uma introdução à lógica formal
(por Daniel Durante)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||É 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]].||
!!! A construção do argumento, Anthony Weston (trad. Alexandre Feitosa Rosas)
(por Hudson Benevides)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||É 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)
||border=1 style="border: 1px dashed black; border-collapse:collapse" cellpadding="5"
||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]]
Changed line 21 from:
[[https://sbl.org.br/Main/Ensino/sandbox|sandbox]]
to:
[[/sandbox|sandbox]]
Changed line 21 from:
[[https://sbl.org.br/Main/Ensino/Sandbox|sandbox]]
to:
[[https://sbl.org.br/Main/Ensino/sandbox|sandbox]]
Changed line 21 from:
[[https://sbl.org.br/Main/Ensino/Sandbox]]
to:
[[https://sbl.org.br/Main/Ensino/Sandbox|sandbox]]
Changed line 21 from:
[[https://sbl.org.br/pmwiki.php/Main/Ensino/Sandbox]]
to:
[[https://sbl.org.br/Main/Ensino/Sandbox]]
Added lines 19-21:
[[https://sbl.org.br/pmwiki.php/Main/Ensino/Sandbox]]
Added line 18:
|| [[https://mov8.com.br/ideia_mais/|IdeaIA+]] (UNICAMP) || Material didático || Inteligência Artificial || [[https://www.youtube.com/channel/UC-ZGr0eEIGmnO3D6AbWlKog|link do Youtube]] ||
Changed line 14 from:
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (UnB) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Lógica e fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ|link]] ||
to:
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (Universidade de Aveiro) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Lógica e fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ|link]] ||
Changed line 14 from:
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (UnB) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ|link]] ||
to:
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (UnB) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Lógica e fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ|link]] ||
Changed line 14 from:
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (UnB) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ]] ||
to:
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (UnB) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ|link]] ||
Changed lines 5-7 from:
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 [[mailto:contato@sbl.org.br|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''' ||
|| '''
to:
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 [[mailto:contato@sbl.org.br|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''' ||
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (UnB) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ]] ||
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 [[mailto:contato@sbl.org.br|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''' ||
|| [[https://www.alfredoroquefreire.com/|Alfredo Roque Freire]] (UnB) e [[http://www.posfil.unb.br/index.php/acessorapido6?layout=edit&id=85 | Edgar L B Almeida]] (IFB) || Vídeos || Fundamentos da matemática || [[https://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ]] ||
Changed line 9 from:
|| [[http://lolita.dimap.ufrn.br/|João Marcos]] (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|link]] ||
to:
|| [[https://sites.google.com/site/sequiturquodlibet/|João Marcos]] (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|link]] ||
Changed line 9 from:
|| [[http://lolita.dimap.ufrn.br/|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|link]] ||
to:
|| [[http://lolita.dimap.ufrn.br/|João Marcos]] (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|link]] ||
Changed line 8 from:
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] (UFSC) || Exercícios respondidos /resp-il.html|link]] ||
to:
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] (UFSC) || Exercícios respondidos, videoaulas || Lógica || [[http://cmortari.prof.ufsc.br|link]] ||
Changed line 9 from:
|| [[http://lolita.dimap.ufrn.br/|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|link]]
to:
|| [[http://lolita.dimap.ufrn.br/|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|link]] ||
Deleted lines 6-9:
!! Filosofia
Deleted lines 10-11:
!! Matemática
Changed line 14 from:
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I|link]] ||
to:
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I|link]] ||
Changed lines 12-14 from:
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] (UFSC) || Exercícios respondidos || Lógica || [[http://cmortari.prof.ufsc.br/resp-il.html]] ||
|| [[http://lolita.dimap.ufrn.br/|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]]
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
|| [[http://lolita.dimap.ufrn.br/|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]]
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
to:
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] (UFSC) || Exercícios respondidos || Lógica || [[http://cmortari.prof.ufsc.br/resp-il.html|link]] ||
|| [[http://lolita.dimap.ufrn.br/|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|link]]
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I|link]] ||
|| [[http://lolita.dimap.ufrn.br/|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|link]]
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I|link]] ||
Added line 13:
|| [[http://lolita.dimap.ufrn.br/|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]]
Changed lines 5-7 from:
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 abriuuma 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 [[mailto:contato@sbl.org.br|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.
Diante desse cenário, como forma de auxiliar a comunidade lógica brasileira nesse processo, a SBL abriu
to:
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 [[mailto:contato@sbl.org.br|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.
Changed lines 14-15 from:
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] || Exercícios respondidos || Lógica || [[http://cmortari.prof.ufsc.br/resp-il.html]] ||
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
to:
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] (UFSC) || Exercícios respondidos || Lógica || [[http://cmortari.prof.ufsc.br/resp-il.html]] ||
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] (UFS) || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
Changed line 13 from:
|| ''Autor'' || Tipo de material || Disciplina || URL ||
to:
|| '''Autor''' || '''Tipo de material''' || '''Disciplina''' || '''URL''' ||
Added lines 1-17:
Attach:sbl.jpg
! 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 [[mailto:contato@sbl.org.br|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 ||
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] || Exercícios respondidos || Lógica || [[http://cmortari.prof.ufsc.br/resp-il.html]] ||
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
!! Matemática
! 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 [[mailto:contato@sbl.org.br|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 ||
|| [[http://fil.cfh.ufsc.br/cezar-augusto-mortari/|Cezar Mortari]] || Exercícios respondidos || Lógica || [[http://cmortari.prof.ufsc.br/resp-il.html]] ||
|| [[https://www.sigaa.ufs.br/sigaa/public/docente/portal.jsf?siape=1604321|Renato Mendes Rocha]] || Videoaulas || Lógica I || [[https://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I]] ||
!! Matemática