Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Marcelo Finger]

👍
Obrigado Alexandre e Valéria!

Em qui., 22 de out. de 2020 às 11:09, Alexandre Rademaker <
aradema...@gmail.com> escreveu:

>
> Também gosto muito desta frase Marcelo! ;-) E como Valeria já disse, a
> frase foi adaptação dela e aparece em
> http://arademaker.github.io/bibliography/acl-ldl-2015.html logo na
> introdução!
>
> Ab.,
> Alexandre
>
> > On 22 Oct 2020, at 10:56, Valeria de Paiva 
> wrote:
> >
> > Oi Marcelo,
> > a frase e' minha, e nos (Alexandre e eu) ja a usamos em varios papers
> conjuntos, nesses dez anos  de OWN-PT.
> >
> > mas acho q a primeira vez q a usamos veio com um "as they say", pois
> devo ter ouvido em algum encontro nos anos noventa quando eu trabalhava
> como postdoc no projeto ACQUILEX da European Community. eles ja' tinham
> esse problema naquela altura!
> >
> > Alias seria legal se voces falassem dos varios wordnets pro Portugues se
> resolverem falar mais sobre Knowledge Representation, no novo centro.
> > Abracos,
> > Valeria
> >
>
>

-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2hp_40Nu-G%2BJD8YkbjtpENVBdPBg1Ax5oT5kvGBWqL0Q%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Alexandre Rademaker]

Também gosto muito desta frase Marcelo! ;-) E como Valeria já disse, a frase 
foi adaptação dela e aparece em 
http://arademaker.github.io/bibliography/acl-ldl-2015.html logo na introdução! 

Ab.,
Alexandre

> On 22 Oct 2020, at 10:56, Valeria de Paiva  wrote:
> 
> Oi Marcelo,
> a frase e' minha, e nos (Alexandre e eu) ja a usamos em varios papers 
> conjuntos, nesses dez anos  de OWN-PT.
> 
> mas acho q a primeira vez q a usamos veio com um "as they say", pois devo ter 
> ouvido em algum encontro nos anos noventa quando eu trabalhava como postdoc 
> no projeto ACQUILEX da European Community. eles ja' tinham esse problema 
> naquela altura!
> 
> Alias seria legal se voces falassem dos varios wordnets pro Portugues se 
> resolverem falar mais sobre Knowledge Representation, no novo centro.
> Abracos,
> Valeria
> 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/56DE33C1-E1C5-4EE7-B8D2-ACFB4A8A04C4%40gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Valeria de Paiva]

Oi Marcelo,
a frase e' minha, e nos (Alexandre e eu) ja a usamos em varios papers
conjuntos, nesses dez anos  de OWN-PT.

mas acho q a primeira vez q a usamos veio com um "as they say", pois devo
ter ouvido em algum encontro nos anos noventa quando eu trabalhava como
postdoc no projeto ACQUILEX da European Community. eles ja' tinham esse
problema naquela altura!

Alias seria legal se voces falassem dos varios wordnets pro Portugues se
resolverem falar mais sobre Knowledge Representation, no novo centro.
Abracos,
Valeria


On Thu, Oct 22, 2020 at 6:44 AM Marcelo Finger  wrote:

>
> Oi Alexandre.
>
> Fantástica a sua colocação: "mas pior ainda é a falta de colaboração e
> desnecessária competição que muitas vezes acontecem. "
>
> Por isso mesmo que estamos começando com material já coletado e
> parcialmente transcrito nos últimos 50 anos!  Temos ambição de conseguir
> um córpus de português falado no Brasil e transcrito que cubra desde 1970
> até os dias de hoje.  Já temos algum material deste período confirmado e
> estamos tratando de realizar parcerias que aumentem a quantidade e a
> qualidade do conteúdo que será disponibilizado.
>
> "Linguistic resources are very easy to start working on, very hard to
> improve and extremely difficult to maintain."  É sua esta frase? Quero
> citar com os devidos créditos.
>
> []s
>
> Marcelo
>
>
>
> Em qui., 22 de out. de 2020 às 10:15, Alexandre Rademaker <
> aradema...@gmail.com> escreveu:
>
>>
>> Olá Marcelo,
>>
>> Verdade! Fazem uns 10 anos que venho trabalhando exatamente na criação de
>> datasets (corpora, recursos léxicos etc) para o processamento do Português.
>> Realmente difícil recebermos apoio e valorização por isso, mas pior ainda é
>> a falta de colaboração e desnecessária competição que muitas vezes
>> acontecem. Não é incomum pesquisadores começarem novos projetos ao invés de
>> colaborar com algum em andamento, acontece no Brazil e em todo lugar.
>> Certamente existem várias explicações para este comportamento.
>>
>> Uma delas é a falta de documentação nos projetos das regras para
>> contribuições, quanto se trata de linguagem, certas decisões precisam ser
>> tomadas e aceitas, obter consenso para todas as decisões é muito difícil.
>>
>> Outra é talvez o incentivo à publicações, fácil publicar um artigo
>> dizendo ’Existe X, X não é bom/suficiente, então fiz Y’. Bem mais difícil é
>> ter um artigo aceito sobre a colaboração com a manutenção de um recurso já
>> existente.
>>
>> E ainda existe má fé, infelizmente! :-( Recursos são incorporados em
>> outros sem o devido crédito! Algumas até monetizam sem valorizar os
>> desenvolvedores iniciais. Google, felizmente, sempre foi honesto em dar
>> crédito à nossa openWordnet-PT:
>> https://translate.google.com/intl/en/about/license/
>>
>> Linguistic resources are very easy to start working on, very hard to
>> improve and extremely difficult to maintain.
>>
>> Ab.,
>> Alexandre
>>
>> > On 22 Oct 2020, at 09:51, Marcelo Finger  wrote:
>> >
>> > Oi João.
>> >
>> > V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as
>> legendas..."
>> >
>> > Estou coordenando um grupo que faz exatamente esta tarefa
>> sistematicamente, em vídeos genéricos do português.  Para quê? para que
>> possamos ter ferramentas de transcrição cada vez melhores e públicas para o
>> português, devolver essas e outras ferramentas de processamento de
>> linguagem natural.
>> >
>> > É um trabalho que requer disciplina e muito profissionalismo, que bom
>> que você seja capaz de apreciar a importância deste trabalho, embora muitas
>> agências de fomento e outros não tem uma visão tão positiva deste tipo de
>> atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho
>> de geração e coleta de dados.
>> >
>> > []s
>>
>>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>


-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsVGQAx-YcP4c8Tq1Uq8Rr2D5H6A2ZYu2%3DUmQx7XXckuw%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Marcelo Finger]

Oi Alexandre.

Fantástica a sua colocação: "mas pior ainda é a falta de colaboração e
desnecessária competição que muitas vezes acontecem. "

Por isso mesmo que estamos começando com material já coletado e parcialmente
transcrito nos últimos 50 anos!  Temos ambição de conseguir um córpus de
português falado no Brasil e transcrito que cubra desde 1970 até os dias de
hoje.  Já temos algum material deste período confirmado e estamos tratando
de realizar parcerias que aumentem a quantidade e a qualidade do conteúdo
que será disponibilizado.

"Linguistic resources are very easy to start working on, very hard to
improve and extremely difficult to maintain."  É sua esta frase? Quero
citar com os devidos créditos.

[]s

Marcelo



Em qui., 22 de out. de 2020 às 10:15, Alexandre Rademaker <
aradema...@gmail.com> escreveu:

>
> Olá Marcelo,
>
> Verdade! Fazem uns 10 anos que venho trabalhando exatamente na criação de
> datasets (corpora, recursos léxicos etc) para o processamento do Português.
> Realmente difícil recebermos apoio e valorização por isso, mas pior ainda é
> a falta de colaboração e desnecessária competição que muitas vezes
> acontecem. Não é incomum pesquisadores começarem novos projetos ao invés de
> colaborar com algum em andamento, acontece no Brazil e em todo lugar.
> Certamente existem várias explicações para este comportamento.
>
> Uma delas é a falta de documentação nos projetos das regras para
> contribuições, quanto se trata de linguagem, certas decisões precisam ser
> tomadas e aceitas, obter consenso para todas as decisões é muito difícil.
>
> Outra é talvez o incentivo à publicações, fácil publicar um artigo dizendo
> ’Existe X, X não é bom/suficiente, então fiz Y’. Bem mais difícil é ter um
> artigo aceito sobre a colaboração com a manutenção de um recurso já
> existente.
>
> E ainda existe má fé, infelizmente! :-( Recursos são incorporados em
> outros sem o devido crédito! Algumas até monetizam sem valorizar os
> desenvolvedores iniciais. Google, felizmente, sempre foi honesto em dar
> crédito à nossa openWordnet-PT:
> https://translate.google.com/intl/en/about/license/
>
> Linguistic resources are very easy to start working on, very hard to
> improve and extremely difficult to maintain.
>
> Ab.,
> Alexandre
>
> > On 22 Oct 2020, at 09:51, Marcelo Finger  wrote:
> >
> > Oi João.
> >
> > V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as
> legendas..."
> >
> > Estou coordenando um grupo que faz exatamente esta tarefa
> sistematicamente, em vídeos genéricos do português.  Para quê? para que
> possamos ter ferramentas de transcrição cada vez melhores e públicas para o
> português, devolver essas e outras ferramentas de processamento de
> linguagem natural.
> >
> > É um trabalho que requer disciplina e muito profissionalismo, que bom
> que você seja capaz de apreciar a importância deste trabalho, embora muitas
> agências de fomento e outros não tem uma visão tão positiva deste tipo de
> atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho
> de geração e coleta de dados.
> >
> > []s
>
>

-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw10Xhw7dMe6mCQr5WvM2tqPhYiNyPvbWQKUcRCPVw8GDQ%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Alexandre Rademaker]

Olá Marcelo,

Verdade! Fazem uns 10 anos que venho trabalhando exatamente na criação de 
datasets (corpora, recursos léxicos etc) para o processamento do Português. 
Realmente difícil recebermos apoio e valorização por isso, mas pior ainda é a 
falta de colaboração e desnecessária competição que muitas vezes acontecem. Não 
é incomum pesquisadores começarem novos projetos ao invés de colaborar com 
algum em andamento, acontece no Brazil e em todo lugar. Certamente existem 
várias explicações para este comportamento. 

Uma delas é a falta de documentação nos projetos das regras para contribuições, 
quanto se trata de linguagem, certas decisões precisam ser tomadas e aceitas, 
obter consenso para todas as decisões é muito difícil.

Outra é talvez o incentivo à publicações, fácil publicar um artigo dizendo 
’Existe X, X não é bom/suficiente, então fiz Y’. Bem mais difícil é ter um 
artigo aceito sobre a colaboração com a manutenção de um recurso já existente.

E ainda existe má fé, infelizmente! :-( Recursos são incorporados em outros sem 
o devido crédito! Algumas até monetizam sem valorizar os desenvolvedores 
iniciais. Google, felizmente, sempre foi honesto em dar crédito à nossa 
openWordnet-PT: https://translate.google.com/intl/en/about/license/

Linguistic resources are very easy to start working on, very hard to improve 
and extremely difficult to maintain.

Ab.,
Alexandre

> On 22 Oct 2020, at 09:51, Marcelo Finger  wrote:
> 
> Oi João.
> 
> V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as legendas..."
> 
> Estou coordenando um grupo que faz exatamente esta tarefa sistematicamente, 
> em vídeos genéricos do português.  Para quê? para que possamos ter 
> ferramentas de transcrição cada vez melhores e públicas para o português, 
> devolver essas e outras ferramentas de processamento de linguagem natural.
> 
> É um trabalho que requer disciplina e muito profissionalismo, que bom que 
> você seja capaz de apreciar a importância deste trabalho, embora muitas 
> agências de fomento e outros não tem uma visão tão positiva deste tipo de 
> atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho 
> de geração e coleta de dados.
> 
> []s

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FA982AAA-1FFD-4ECF-B236-7388EC0112E8%40gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Marcelo Finger]

Oi João.

V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as legendas..."

Estou coordenando um grupo que faz exatamente esta tarefa
sistematicamente, em vídeos genéricos do português.  Para quê? para que
possamos ter ferramentas de transcrição cada vez melhores e públicas para o
português, devolver essas e outras ferramentas de processamento de
linguagem natural.

É um trabalho que requer disciplina e muito profissionalismo, que bom que
você seja capaz de apreciar a importância deste trabalho, embora muitas
agências de fomento e outros não tem uma visão tão positiva deste tipo de
atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho
de geração e coleta de dados.

[]s



Em qua., 21 de out. de 2020 às 22:37, Joao Marcos 
escreveu:

> Valeria, eu acabei de usar o "captions editor" do próprio YouTube
> Studio e fiquei muito bem impressionado com o resultado.  Ele
> conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e
> permite-me corrigir o texto com muita facilidade.  Agora, *haja tempo*
> para ouvir os vídeos e editar as legendas...
>
> Fiz o experimento, em particular, com o vídeo sobre "Correção e
> completude para a Lógica de Primeira Ordem Clássica"
> (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta
> rodada.  Ficou bom, basta você ligar o "close caption" do YouTube pra
> ver.  O problema foi que já encontrei um erro na minha narração: eu
> falo a palavra "universal" ao me referir a um "existencial",
> descrevendo o método de Henkin. :-(:-(:-(
>
> Vou culpar o referee, neste caso, por ter me feito assistir mais uma
> vez a mim mesmo! ;-b
>
> Abraços, Joao Marcos
>
> On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva
>  wrote:
> >
> > Muito legal, parabens pela iniciativa!
> > voces fizeram voice2text dos videos?abs
> > Valeria
> >
> >
> >
> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Introdução Computacional à Lógica Matemática
> >>
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >>
> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> >> sabor levemente computacional, cobrindo (presentemente) os temas:
> >> - relações de consequência
> >> - sintaxe lógica proposicional e de primeira ordem
> >> - o formalismo da Dedução Natural
> >> - as estruturas de interpretação (clássicas) de primeira ordem
> >> Faço observar que o material foi criado para cobrir um curso
> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> >> editada.
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Este material foi construído ao longo de dois meses de trabalho
> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> >> de Patrick Terrematte.
> >>
> >> Comentários e sugestões dos colegas que possam impactar eventuais
> >> futuras atualizações desta videopédia são sempre bem-vindos!
> >>
> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> >> Joao Marcos
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >>
> >> --
> >> Você está recebendo esta mensagem porque se inscreveu no grupo
> "LOGICA-L" dos Grupos do Google.
> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> >> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
> >
> >
> >
> > --
> > Valeria de Paiva
> > http://vcvpaiva.github.io/
> > http://www.cs.bham.ac.uk/~vdp/
> >
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com
> .
>


-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw02hrKynvjQDLg%3DH

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

Obrigado, Elaine!

Bem, com pelo menos dez professores trabalhando em volta da nossa
área, em cinco departamentos diferentes, a UFRN tinha que ser
produtiva!  E, pra completar, há um concurso na área de Lógica e
Filosofia da Ciência acontecendo _esta semana_ no Departamento de
Filosofia, na vaga que era da nossa ex-reitora!

> Eu já tinha parabenizado o Daniel e Maria da Paz pelo trabalho de tradução do 
> forall,
> e fica aqui também o parabéns pela "menção honrosa" do Prêmio CAPES de tese
> para o PPGFIL.

Sim, um orientando de Daniel!

Abraços,
Joao Marcos

On Thu, Oct 22, 2020 at 6:22 AM Elaine Pimentel
 wrote:
>
> Viva, João!
>
> Su-per-le-gal o trabalho! Parabéns mesmo!!!
>
> Acho que você acertou o tom: desde os tons pastel dos slides, até o tom 
> correto do conteúdo, passando pelo tom suave de voz! Muito bacana, depois 
> você me diz como escrever em cima de pdfs :)
>
> Eu já tinha parabenizado o Daniel e Maria da Paz pelo trabalho de tradução do 
> forall, e fica aqui também o parabéns pela "menção honrosa" do Prêmio CAPES 
> de tese para o PPGFIL.
>
> E sim, Lolita rocks!
>
> Abraços,
>
> Elaine.
>
> On Wed, Oct 21, 2020 at 10:37 PM Joao Marcos  wrote:
>>
>> Valeria, eu acabei de usar o "captions editor" do próprio YouTube
>> Studio e fiquei muito bem impressionado com o resultado.  Ele
>> conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e
>> permite-me corrigir o texto com muita facilidade.  Agora, *haja tempo*
>> para ouvir os vídeos e editar as legendas...
>>
>> Fiz o experimento, em particular, com o vídeo sobre "Correção e
>> completude para a Lógica de Primeira Ordem Clássica"
>> (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta
>> rodada.  Ficou bom, basta você ligar o "close caption" do YouTube pra
>> ver.  O problema foi que já encontrei um erro na minha narração: eu
>> falo a palavra "universal" ao me referir a um "existencial",
>> descrevendo o método de Henkin. :-(:-(:-(
>>
>> Vou culpar o referee, neste caso, por ter me feito assistir mais uma
>> vez a mim mesmo! ;-b
>>
>> Abraços, Joao Marcos
>>
>> On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva
>>  wrote:
>> >
>> > Muito legal, parabens pela iniciativa!
>> > voces fizeram voice2text dos videos?abs
>> > Valeria
>> >
>> >
>> >
>> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
>> >>
>> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> >>
>> >> Introdução Computacional à Lógica Matemática
>> >> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>> >>
>> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>> >> sabor levemente computacional, cobrindo (presentemente) os temas:
>> >> - relações de consequência
>> >> - sintaxe lógica proposicional e de primeira ordem
>> >> - o formalismo da Dedução Natural
>> >> - as estruturas de interpretação (clássicas) de primeira ordem
>> >> Faço observar que o material foi criado para cobrir um curso
>> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>> >> editada.
>> >>
>> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> >>
>> >> Este material foi construído ao longo de dois meses de trabalho
>> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>> >> de Patrick Terrematte.
>> >>
>> >> Comentários e sugestões dos colegas que possam impactar eventuais
>> >> futuras atualizações desta videopédia são sempre bem-vindos!
>> >>
>> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>> >> comunidade,
>> >> Joao Marcos
>> >>
>> >> --
>> >> http://sequiturquodlibet.googlepages.com/
>> >>
>> >> --
>> >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> >> dos Grupos do Google.
>> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, 
>> >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> >> Para ver esta discussão na web, acesse 
>> >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.
>> >
>> >
>> >
>> > --
>> > Valeria de Paiva
>> > http://vcvpaiva.github.io/
>> > http://www.cs.bham.ac.uk/~vdp/
>> >
>>
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com.
>
>
>
> --
> Elaine.
> -

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Elaine Pimentel]

Viva, João!

Su-per-le-gal o trabalho! Parabéns mesmo!!!

Acho que você acertou o tom: desde os tons pastel dos slides, até o tom
correto do conteúdo, passando pelo tom suave de voz! Muito bacana, depois
você me diz como escrever em cima de pdfs :)

Eu já tinha parabenizado o Daniel e Maria da Paz pelo trabalho de tradução
do forall, e fica aqui também o parabéns pela "menção honrosa" do Prêmio
CAPES de tese para o PPGFIL.

E sim, Lolita rocks!

Abraços,

Elaine.

On Wed, Oct 21, 2020 at 10:37 PM Joao Marcos  wrote:

> Valeria, eu acabei de usar o "captions editor" do próprio YouTube
> Studio e fiquei muito bem impressionado com o resultado.  Ele
> conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e
> permite-me corrigir o texto com muita facilidade.  Agora, *haja tempo*
> para ouvir os vídeos e editar as legendas...
>
> Fiz o experimento, em particular, com o vídeo sobre "Correção e
> completude para a Lógica de Primeira Ordem Clássica"
> (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta
> rodada.  Ficou bom, basta você ligar o "close caption" do YouTube pra
> ver.  O problema foi que já encontrei um erro na minha narração: eu
> falo a palavra "universal" ao me referir a um "existencial",
> descrevendo o método de Henkin. :-(:-(:-(
>
> Vou culpar o referee, neste caso, por ter me feito assistir mais uma
> vez a mim mesmo! ;-b
>
> Abraços, Joao Marcos
>
> On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva
>  wrote:
> >
> > Muito legal, parabens pela iniciativa!
> > voces fizeram voice2text dos videos?abs
> > Valeria
> >
> >
> >
> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Introdução Computacional à Lógica Matemática
> >>
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >>
> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> >> sabor levemente computacional, cobrindo (presentemente) os temas:
> >> - relações de consequência
> >> - sintaxe lógica proposicional e de primeira ordem
> >> - o formalismo da Dedução Natural
> >> - as estruturas de interpretação (clássicas) de primeira ordem
> >> Faço observar que o material foi criado para cobrir um curso
> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> >> editada.
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Este material foi construído ao longo de dois meses de trabalho
> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> >> de Patrick Terrematte.
> >>
> >> Comentários e sugestões dos colegas que possam impactar eventuais
> >> futuras atualizações desta videopédia são sempre bem-vindos!
> >>
> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> >> Joao Marcos
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >>
> >> --
> >> Você está recebendo esta mensagem porque se inscreveu no grupo
> "LOGICA-L" dos Grupos do Google.
> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> >> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
> >
> >
> >
> > --
> > Valeria de Paiva
> > http://vcvpaiva.github.io/
> > http://www.cs.bham.ac.uk/~vdp/
> >
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com
> .
>


-- 
Elaine.
-
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415


-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2B

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

Valeria, eu acabei de usar o "captions editor" do próprio YouTube
Studio e fiquei muito bem impressionado com o resultado.  Ele
conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e
permite-me corrigir o texto com muita facilidade.  Agora, *haja tempo*
para ouvir os vídeos e editar as legendas...

Fiz o experimento, em particular, com o vídeo sobre "Correção e
completude para a Lógica de Primeira Ordem Clássica"
(https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta
rodada.  Ficou bom, basta você ligar o "close caption" do YouTube pra
ver.  O problema foi que já encontrei um erro na minha narração: eu
falo a palavra "universal" ao me referir a um "existencial",
descrevendo o método de Henkin. :-(:-(:-(

Vou culpar o referee, neste caso, por ter me feito assistir mais uma
vez a mim mesmo! ;-b

Abraços, Joao Marcos

On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva
 wrote:
>
> Muito legal, parabens pela iniciativa!
> voces fizeram voice2text dos videos?abs
> Valeria
>
>
>
> On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
>>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>
>> Introdução Computacional à Lógica Matemática
>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>>
>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>> sabor levemente computacional, cobrindo (presentemente) os temas:
>> - relações de consequência
>> - sintaxe lógica proposicional e de primeira ordem
>> - o formalismo da Dedução Natural
>> - as estruturas de interpretação (clássicas) de primeira ordem
>> Faço observar que o material foi criado para cobrir um curso
>> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>> editada.
>>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>
>> Este material foi construído ao longo de dois meses de trabalho
>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>> de Patrick Terrematte.
>>
>> Comentários e sugestões dos colegas que possam impactar eventuais
>> futuras atualizações desta videopédia são sempre bem-vindos!
>>
>> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>> comunidade,
>> Joao Marcos
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>


-- 
http://sequiturquodlibet.googlepages.com/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Andrea Loparic]

Meus caros,
Parabéns, parabéns, parabéns.
Mas é claro que a UFRGN tinha que estar na vanguarda
nessa área, sobretudo em se tratando de Forall. Afinal,
a tradição tem umas 8 décadas, pelo que sempre me
contavam os amigos natalinos (ou seria "natalenses"?).
Lá vai o que me diziam.
Durante a Segunda Guerra, os americanos tinham uma
base em Natal. Então, além dos exercícios de preparação
para a guerra, eles tinham, claro, atividades de recreação.
Algumas delas, reservadas aos oficiais, outras abertas a
todos, bailinhos for all, aos quais não faltavam garotas
brasileiras. E foi assim que nasceu nosso forró!
Si non eh vero...assim me foi contado, isso eu garanto!
Ainda vou assistir seu video, JM, assim que tiver alta
no hospital, onde estou fazendo o que espero ser a
bateria final do controle do câncer que, se der o resultado
esperado, significará que estou curada!
Um beijo,
Andrea


m qua., 21 de out. de 2020 às 17:36, Bruno Lopes  escreveu:

> João,
>
> Parabéns pelo excelente trabalho! Certamente vai ser muito útil à
> comunidade. E mais uma vez, obrigado por disponibilizar nas página da SBL.
>
> Abraços,
>
> Bruno
>
> Em qua, 21 de out de 2020 17:33, Joao Marcos 
> escreveu:
>
>> Querido Haniel:
>>
>> Seu elogio é muito significativo para mim.
>>
>> Fico sempre muito feliz em saber que você saiu aqui da UFRN para fazer
>> sucesso como professor aí na UFMG, onde um dia eu próprio estudei!
>>
>> Muita força aí nesta tarefa,
>> Joao Marcos
>>
>>
>> On Wed, Oct 21, 2020 at 3:41 PM Haniel Barbosa 
>> wrote:
>> >
>> > Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um
>> > pouco mas está bem clara a altíssima qualidade do material. Como
>> > também estou nessa vida de gravar previamente as aulas (que nem se
>> > comparam a estas...) dá pra ter uma boa noção do trabalho necessário
>> > pra atingir esse resultado. Fica aqui minha admiração. :)
>> >
>> > Abraço,
>> >
>> > Joao Marcos writes:
>> >
>> > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> *
>> > >
>> > > Introdução Computacional à Lógica Matemática
>> > >
>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>> > >
>> > > Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>> > > Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>> > > sabor levemente computacional, cobrindo (presentemente) os temas:
>> > > - relações de consequência
>> > > - sintaxe lógica proposicional e de primeira ordem
>> > > - o formalismo da Dedução Natural
>> > > - as estruturas de interpretação (clássicas) de primeira ordem
>> > > Faço observar que o material foi criado para cobrir um curso
>> > > introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>> > > e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>> > > verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>> > > editada.
>> > >
>> > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> *
>> > >
>> > > Este material foi construído ao longo de dois meses de trabalho
>> > > intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>> > > de Patrick Terrematte.
>> > >
>> > > Comentários e sugestões dos colegas que possam impactar eventuais
>> > > futuras atualizações desta videopédia são sempre bem-vindos!
>> > >
>> > > Com votos de que possa haver algo aqui que venha a ser útil à nossa
>> comunidade,
>> > > Joao Marcos
>> > >
>> > > --
>> > > http://sequiturquodlibet.googlepages.com/
>> >
>> >
>> > --
>> > Haniel Barbosa
>> > https://homepages.dcc.ufmg.br/~hbarbosa/
>>
>>
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhdE1krmW9JqPC1updcxArVqSpa9oHhE_kyt3N6Pv0GQQ%40mail.gmail.com
>> .
>>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq09%3DYuxWYvB4wZkRvXt1Zd4ndTM0WBHfOrE_ihdNWeLS-g%40mail.gmail.com
> 
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Bruno Lopes]

João,

Parabéns pelo excelente trabalho! Certamente vai ser muito útil à
comunidade. E mais uma vez, obrigado por disponibilizar nas página da SBL.

Abraços,

Bruno

Em qua, 21 de out de 2020 17:33, Joao Marcos  escreveu:

> Querido Haniel:
>
> Seu elogio é muito significativo para mim.
>
> Fico sempre muito feliz em saber que você saiu aqui da UFRN para fazer
> sucesso como professor aí na UFMG, onde um dia eu próprio estudei!
>
> Muita força aí nesta tarefa,
> Joao Marcos
>
>
> On Wed, Oct 21, 2020 at 3:41 PM Haniel Barbosa 
> wrote:
> >
> > Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um
> > pouco mas está bem clara a altíssima qualidade do material. Como
> > também estou nessa vida de gravar previamente as aulas (que nem se
> > comparam a estas...) dá pra ter uma boa noção do trabalho necessário
> > pra atingir esse resultado. Fica aqui minha admiração. :)
> >
> > Abraço,
> >
> > Joao Marcos writes:
> >
> > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> > >
> > > Introdução Computacional à Lógica Matemática
> > >
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> > >
> > > Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> > > Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> > > sabor levemente computacional, cobrindo (presentemente) os temas:
> > > - relações de consequência
> > > - sintaxe lógica proposicional e de primeira ordem
> > > - o formalismo da Dedução Natural
> > > - as estruturas de interpretação (clássicas) de primeira ordem
> > > Faço observar que o material foi criado para cobrir um curso
> > > introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> > > e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> > > verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> > > editada.
> > >
> > > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> > >
> > > Este material foi construído ao longo de dois meses de trabalho
> > > intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> > > de Patrick Terrematte.
> > >
> > > Comentários e sugestões dos colegas que possam impactar eventuais
> > > futuras atualizações desta videopédia são sempre bem-vindos!
> > >
> > > Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> > > Joao Marcos
> > >
> > > --
> > > http://sequiturquodlibet.googlepages.com/
> >
> >
> > --
> > Haniel Barbosa
> > https://homepages.dcc.ufmg.br/~hbarbosa/
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhdE1krmW9JqPC1updcxArVqSpa9oHhE_kyt3N6Pv0GQQ%40mail.gmail.com
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq09%3DYuxWYvB4wZkRvXt1Zd4ndTM0WBHfOrE_ihdNWeLS-g%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

Querido Haniel:

Seu elogio é muito significativo para mim.

Fico sempre muito feliz em saber que você saiu aqui da UFRN para fazer
sucesso como professor aí na UFMG, onde um dia eu próprio estudei!

Muita força aí nesta tarefa,
Joao Marcos


On Wed, Oct 21, 2020 at 3:41 PM Haniel Barbosa  wrote:
>
> Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um
> pouco mas está bem clara a altíssima qualidade do material. Como
> também estou nessa vida de gravar previamente as aulas (que nem se
> comparam a estas...) dá pra ter uma boa noção do trabalho necessário
> pra atingir esse resultado. Fica aqui minha admiração. :)
>
> Abraço,
>
> Joao Marcos writes:
>
> > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >
> > Introdução Computacional à Lógica Matemática
> > http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >
> > Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> > Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> > sabor levemente computacional, cobrindo (presentemente) os temas:
> > - relações de consequência
> > - sintaxe lógica proposicional e de primeira ordem
> > - o formalismo da Dedução Natural
> > - as estruturas de interpretação (clássicas) de primeira ordem
> > Faço observar que o material foi criado para cobrir um curso
> > introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> > e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> > verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> > editada.
> >
> > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >
> > Este material foi construído ao longo de dois meses de trabalho
> > intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> > de Patrick Terrematte.
> >
> > Comentários e sugestões dos colegas que possam impactar eventuais
> > futuras atualizações desta videopédia são sempre bem-vindos!
> >
> > Com votos de que possa haver algo aqui que venha a ser útil à nossa 
> > comunidade,
> > Joao Marcos
> >
> > --
> > http://sequiturquodlibet.googlepages.com/
>
>
> --
> Haniel Barbosa
> https://homepages.dcc.ufmg.br/~hbarbosa/



--
http://sequiturquodlibet.googlepages.com/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhdE1krmW9JqPC1updcxArVqSpa9oHhE_kyt3N6Pv0GQQ%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

['Durante' via LOGICA-L]

Obrigado, colegas,

Seguimos nos reiventando aqui. Fiquem a vontade para criticar e apontar 
erros. Há muitos.

Eu gosto bastante "Forall_x" e, modéstia a parte, gosto do que estamos 
fazendo no "Paratoxs - Natal". Mas ainda está muito longe de uma versão 
"publicável". Ainda tem muitos problemas, inclusive inconsistências 
terminológicas. Só que agora, com os vídeos, o texto está parado por falta 
de tempo. Mas logo voltamos.

Eu não fiz um Hub do projeto do livro pois não tive tempo (ainda) de 
investir neste aprendizado. Mas eu envio com prazer o código LaTeX pra quem 
quiser mexer, mudar, alterar, fazer outro,... Fiquem a vontade. É tudo 
livre, "CC BY 4.0". O Hermógenes e alguns outros colegas da UFPB estão 
também trabalhando em algumas partes que ainda faltam e, quem sabe, haverá 
uma versão "Paratodxs - João Pessoa", com interseções com a nossa.

Seria uma honra, Cezar, ter um link das videoaulas na página da SBL. Se 
achar que merecem, fique a vontade.

Saudações,
Daniel.

Em quarta-feira, 21 de outubro de 2020 às 15:41:51 UTC-3, Haniel Barbosa 
escreveu:

> Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um
> pouco mas está bem clara a altíssima qualidade do material. Como
> também estou nessa vida de gravar previamente as aulas (que nem se
> comparam a estas...) dá pra ter uma boa noção do trabalho necessário
> pra atingir esse resultado. Fica aqui minha admiração. :)
>
> Abraço,
>
> Joao Marcos writes:
>
> > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >
> > Introdução Computacional à Lógica Matemática
> > 
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >
> > Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> > Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> > sabor levemente computacional, cobrindo (presentemente) os temas:
> > - relações de consequência
> > - sintaxe lógica proposicional e de primeira ordem
> > - o formalismo da Dedução Natural
> > - as estruturas de interpretação (clássicas) de primeira ordem
> > Faço observar que o material foi criado para cobrir um curso
> > introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> > e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> > verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> > editada.
> >
> > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >
> > Este material foi construído ao longo de dois meses de trabalho
> > intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> > de Patrick Terrematte.
> >
> > Comentários e sugestões dos colegas que possam impactar eventuais
> > futuras atualizações desta videopédia são sempre bem-vindos!
> >
> > Com votos de que possa haver algo aqui que venha a ser útil à nossa 
> comunidade,
> > Joao Marcos
> >
> > --
> > http://sequiturquodlibet.googlepages.com/
>
>
> -- 
> Haniel Barbosa
> https://homepages.dcc.ufmg.br/~hbarbosa/
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/d2917397-d5d3-4ac5-9e43-8ba67c9124fbn%40dimap.ufrn.br.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Haniel Barbosa]

Parabéns pelos vídeos, JM e colegas! Até agora pude ver apenas um
pouco mas está bem clara a altíssima qualidade do material. Como
também estou nessa vida de gravar previamente as aulas (que nem se
comparam a estas...) dá pra ter uma boa noção do trabalho necessário
pra atingir esse resultado. Fica aqui minha admiração. :)

Abraço,

Joao Marcos writes:

> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Introdução Computacional à Lógica Matemática
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>
> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> sabor levemente computacional, cobrindo (presentemente) os temas:
> - relações de consequência
> - sintaxe lógica proposicional e de primeira ordem
> - o formalismo da Dedução Natural
> - as estruturas de interpretação (clássicas) de primeira ordem
> Faço observar que o material foi criado para cobrir um curso
> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> editada.
>
> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Este material foi construído ao longo de dois meses de trabalho
> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> de Patrick Terrematte.
>
> Comentários e sugestões dos colegas que possam impactar eventuais
> futuras atualizações desta videopédia são sempre bem-vindos!
>
> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
> comunidade,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/


-- 
Haniel Barbosa
https://homepages.dcc.ufmg.br/~hbarbosa/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87eelrbewr.fsf%40gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Julio Stern]

Parabens Joao Marcos:
Creio que, daqui para frente, ter boas video-aulas devera se tornar a norma.
Teremos que reaprender (nao voce que ja aprendeu, e muito bem) a ser 
professores.
Teremos tambem que repensar o papel de aulas presenciais, a relacao aluno 
professor,
o papel do professor na universidade, e muitas relacoes consequentes.
Tudo de bom,
---Julio Stern


From: Joao Marcos 
Sent: Tuesday, October 20, 2020 12:40 PM
To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA 

Subject: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

Introdução Computacional à Lógica Matemática
http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica

Trata-se de uma _videopédia_ que aborda temas básicos ligados à
Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
sabor levemente computacional, cobrindo (presentemente) os temas:
- relações de consequência
- sintaxe lógica proposicional e de primeira ordem
- o formalismo da Dedução Natural
- as estruturas de interpretação (clássicas) de primeira ordem
Faço observar que o material foi criado para cobrir um curso
introdutório (formal) correspondente a aproximadamente 30 horas-aula,
e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
editada.

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

Este material foi construído ao longo de dois meses de trabalho
intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
de Patrick Terrematte.

Comentários e sugestões dos colegas que possam impactar eventuais
futuras atualizações desta videopédia são sempre bem-vindos!

Com votos de que possa haver algo aqui que venha a ser útil à nossa comunidade,
Joao Marcos

--
http://sequiturquodlibet.googlepages.com/

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPXPR80MB530348413B2378BBF2F734E7B61C0%40CPXPR80MB5303.lamprd80.prod.outlook.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

Obrigado pela dica, Valeria!  Estou testando aqui.

Por ora, posso dizer que acabei de testar o recurso "closed caption"
do YouTube e fiquei bastante surpreso de perceber que ele consegue
"entender" talvez 99% do que eu falo. :-o  Nem eu entendo tudo isso do
que eu falo!

Tudo de bom,
Joao Marcos

On Tue, Oct 20, 2020 at 11:41 PM Valeria de Paiva
 wrote:
>
> Eu vi recentemente um menino no Youtube explicando como fazer isso em 
> portugues.
> parece q o Chrome tem um sistema desses, que eles disponibilizam.
> acho que e' esse aqui Joao MArcos,
> https://www.youtube.com/watch?v=mpFe8DiowS0  mas  nao garanto.
> e confesso que ainda nao tentei. o video e' meio velho, e como sempre as 
> coisas estao apertadas.
>
> os cursos do coursera tem isso eu eu acho super bom qdo quero de fato 
> aprender alguma coisa,
> ser capaz de repetir o professor, depois de ler o que foi dito ajuda muito!
>
> se voce fizer, depois conta como funcionou, ok?
> abracos
> Valeria
>
> On Tue, Oct 20, 2020 at 5:58 PM Joao Marcos  wrote:
>>
>> > Muito legal, parabens pela iniciativa!
>> > voces fizeram voice2text dos videos?abs
>>
>> Confesso que não me ocorreu, Valeria, mas gostei da ideia!  Alguma
>> sugestão de por onde eu poderia começar?
>>
>> Joao Marcos
>>
>>
>>
>> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
>> >>
>> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> >>
>> >> Introdução Computacional à Lógica Matemática
>> >> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>> >>
>> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>> >> sabor levemente computacional, cobrindo (presentemente) os temas:
>> >> - relações de consequência
>> >> - sintaxe lógica proposicional e de primeira ordem
>> >> - o formalismo da Dedução Natural
>> >> - as estruturas de interpretação (clássicas) de primeira ordem
>> >> Faço observar que o material foi criado para cobrir um curso
>> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>> >> editada.
>> >>
>> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> >>
>> >> Este material foi construído ao longo de dois meses de trabalho
>> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>> >> de Patrick Terrematte.
>> >>
>> >> Comentários e sugestões dos colegas que possam impactar eventuais
>> >> futuras atualizações desta videopédia são sempre bem-vindos!
>> >>
>> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>> >> comunidade,
>> >> Joao Marcos
>> >>
>> >> --
>> >> http://sequiturquodlibet.googlepages.com/
>> >>
>> >> --
>> >> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> >> dos Grupos do Google.
>> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, 
>> >> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> >> Para ver esta discussão na web, acesse 
>> >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.
>> >
>> >
>> >
>> > --
>> > Valeria de Paiva
>> > http://vcvpaiva.github.io/
>> > http://www.cs.bham.ac.uk/~vdp/
>> >
>>
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>


-- 
http://sequiturquodlibet.googlepages.com/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lj8xosjWVvmJOweoZRg0f0gvohmve%3DU9sh--bOe2BFvig%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Valeria de Paiva]

Eu vi recentemente um menino no Youtube explicando como fazer isso em
portugues.
parece q o Chrome tem um sistema desses, que eles disponibilizam.
acho que e' esse aqui Joao MArcos,
https://www.youtube.com/watch?v=mpFe8DiowS0  mas  nao garanto.
e confesso que ainda nao tentei. o video e' meio velho, e como sempre as
coisas estao apertadas.

os cursos do coursera tem isso eu eu acho super bom qdo quero de fato
aprender alguma coisa,
ser capaz de repetir o professor, depois de ler o que foi dito ajuda muito!

se voce fizer, depois conta como funcionou, ok?
abracos
Valeria

On Tue, Oct 20, 2020 at 5:58 PM Joao Marcos  wrote:

> > Muito legal, parabens pela iniciativa!
> > voces fizeram voice2text dos videos?abs
>
> Confesso que não me ocorreu, Valeria, mas gostei da ideia!  Alguma
> sugestão de por onde eu poderia começar?
>
> Joao Marcos
>
>
>
> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Introdução Computacional à Lógica Matemática
> >>
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >>
> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> >> sabor levemente computacional, cobrindo (presentemente) os temas:
> >> - relações de consequência
> >> - sintaxe lógica proposicional e de primeira ordem
> >> - o formalismo da Dedução Natural
> >> - as estruturas de interpretação (clássicas) de primeira ordem
> >> Faço observar que o material foi criado para cobrir um curso
> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> >> editada.
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Este material foi construído ao longo de dois meses de trabalho
> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> >> de Patrick Terrematte.
> >>
> >> Comentários e sugestões dos colegas que possam impactar eventuais
> >> futuras atualizações desta videopédia são sempre bem-vindos!
> >>
> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> >> Joao Marcos
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >>
> >> --
> >> Você está recebendo esta mensagem porque se inscreveu no grupo
> "LOGICA-L" dos Grupos do Google.
> >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> >> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
> >
> >
> >
> > --
> > Valeria de Paiva
> > http://vcvpaiva.github.io/
> > http://www.cs.bham.ac.uk/~vdp/
> >
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>


-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtD%2Bs5R9n33Z1JykAwxSkMhAUOKVd95ucywM%2BzLqkWgVQ%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

Obrigado, Walter!  Não deixe de me avisar quando encontrar deslizes!

Joao Marcos

On Tue, Oct 20, 2020, 22:27 Walter Alexandre Carnielli 
wrote:

> João  e equipe,
>
> parabéns pela videopédia,  vídeos  bem concisos, informativos,
> corretos (tanto quanto eu pude verificar--é fácil "deslizar") ,
> textos bem escolhidos e ótimo som!
> Aliás, você  poderia  passar aqui
>  dica: que microfone usou?
>
> Abraços,
>
> Walter
>
> Em ter., 20 de out. de 2020 às 09:41, Joao Marcos 
> escreveu:
> >
> > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >
> > Introdução Computacional à Lógica Matemática
> >
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >
> > Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> > Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> > sabor levemente computacional, cobrindo (presentemente) os temas:
> > - relações de consequência
> > - sintaxe lógica proposicional e de primeira ordem
> > - o formalismo da Dedução Natural
> > - as estruturas de interpretação (clássicas) de primeira ordem
> > Faço observar que o material foi criado para cobrir um curso
> > introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> > e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> > verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> > editada.
> >
> > * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >
> > Este material foi construído ao longo de dois meses de trabalho
> > intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> > de Patrick Terrematte.
> >
> > Comentários e sugestões dos colegas que possam impactar eventuais
> > futuras atualizações desta videopédia são sempre bem-vindos!
> >
> > Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> > Joao Marcos
> >
> > --
> > http://sequiturquodlibet.googlepages.com/
> >
> > --
> > Você está recebendo esta mensagem porque se inscreveu no grupo
> "LOGICA-L" dos Grupos do Google.
> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> > Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhc7xighFf1B2Ts7PGJmSvY-71-vMP7D7ia-2GVm0Lvyw%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Walter Alexandre Carnielli]

João  e equipe,

parabéns pela videopédia,  vídeos  bem concisos, informativos,
corretos (tanto quanto eu pude verificar--é fácil "deslizar") ,
textos bem escolhidos e ótimo som!
Aliás, você  poderia  passar aqui
 dica: que microfone usou?

Abraços,

Walter

Em ter., 20 de out. de 2020 às 09:41, Joao Marcos  escreveu:
>
> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Introdução Computacional à Lógica Matemática
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>
> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> sabor levemente computacional, cobrindo (presentemente) os temas:
> - relações de consequência
> - sintaxe lógica proposicional e de primeira ordem
> - o formalismo da Dedução Natural
> - as estruturas de interpretação (clássicas) de primeira ordem
> Faço observar que o material foi criado para cobrir um curso
> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> editada.
>
> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Este material foi construído ao longo de dois meses de trabalho
> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> de Patrick Terrematte.
>
> Comentários e sugestões dos colegas que possam impactar eventuais
> futuras atualizações desta videopédia são sempre bem-vindos!
>
> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
> comunidade,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf-s3LanfFNpbH%2BoSzOoEFYV%2BHbkiWjV1Lmmpta9zVdRg%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

> Muito legal, parabens pela iniciativa!
> voces fizeram voice2text dos videos?abs

Confesso que não me ocorreu, Valeria, mas gostei da ideia!  Alguma
sugestão de por onde eu poderia começar?

Joao Marcos



> On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
>>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>
>> Introdução Computacional à Lógica Matemática
>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>>
>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>> sabor levemente computacional, cobrindo (presentemente) os temas:
>> - relações de consequência
>> - sintaxe lógica proposicional e de primeira ordem
>> - o formalismo da Dedução Natural
>> - as estruturas de interpretação (clássicas) de primeira ordem
>> Faço observar que o material foi criado para cobrir um curso
>> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>> editada.
>>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>
>> Este material foi construído ao longo de dois meses de trabalho
>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>> de Patrick Terrematte.
>>
>> Comentários e sugestões dos colegas que possam impactar eventuais
>> futuras atualizações desta videopédia são sempre bem-vindos!
>>
>> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>> comunidade,
>> Joao Marcos
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>


--
http://sequiturquodlibet.googlepages.com/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgX6yEBxO_sPL8J6Tgptw9e6ogyDqpn6mF-fjFsW1Lsvg%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

Obrigado pela mensagem de apreciação, Jefferson! :-)  Sei que você tem
videoaulas disponíveis no seu canal do YouTube, e acho excelente a sua
iniciativa!

Nos meus vídeos (quase todos) eu escrevo no tablet no app GoodNotes,
espelhado na tela do computador.  A gravação foi feita com o OBS e
editada (dolorosamente) no iMovie.  O investimento mais importante,
creio eu, foi em um bom microfone!  (Agradeço à amiga Márcia por me
convencer da importância disso!)

Usei como base cerca de 100 slides com conteúdo todo original, feito
de Agosto pra cá.  O principal objetivo era apresentar o material
básico sobre o assunto para uma primeira exposição _formal_ à lógica
clássica de primeira ordem, sem esconder nada importante mas também
sem dar lugar a burocracias desnecessárias.  Meu público-alvo foram
estudantes de Computação, mas tenho certeza de que o material pode ser
útil para estudantes de outras áreas também.  Há algumas coisas talvez
"originais", na abordagem, como a minha tentativa de eliminar o
misticismo por trás de Dedução Natural, quase sempre apresentada nos
livros-texto da nossa área de maneira a confundir _formalismo
dedutivo_ com mera _notação_; sou de opinião de que apresentar as
regras dedutivas como simples regras de manipulação de sequentes ajuda
o estudante a entender, por exemplo, porque o conjunto das derivações
é indutivamente definido (donde podemos associar a este conjunto
métodos de demonstração por indução estrutural, para a verificação de
meta-propriedades).

(Pode até não ter ficado mal o resultado...  Deu-me muito trabalho, em
particular, tentar fazer vídeos _curtos_.  Acho que o conteúdo ficou
interessante, e talvez não haja nada realmente parecido com isso por
aí!  Todavia, como este é o primeiro material do gênero que eu produzi
na vida, estou seguro de que poderia ter feito algo muito melhor, com
mais experiência, tempo de planejamento, e menos amadorismo digital.)

Forte abraço, e se tiver comentários ou sugestões a fazer, não hesite
em me mandar uma mensagem!
Joao Marcos


On Tue, Oct 20, 2020 at 6:42 PM Jefferson Santos
 wrote:
>
> Oi João,
>
> Muito legal!!! Que ferramental vocês usaram para fazer as edições dos vídeos? 
> As as marcações, escritos e efeitos de transições ficaram muito bem feitas.
>
> Parabéns e obrigado por compartilhar.
>
> Abraço,
>
> Jefferson
>
> On Tue, Oct 20, 2020 at 9:41 AM Joao Marcos  wrote:
>>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>
>> Introdução Computacional à Lógica Matemática
>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>>
>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>> sabor levemente computacional, cobrindo (presentemente) os temas:
>> - relações de consequência
>> - sintaxe lógica proposicional e de primeira ordem
>> - o formalismo da Dedução Natural
>> - as estruturas de interpretação (clássicas) de primeira ordem
>> Faço observar que o material foi criado para cobrir um curso
>> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>> editada.
>>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>
>> Este material foi construído ao longo de dois meses de trabalho
>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>> de Patrick Terrematte.
>>
>> Comentários e sugestões dos colegas que possam impactar eventuais
>> futuras atualizações desta videopédia são sempre bem-vindos!
>>
>> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>> comunidade,
>> Joao Marcos

--
http://sequiturquodlibet.googlepages.com/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhc%2B2PH7jeMvW21G74boBx_KnZCFU8LUD0B63ds6PzZYg%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Valeria de Paiva]

Muito legal, parabens pela iniciativa!
voces fizeram voice2text dos videos?abs
Valeria



On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:

> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Introdução Computacional à Lógica Matemática
>
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>
> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> sabor levemente computacional, cobrindo (presentemente) os temas:
> - relações de consequência
> - sintaxe lógica proposicional e de primeira ordem
> - o formalismo da Dedução Natural
> - as estruturas de interpretação (clássicas) de primeira ordem
> Faço observar que o material foi criado para cobrir um curso
> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> editada.
>
> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Este material foi construído ao longo de dois meses de trabalho
> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> de Patrick Terrematte.
>
> Comentários e sugestões dos colegas que possam impactar eventuais
> futuras atualizações desta videopédia são sempre bem-vindos!
>
> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
>


-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsP%2BN4Vnvw%3Dmi7UJz1qqeZ%2B59bE%3D23wRfHNzGJ6ppv-Hw%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Jefferson Santos]

Oi João,

Muito legal!!! Que ferramental vocês usaram para fazer as edições dos
vídeos? As as marcações, escritos e efeitos de transições ficaram muito bem
feitas.

Parabéns e obrigado por compartilhar.

Abraço,

Jefferson

On Tue, Oct 20, 2020 at 9:41 AM Joao Marcos  wrote:

> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Introdução Computacional à Lógica Matemática
>
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>
> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> sabor levemente computacional, cobrindo (presentemente) os temas:
> - relações de consequência
> - sintaxe lógica proposicional e de primeira ordem
> - o formalismo da Dedução Natural
> - as estruturas de interpretação (clássicas) de primeira ordem
> Faço observar que o material foi criado para cobrir um curso
> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> editada.
>
> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Este material foi construído ao longo de dois meses de trabalho
> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> de Patrick Terrematte.
>
> Comentários e sugestões dos colegas que possam impactar eventuais
> futuras atualizações desta videopédia são sempre bem-vindos!
>
> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
>

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAM2k6TzjP8_aN-eS5nzN45Fc%3DJLgmNoix9hM%2BfUa%3Djs6Zc06iw%40mail.gmail.com.