Main.Ensino History

Hide minor edits - Show changes to markup

November 24, 2023, at 04:58 PM by 200.135.89.93 -
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 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 2º Dia Carol Blasio por Diversidade na Lógica e é atualmente mantida por Evelyn Erickson.

May 05, 2023, at 03:35 PM by 177.20.136.220 -
Added lines 42-45:
Lista de exercícioEGrupo 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.

May 05, 2023, at 03:32 PM by 177.20.136.220 -
Added lines 41-42:
Video aulasEAdolfo Neto     Playlist sobre Lógica para ComputaçãoytbCC-BY
April 20, 2023, at 08:16 AM by 179.190.248.249 -
April 20, 2023, at 08:16 AM by 179.190.248.249 -
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 esse formulário.

April 19, 2023, at 09:51 PM by 179.190.248.249 -
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 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.

AutoresTipo de materialDisciplinaURL
Alfredo Roque Freire (Universidade de Aveiro) e Edgar L B Almeida (IFB)VídeosLógica e fundamentos da matemáticalink
Cezar Mortari (UFSC)Exercícios respondidos, videoaulasLógicalink
João Marcos (UFRN)VideoaulasLógicalink
Renato Mendes Rocha (UFS)VideoaulasLógicalink
IdeaIA+ (UNICAMP)Material didáticoInteligência Artificiallink 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 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ÁreaAutoriaConteúdoDescriçãoURLCC
IPOMNTF
VídeosEAlfredo Roque Freire e Edgar L.B. Almeida    ytb 
Video aulas e exercíciosHCezar Mortari   Lógica I e Lógica IIwww 
VideopédiaE+HJoão Marcos    Introdução Computacional à Lógica MatemáticawwwBY
Video aulasHRenato Mendes Rocha      ytb 
Video aulasHDaniel Durante    Introdução à LógicaytbBY
CursoHJuliana Bueno-Soler e Walter Carnielli      Pensamento crítico e argumentaçãowww 
LivroHAutoria coletiva  Para Todxs Natal: uma introdução à lógica formalpdfBY
SlidesHMarcelo Finger (com Renata Wassermann)     Introdução à Lógica e Métodos FormaispdfBY-SA
JogoE+HKeep Talking and Nobody Explodes      Um jogo sobre seguir um manual de instruçõeswww 
Plano de aulaHEvelyn Erickson      Sobre contradição e consistênciapdfBY
VideosHIdealA+       Inteligência Artificialytb 
Plano de cursoHFrank Thomas Sautter      Lógicas Não-clássicaswww 
Plano de cursoHRafaela Nunes e Márcia Laux      Feminismo sob uma Perspectiva Lógico-Filosóficawww 
Video aulasHGisele Dalva Secco     Introdução à lógica desde uma perspectiva feministawww 
Video aulas e exercíciosE+HJoão Marcos      Conjuntos & funções, com um viés computacionalytb 
Video aulasEJoão Marcos     Especificações Algébricas para Tipos de Dados AbstratosytbBY
Video aulasEKarina Girardi Roggia      Lógica Matemática, voltada à ComputaçãoytbBY-SA
VídeosHColetivo Lógica Viva      Falácias informaisytb 
Video aulas, exercícios e textosERenata de Freitas     Da disciplina "Lógica, Números e Funções"wwwBY-ND
TCCE+HMahan Vaz Silva      Introdução a ordinais e cardinais, Filosofia da Teoria de ConjuntospdfBY-ND
SlidesE+HElaine Pimentel  Slides e ementa do curso de Proof Theory (Mestrado/ UFRN)pdf 
LivroEJoão Marcos      Tópicos sobre lógica proposicionalpdf 
LivroEJoão Marcos      Tópicos sobre lógica de primeira ordempdf 
LivroEJoão Marcos      Tópicos sobre lógica modalpdf 
Notas de aula e exercíciosEJoão Marcos      Slides, exercícios e teoria sobre tipos de dados recursivoswww 
Notas de aula e exercíciosEJoão Marcos      Tópicos sobre álgebras, especificações algébricas e tipos de dadoswww 
Notas de aula e exercíciosEJoão Marcos      Teoria dos conjuntos, funções e relaçõeswww 

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

April 17, 2023, at 10:07 AM by 91.162.238.246 -
Added lines 19-21:

página provisória:

March 25, 2023, at 10:30 AM by 179.190.248.249 -
Deleted lines 18-20:

March 25, 2023, at 10:29 AM by 179.190.248.249 -
Changed line 21 from:

to:

March 25, 2023, at 10:27 AM by 179.190.248.249 -
Changed line 21 from:

sandbox

to:

March 25, 2023, at 10:26 AM by 179.190.248.249 -
Changed line 21 from:

sandbox

to:

sandbox

March 25, 2023, at 10:26 AM by 179.190.248.249 -
Changed line 21 from:

https://sbl.org.br/Main/Ensino/Sandbox

to:

sandbox

March 25, 2023, at 10:25 AM by 179.190.248.249 -
Changed line 21 from:

https://sbl.org.br/pmwiki.php/Main/Ensino/Sandbox

to:

https://sbl.org.br/Main/Ensino/Sandbox

March 25, 2023, at 10:25 AM by 179.190.248.249 -
Added lines 19-21:

https://sbl.org.br/pmwiki.php/Main/Ensino/Sandbox

January 18, 2022, at 06:58 AM by 128.16.74.145 -
Added line 18:
IdeaIA+ (UNICAMP)Material didáticoInteligência Artificiallink do Youtube
October 22, 2021, at 08:57 AM by 193.55.251.33 -
Changed line 14 from:
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB)VídeosLógica e fundamentos da matemáticalink
to:
Alfredo Roque Freire (Universidade de Aveiro) e Edgar L B Almeida (IFB)VídeosLógica e fundamentos da matemáticalink
October 22, 2021, at 02:46 AM by 91.167.156.220 -
Changed line 14 from:
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB)VídeosFundamentos da matemáticalink
to:
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB)VídeosLógica e fundamentos da matemáticalink
October 22, 2021, at 02:38 AM by 91.167.156.220 -
Changed line 14 from:
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB)VídeosFundamentos da matemáticahttps://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ
to:
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB)VídeosFundamentos da matemáticalink
October 22, 2021, at 02:37 AM by 91.167.156.220 -
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 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.

AutorTipo de materialDisciplinaURL
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 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.

AutoresTipo de materialDisciplinaURL
Alfredo Roque Freire (UnB) e Edgar L B Almeida (IFB)VídeosFundamentos da matemáticahttps://www.youtube.com/channel/UC_CBXZpDoxt7vPR-MCRgDaQ
June 28, 2021, at 10:22 AM by 177.195.54.222 -
Changed line 9 from:
João Marcos (UFRN)VideoaulasLógicalink
to:
João Marcos (UFRN)VideoaulasLógicalink
June 26, 2021, at 02:54 PM by 177.195.54.222 -
Changed line 9 from:
LOLITA (UFRN)VideoaulasLógicalink
to:
João Marcos (UFRN)VideoaulasLógicalink
June 03, 2021, at 11:47 AM by 189.4.76.72 -
Changed line 8 from:
Cezar Mortari (UFSC)Exercícios respondidosLógicalink
to:
Cezar Mortari (UFSC)Exercícios respondidos, videoaulasLógicalink
October 20, 2020, at 09:09 AM by 177.195.57.23 -
Changed line 9 from:
LOLITA (UFRN)VideoaulasLógicalink
to:
LOLITA (UFRN)VideoaulasLógicalink
October 20, 2020, at 09:09 AM by 177.195.57.23 -
Deleted lines 6-9:

Computação

Filosofia

Deleted lines 10-11:

Matemática

October 20, 2020, at 09:09 AM by 177.195.57.23 -
Changed line 14 from:
Renato Mendes Rocha (UFS)VideoaulasLógica Ilink
to:
Renato Mendes Rocha (UFS)VideoaulasLógicalink
October 20, 2020, at 09:08 AM by 177.195.57.23 -
Changed lines 12-14 from:
Cezar Mortari (UFSC)Exercícios respondidosLógicahttp://cmortari.prof.ufsc.br/resp-il.html
LOLITA (UFRN)VideoaulasLógicahttp://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)VideoaulasLógica Ihttps://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I
to:
Cezar Mortari (UFSC)Exercícios respondidosLógicalink
LOLITA (UFRN)VideoaulasLógicalink
Renato Mendes Rocha (UFS)VideoaulasLógica Ilink
October 20, 2020, at 09:08 AM by 177.195.57.23 -
Added line 13:
LOLITA (UFRN)VideoaulasLógicahttp://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
July 24, 2020, at 10:11 AM by 177.195.51.38 -
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 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.

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 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.

July 24, 2020, at 09:59 AM by 177.195.51.38 -
Changed lines 14-15 from:
Cezar MortariExercícios respondidosLógicahttp://cmortari.prof.ufsc.br/resp-il.html
Renato Mendes RochaVideoaulasLógica Ihttps://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I
to:
Cezar Mortari (UFSC)Exercícios respondidosLógicahttp://cmortari.prof.ufsc.br/resp-il.html
Renato Mendes Rocha (UFS)VideoaulasLógica Ihttps://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I
July 24, 2020, at 09:58 AM by 177.195.51.38 -
Changed line 13 from:
AutorTipo de materialDisciplinaURL
to:
AutorTipo de materialDisciplinaURL
July 24, 2020, at 09:57 AM by 177.195.51.38 -
Added lines 1-17:

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

AutorTipo de materialDisciplinaURL
Cezar MortariExercícios respondidosLógicahttp://cmortari.prof.ufsc.br/resp-il.html
Renato Mendes RochaVideoaulasLógica Ihttps://www.youtube.com/playlist?list=PL2FR0yOkvaWwvmHbX2LEWHHRFXLb8Nv9I

Matemática