Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
#######
#
# E-scripts on EaD (Ensino a distancia).
#
# Note 1: use the eev command (defined in eev.el) and the
# ee alias (in my .zshrc) to execute parts of this file.
# Executing this file as a whole makes no sense.
# An introduction to eev can be found here:
#
#   (find-eev-quick-intro)
#   http://angg.twu.net/eev-intros/find-eev-quick-intro.html
#
# Note 2: be VERY careful and make sure you understand what
# you're doing.
#
# Note 3: If you use a shell other than zsh things like |&
# and the for loops may not work.
#
# Note 4: I always run as root.
#
# Note 5: some parts are too old and don't work anymore. Some
# never worked.
#
# Note 6: the definitions for the find-xxxfile commands are on my
# .emacs.
#
# Note 7: if you see a strange command check my .zshrc -- it may
# be defined there as a function or an alias.
#
# Note 8: the sections without dates are always older than the
# sections with dates.
#
# This file is at <http://angg.twu.net/e/ead.e>
#           or at <http://angg.twu.net/e/ead.e.html>.
#        See also <http://angg.twu.net/emacs.html>,
#                 <http://angg.twu.net/.emacs[.html]>,
#                 <http://angg.twu.net/.zshrc[.html]>,
#                 <http://angg.twu.net/escripts.html>,
#             and <http://angg.twu.net/>.
#
#######



# «.xournalpp»			(to "xournalpp")
# «.rcn-classroom»		(to "rcn-classroom")
# «.lesson-study»		(to "lesson-study")
# «.the-virtual-student»	(to "the-virtual-student")
# «.MD»				(to "MD")
# «.intro-comp-log-mat»		(to "intro-comp-log-mat")
# «.reginaldo-C2»		(to "reginaldo-C2")
# «.reginaldo-C2-lista»		(to "reginaldo-C2-lista")
# «.categories»			(to "categories")
# «.paratodxs»			(to "paratodxs")
# «.thanos-tsouanas»		(to "thanos-tsouanas")
# «.thanos-tmp»			(to "thanos-tmp")
# «.joao-paixao-jun2021»	(to "joao-paixao-jun2021")
# «.felipe-acker»		(to "felipe-acker")
# «.stefanella»			(to "stefanella")
# «.emburrecimento-programado»	(to "emburrecimento-programado")
# «.adolfo-neto»		(to "adolfo-neto")
# «.mat-na-univ»		(to "mat-na-univ")
# «.mnu-1-a-11»			(to "mnu-1-a-11")
# «.mat-na-univ-4-eu»		(to "mat-na-univ-4-eu")
# «.mat-na-univ-4-eu-leg»	(to "mat-na-univ-4-eu-leg")
# «.paiva-cruz»			(to "paiva-cruz")
# «.aleph0»			(to "aleph0")
# «.daniel-miranda»		(to "daniel-miranda")
# «.herbert-gross»		(to "herbert-gross")
# «.logs-pdfizados»		(to "logs-pdfizados")
# «.logs-pdfizados-txt»		(to "logs-pdfizados-txt")
# «.logs-pdfizados-linode»	(to "logs-pdfizados-linode")
# «.aulas-da-luciana»		(to "aulas-da-luciana")
# «.tudos.txt»			(to "tudos.txt")
# «.tudos-tex»			(to "tudos-tex")
# «.C2-C3-videos-meus»		(to "C2-C3-videos-meus")
# «.mapcabral-bibvirt»		(to "mapcabral-bibvirt")
# «.marcos-alexandrino»		(to "marcos-alexandrino")
# «.alexandre-costa-leite»	(to "alexandre-costa-leite")
# «.fnaufel»			(to "fnaufel")
# «.portal-da-obmep»		(to "portal-da-obmep")
# «.implicacao»			(to "implicacao")
# «.bortolossi-108»		(to "bortolossi-108")
# «.bortolossi-108-email»	(to "bortolossi-108-email")
# «.antonio-que-resp»		(to "antonio-que-resp")
# «.redmat»			(to "redmat")
# «.rodrigo-renji»		(to "rodrigo-renji")
# «.puc-rio-videos»		(to "puc-rio-videos")



Curso Gratuito Google Classroom (Sala de Aula) 2020:
https://www.youtube.com/playlist?list=PLTQMKsLxzddJY1u-ftKzQXEBu8E3ezbNH 

Alguns canais:
https://www.youtube.com/channel/UCpfbMSODDM5zWABUN4sgZew/videos Matemática Humanista
https://www.youtube.com/user/hjbortol/videos Humberto Bortolossi

Links sobre EaD de várias universidades:

UFF:
http://uff.br/digital
https://app.uff.br/ajuda/index.php/Google_classroom
https://edu.google.com/intl/pt-BR/products/classroom/?modal_active=none

https://conexao.ufrj.br/2020/11/03/ufrj-reune-2-650-e-books-para-baixar-de-graca/ ***
http://www.eduff.uff.br/
http://www.eduff.uff.br/index.php/catalogo/8-catalogo/livros/733-licoes-finlandesas
https://plataforma.bvirtual.com.br/Acervo/Publicacao/185068 boulos GA
https://plataforma.bvirtual.com.br/Acervo/Publicacao/27 calculo thomas vol 2
https://plataforma.bvirtual.com.br/Acervo/Publicacao/258 calculo thomas vol 1


Unicamp:
https://www.ea2.unicamp.br/ensino-digital-2/

Cursos:

MoonShot:
https://www.youtube.com/watch?v=bm_3Cc5v67Y Aula 03 | Curso Expert em Ensino Remoto 3 | Estratégias Didáticas Assimétricas com o Google Slides

Link pro curso do Pedro II:
http://www.cp2.g12.br/ultimas_publicacoes/225-noticias/10149-inscri%C3%A7%C3%B5es-abertas-para-o-curso-grava%C3%A7%C3%A3o-de-videoaulas-para-professores.html



https://www.facebook.com/humberto.bortolossi/posts/10222173708241911 ***



Reginaldo Demarque: Pessoal, eu criei uma turma teste no google
classroom que é um "espelho" das turma regulares que tenho só pra
testar as ferramentas. Se vcs quiserem entrar e ver como estou
organizando a disciplina o código é esse aqui.

ihpidx3

Reginaldo Demarque: Acho que só dá pra entrar com o email iduff. NO
caso, vcs entrariam como alunos da disciplina. Acho q também dá pra eu
colocar vcs como colaboradores, ai dá pra ver como professor.





#####
#
# xournalpp
# 2020jul13
#
#####

# «xournalpp»  (to ".xournalpp")
# (find-es "xournal" "xournalpp-buster")



#####
#
# rcn-classroom
# 2020jul25
#
#####

# «rcn-classroom»  (to ".rcn-classroom")
# https://mail.google.com/mail/ca/u/0/#inbox/FMfcgxwJXCBTDGRRXTljrMpZXJCzQcxC





#####
#
# Lesson Study
# 2020jul30
#
#####

# «lesson-study»  (to ".lesson-study")
# https://en.wikipedia.org/wiki/Lesson_study
# http://tdtrust.org/what-is-lesson-study
# http://www.pg.im.ufrj.br/pemat/60%20Fellipe%20Coelho.pdf

;; <felipecoelhols>
;; http://www.pg.im.ufrj.br/pemat/60%20Fellipe%20Coelho.pdf
(code-pdf-page "felipecoelhols" "$S/http/www.pg.im.ufrj.br/pemat/60%20Fellipe%20Coelho.pdf")
(code-pdf-text "felipecoelhols" "$S/http/www.pg.im.ufrj.br/pemat/60%20Fellipe%20Coelho.pdf" 4)
;; (find-felipecoelholspage)
;; (find-felipecoelholstext)
;; (find-felipecoelholspage 8 "SUMÁRIO")
;; (find-felipecoelholstext 8 "SUMÁRIO")
;; (find-felipecoelholspage (+ 4 7) "CAPÍTULO 1. Introdução")
;; (find-felipecoelholspage (+ 4 7) "1.1 Motivação, objetivos e questão de pesquisa")
;; (find-felipecoelholspage (+ 4 11) "1.2 Estrutura do trabalho")
;; (find-felipecoelholspage (+ 4 13) "CAPÍTULO 2. Referenciais teóricos")
;; (find-felipecoelholspage (+ 4 13) "2.1 Saberes docentes")
;; (find-felipecoelholspage (+ 4 13) "2.1.1 Shulman e o conhecimento do professor")
;; (find-felipecoelholspage (+ 4 18) "2.1.3 Gauthier e o reservatório de saberes")
;; (find-felipecoelholspage (+ 4 21) "2.2 A formação de professores")
;; (find-felipecoelholspage (+ 4 27) "2.3.2 Contribuições da SBEM")
;; (find-felipecoelholspage (+ 4 30) "2.4 A Lesson Study")
;; (find-felipecoelholspage (+ 4 30) "2.4.1 Um breve histórico")
;; (find-felipecoelholspage (+ 4 31) "2.4.2 A metodologia Lesson Study")
;; (find-felipecoelholspage (+ 4 33) "2.4.3 Uma experiência preliminar")
;; (find-felipecoelholspage (+ 4 36) "2.4.4 Estudos relacionados à LS")
;; (find-felipecoelholspage (+ 4 42) "CAPÍTULO 3. O percurso metodológico")
;; (find-felipecoelholspage (+ 4 42) "3.1 A inspiração")
;; (find-felipecoelholspage (+ 4 45) "3.2 O ambiente da pesquisa")
;; (find-felipecoelholspage (+ 4 47) "3.3 A preparação para o desenvolvimento da experiência na licenciatura")
;; (find-felipecoelholspage (+ 4 52) "3.4 O questionário")
;; (find-felipecoelholspage (+ 4 55) "CAPÍTULO 4. Análise das aulas")
;; (find-felipecoelholspage (+ 4 55) "4.1 Aula 1")
;; (find-felipecoelholspage (+ 4 57) "4.2 Aula 2")
;; (find-felipecoelholspage (+ 4 61) "4.3 Aula 3")
;; (find-felipecoelholspage (+ 4 65) "4.4 Aula 4")
;; (find-felipecoelholspage (+ 4 80) "4.5 Aula 5")
;; (find-felipecoelholspage (+ 4 92) "CAPÍTULO 5. O questionário: respostas comentadas")
;; (find-felipecoelholspage (+ 4 98) "CAPÍTULO 6. Considerações finais")
;; (find-felipecoelholspage (+ 4 105) "Referências Bibliográficas")
;; (find-felipecoelholspage (+ 4 108) "APÊNDICES")
;; (find-felipecoelholspage (+ 4 109) "APÊNDICE A - AULA-EM-VÍDEO 1")
;; (find-felipecoelholspage (+ 4 112) "APÊNDICE B - AULA-EM-VÍDEO 2")
;; (find-felipecoelholspage (+ 4 116) "APÊNDICE D - TRANSCRIÇÃO DA AULA 1")
;; (find-felipecoelholspage (+ 4 178) "APÊNDICE F - TRANSCRIÇÃO DA AULA 3")
;; (find-felipecoelholspage (+ 4 271) "APÊNDICE I - MODELO DO QUESTIONÁRIO")
;; (find-felipecoelholspage (+ 4 274) "APÊNDICE J - A AUTORIZAÇÃO DE USO DE IMAGEM")
;; (find-felipecoelholspage (+ 4 275) "APÊNDICE K - MATERIAIS DISPONIBILIZADOS PARA CONSULTA")
;; (find-felipecoelholspage (+ 4 276) "ANEXOS")
;; (find-felipecoelholspage (+ 4 277) "ANEXO A - O PLANO DE AULA DO GRUPO 1")
;; (find-felipecoelholspage (+ 4 281) "ANEXO B - O PLANO DE AULA DO GRUPO 2")
;; (find-felipecoelholspage (+ 4 284) "ANEXO C - QUESTIONÁRIO: COMPILAÇÃO DAS RESPOSTAS")
;; (find-felipecoelholspage (+ 4 293) "ANEXO D - RESPOSTAS AO QUESTIONÁRIO")

;; "Improving Teacher Pedagogic Competences in Remote Areas through Lesson Study Activity"
;; http://www.journals.aiac.org.au/index.php/IJELS/article/view/4435
;; http://www.journals.aiac.org.au/index.php/IJELS/article/view/4435/3437
;; http://www.journals.aiac.org.au/index.php/IJELS/article/download/4435/3437

https://www.emancipations.org/index.php/ruraled/article/download/512/473




#####
#
# the-virtual-student
# 2020aug14
#
#####

# «the-virtual-student»  (to ".the-virtual-student")
# (code-pdf-page "virtualstudent" "~/books/palloff_pratt__the_virtual_student_a_profile_and_guide_to_working_with_online_learners.pdf")
# (code-pdf-text "virtualstudent" "~/books/palloff_pratt__the_virtual_student_a_profile_and_guide_to_working_with_online_learners.pdf" 26)
# (find-virtualstudentpage)
# (find-virtualstudenttext)
# (find-virtualstudentpage 11 "CONTENTS")
# (find-virtualstudenttext 11 "CONTENTS")

;; (find-virtualstudentpage (+ 26   1) "PART ONE: A PROFILE OF THE VIRTUAL STUDENT")
;; (find-virtualstudentpage (+ 26   3) "1 Who Is the Virtual Student?")
;; (find-virtualstudentpage (+ 26  15) "2 The Student Side of Online Learning Communities")
;; (find-virtualstudentpage (+ 26  29) "3 Learning Styles")
;; (find-virtualstudentpage (+ 26  39) "4 Gender, Culture, Lifestyle, and Geography")
;; (find-virtualstudentpage (+ 26  51) "5 What the Virtual Student Needs")
;; (find-virtualstudentpage (+ 26  63) "PART TWO: A GUIDE TO WORKING WITH THE VIRTUAL STUDENT: ISSUES, CONCERNS, AND STRATEGIES")
;; (find-virtualstudentpage (+ 26  65) "6 Designing a Good Student Orientation")
;; (find-virtualstudentpage (+ 26  77) "7 Time and Commitment")
;; (find-virtualstudentpage (+ 26  89) "8 Assessment and Evaluation")
;; (find-virtualstudentpage (+ 26 103) "9 Legal Issues and the Virtual Student")
;; (find-virtualstudentpage (+ 26 112) "10 Attrition, Retention, and Group Size")
;; (find-virtualstudentpage (+ 26 124) "11 Becoming Truly Learner-Focused: Best Practices in Online Teaching")
;; (find-virtualstudentpage (+ 26 137) "RESOURCES: THE TOOLKIT FOR A SUCCESSFUL ONLINE STUDENT")
;; (find-virtualstudentpage (+ 26 139) "Introduction to the Toolkit for a Successful Online Student")
;; (find-virtualstudentpage (+ 26 143) "Resource A: Faculty Tools")
;; (find-virtualstudentpage (+ 26 161) "Resource B: Student Tools")
;; (find-virtualstudentpage (+ 26 179) "References")
;; (find-virtualstudentpage (+ 26 185) "Index")




#####
#
# Matemática Discreta
# 2020aug04
#
#####

# «MD»  (to ".MD")
# (find-books "__logic/__logic.el" "open-logic")
# https://openlogicproject.org/
# http://builds.openlogicproject.org/

# http://tiny.cc/wwpksz
# https://danieldurante.weebly.com/uploads/2/2/9/3/22938190/ptnatal.pdf
# (code-pdf-page "paratodxs" "$S/https/danieldurante.weebly.com/uploads/2/2/9/3/22938190/ptnatal.pdf")
# (code-pdf-text "paratodxs" "$S/https/danieldurante.weebly.com/uploads/2/2/9/3/22938190/ptnatal.pdf" 14)
# (find-paratodxspage)
# (find-paratodxstext)
;; (find-paratodxspage (+ 14   1) "I Noções-chave da lógica")
;; (find-paratodxspage (+ 14   2) "1 Argumentos")
;; (find-paratodxspage (+ 14   8) "2 O alcance da lógica")
;; (find-paratodxspage (+ 14  22) "3 Outras noções lógicas")
;; (find-paratodxspage (+ 14  31) "II Lógica verofuncional")
;; (find-paratodxspage (+ 14  32) "4 Primeiros passos para a simbolização")
;; (find-paratodxspage (+ 14  37) "5 Conectivos")
;; (find-paratodxspage (+ 14  61) "6 Sentenças da LVF")
;; (find-paratodxspage (+ 14  70) "7 Uso e menção")
;; (find-paratodxspage (+ 14  77) "III Tabelas de verdade")
;; (find-paratodxspage (+ 14  78) "8 Tabelas de verdade características")
;; (find-paratodxspage (+ 14  82) "9 Conectivos verofuncionais")
;; (find-paratodxspage (+ 14  89) "10 Tabelas de verdade completas")
;; (find-paratodxspage (+ 14  99) "11 Conceitos semânticos")
;; (find-paratodxspage (+ 14 123) "12 Atalhos nas tabelas de verdade")
;; (find-paratodxspage (+ 14 131) "13 Tabelas de verdade parciais")
;; (find-paratodxspage (+ 14 140) "IV Lógica de primeira ordem")
;; (find-paratodxspage (+ 14 141) "14 Elementos fundamentais da LPO")
;; (find-paratodxspage (+ 14 154) "15 Sentenças com um quantificador")
;; (find-paratodxspage (+ 14 172) "16 Relações e quantificação múltipla")
;; (find-paratodxspage (+ 14 189) "17 Identidade")
;; (find-paratodxspage (+ 14 198) "18 Descrições definidas")
;; (find-paratodxspage (+ 14 212) "19 Sentenças da LPO")
;; (find-paratodxspage (+ 14 219) "V Interpretações")
;; (find-paratodxspage (+ 14 220) "20 Extensionalidade")
;; (find-paratodxspage (+ 14 231) "21 A verdade na LPO")
;; (find-paratodxspage (+ 14 247) "22 Conceitos semânticos")
;; (find-paratodxspage (+ 14 249) "23 Utilizando as interpretações")
;; (find-paratodxspage (+ 14 258) "24 Infinitas interpretações")
;; (find-paratodxspage (+ 14 264) "VI Dedução Natural para LVF")
;; (find-paratodxspage (+ 14 265) "25 A ideia de dedução natural")
;; (find-paratodxspage (+ 14 268) "26 As regras básicas da LVF")
;; (find-paratodxspage (+ 14 298) "27 Construindo provas")
;; (find-paratodxspage (+ 14 318) "28 Regras adicionais da LVF")
;; (find-paratodxspage (+ 14 326) "29 Conceitos de teoria da prova")
;; (find-paratodxspage (+ 14 331) "30 Regras derivadas")
;; (find-paratodxspage (+ 14 340) "31 Correção e completude")
;; (find-paratodxspage (+ 14 349) "VII Dedução natural para a LPO")
;; (find-paratodxspage (+ 14 350) "32 Regras básicas da LPO")
;; (find-paratodxspage (+ 14 367) "33 Provas com quantificadores")
;; (find-paratodxspage (+ 14 375) "34 Transformação de quantificadores")
;; (find-paratodxspage (+ 14 378) "35 As regras para a identidade")
;; (find-paratodxspage (+ 14 382) "36 Regras derivadas")
;; (find-paratodxspage (+ 14 384) "37 Provas e semântica")





#####
#
# Introdução Computacional à Lógica Matemática
# 2020oct20
#
#####

# «intro-comp-log-mat»  (to ".intro-comp-log-mat")
# https://mail.google.com/mail/ca/u/0/#inbox/FMfcgxwKjBGrZHfPTgbKxbBlMWDRDXnB
# http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
# https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/nFejXVrUpW4/m/oUKYS3c_DwAJ

Daniel Durante:
  Videoaulas:
  https://danieldurante.weebly.com/videoaulas_logica.html
  Livro:
  https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1

http://sbl.org.br/pmwiki.php/Main/Ensino






#####
#
# Vídeos de Cálculo 2 do Reginaldo
# 2020oct20
#
#####

# «reginaldo-C2»  (to ".reginaldo-C2")
# https://www.youtube.com/results?search_query=reginaldo+demarque+calculo+2
# http://www.videoaulas.uff.br/category/professor/reginaldo-demarque-da-rocha
# https://www.youtube.com/channel/UCmbkhRQpt8r_7zSqucMN2QQ Matemática Acadêmica

# Porque eu não sigo o método do Reginaldo:
# http://angg.twu.net/LATEX/material-para-GA.pdf#page=3
# (mpgp 3 "for-children")
# (mpg    "for-children")

# (code-video "reginaldointegralintrovideo" "/sda5/videos/Math/[Matematica] Calculo 2 - Aula 01 - Integral introducao-YN90YsnWcBA.mkv")
# (find-reginaldointegralintrovideo)
# (find-reginaldointegralintrovideo "0:00")
# (find-reginaldointegralintrovideo "12:42" "Somas superiores e inferiores")

https://www.youtube.com/watch?v=PTCUjrEBc4g

# (find-youtubedl-links "/sda5/videos/Math/" "Matematica_Calculo_2_-_Aula_05_-_Regra_da_Substituicao" "PTCUjrEBc4g" ".webm" "reginaldosubs")
# (code-video "reginaldosubsvideo" "/sda5/videos/Math/Matematica_Calculo_2_-_Aula_05_-_Regra_da_Substituicao-PTCUjrEBc4g.webm")
# (find-reginaldosubsvideo)
# (find-reginaldosubsvideo "0:00")



#####
#
# Vídeos de Cálculo 2 do Reginaldo: lista completa
# 2022jul22
#
#####

# «reginaldo-C2-lista»  (to ".reginaldo-C2-lista")
# http://www.videoaulas.uff.br/category/professor/reginaldo-demarque-da-rocha

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
A=(
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-01-integral-introdu%C3%A7%C3%A3o
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-02-integral-somas-de-riemann
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-03-teorema-fundamental-do-c%C3%A1lculo
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-04-regra-de-leibniz
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-05-regra-da-substitui%C3%A7%C3%A3o
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-06-integra%C3%A7%C3%A3o-por-partes
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-07-integra%C3%A7%C3%A3o-de-fun%C3%A7%C3%B5es-trigonom%C3%A9tricas
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-08-substitui%C3%A7%C3%A3o-trigonom%C3%A9trica
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-09-fra%C3%A7%C3%B5es-parciais
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-10-substitui%C3%A7%C3%A3o-tangente-do-%C3%A2ngulo-metade
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-11-c%C3%A1lculo-de-%C3%A1reas
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-12-c%C3%A1lculo-de-volumes
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-13-cascas-cil%C3%ADndricas
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-14-integrais-impr%C3%B3prias
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-15-testes-de-converg%C3%AAncia
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-16-edo-introdu%C3%A7%C3%A3o
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-17-edo-edo-1a-ordem-linear
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-18-edo-eq-separ%C3%A1veis
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-19-edo-eq-exatas
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-20-edo-din%C3%A2mica-populacional
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-20-edo-din%C3%A2mica-populacional-0
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-21-edo-data%C3%A7%C3%A3o-por-carbono-14
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-22-edo-aplica%C3%A7%C3%B5es-edo-1a-ordem
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-22-edo-aplica%C3%A7%C3%B5es-edo-1a-ordem-0
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-22-edo-aplica%C3%A7%C3%B5es-edo-1a-ordem-1
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-23-edo-teorema-de-exist%C3%AAncia-e-unicidade
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-23-edo-teorema-de-exist%C3%AAncia-e-unicidade-0
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-24-edo-2a-ordem-linear-teus
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-25-edo-2a-ordem-linear-solu%C3%A7%C3%B5es-fundamentais
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-26-eq-com-coeficientes-constantes
  http://www.videoaulas.uff.br/matem%C3%A1tica-c%C3%A1lculo-2-aula-27-m%C3%A9todo-dos-coeficientes-determinar
)
for i in $A; do
  echo; echo $i; lynx -dump $i | tr ' ' '\n' | grep tube
done | tee /tmp/oreginaldo

# (find-fline "/tmp/oreginaldo")
# (find-es "lua5" "hex")

* (eepitch-lua51)
* (eepitch-kill)
* (eepitch-lua51)
bigstr  = ee_readfile "/tmp/oreginaldo"
hextoc  = function (h)   return string.char(tonumber(h, 16)) end
hextocs = function (str) return (str:gsub("%%(%x%x)", hextoc)) end
= hextocs(bigstr)
pat = "(http://www.v[^\n]*)\n(http://www.y[^\n]*)"
REG = function (uurl, yurl, n, title)
    return format("[REG %s\n     %s\n     %s %s]", uurl, yurl, n, title)
  end

for vurl,yurl in bigstr:gmatch(pat) do
  local n,title = vurl:match("aula%-(%d%d)%-(.*)")
  -- print(n, hextocs(title))
  -- print(vurl)
  print(REG(vurl, yurl, n, hextocs(title)))
  print()
end





#####
#
# categories
# 2020aug22
#
#####

# «categories»  (to ".categories")
# https://github.com/statebox/awesome-applied-ct
# https://codi.lassul.us/HqlF3K2CR0eYcpUbiOnneA?view#Intro-to-ACT
# https://gist.github.com/Nikolaj-K/282515e58c1c14de2e25222065f77a0a
# https://www.logicmatters.net/categories/

# Nikolaj Kuntner - Recomended reading for the undergrad category theorist:
# https://gist.github.com/Nikolaj-K/282515e58c1c14de2e25222065f77a0a

# https://github.com/jozefg/learn-tt




#####
#
# Para Todxs: Natal
# 2021may15
#
#####

# «paratodxs»  (to ".paratodxs")
# https://danieldurante.weebly.com/textos.html
# https://mail.google.com/mail/ca/u/0/#search/forallx/QgrcJHrtpCLzKXJZqqCjbdQJWQbQHjQZgGv

Com relação à referência que João Marcos fez, Maria da Paz (mais uma
grande lógica brasileira) e eu, estamos trabalhando em uma versão
brasileira do livro "forallx: Calgary". Nossa versão tem o sugestivo
nome "Para Todxs: Natal". O "x" entrou no "Para Todos" para deixar o
gênero neutro: Para Todas e Para Todos!

Ainda não terminamos, mas o trabalho já está bem avançado. Eis um
link:

http://tiny.cc/wwpksz

# https://danieldurante.weebly.com/uploads/2/2/9/3/22938190/ptnatal.pdf
# (code-pdf-page "ptnatal" "$S/https/danieldurante.weebly.com/uploads/2/2/9/3/22938190/ptnatal.pdf")
# (code-pdf-text "ptnatal" "$S/https/danieldurante.weebly.com/uploads/2/2/9/3/22938190/ptnatal.pdf")
# (find-ptnatalpage)
# (find-ptnatalpage 77)
# (find-ptnataltext)

https://mail.google.com/mail/ca/u/0/#inbox/FMfcgzGkXctVctNVcBFGPPvgCKwpLxfp
https://github.com/diegofernandess/paratodxs-rn-pb

# 2023nov19:
https://philpapers.org/go.pl?aid=MAGPTN
https://github.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal/blob/main/paratodxsnatal.pdf
https://github.com/Grupo-de-Estudos-em-Logica-da-UFRN/Para-Todxs-Natal
https://forallx.openlogicproject.org/
https://danieldurante.weebly.com/




#####
#
# thanos-tsouanas
# 2021jan28
#
#####

# «thanos-tsouanas»  (to ".thanos-tsouanas")
# https://tsouanas.org/teaching/
# https://tsouanas.org/teaching/fun/2019.2/
# https://tsouanas.org/teaching/fmc2/2022.1/
# https://tsouanas.org/teaching/fun/2019.2/

# https://github.com/tsouanas/thatex
# (find-git-links "https://github.com/tsouanas/thatex" "thatex")
# (code-c-d "thatex" "~/usrc/thatex/")
# (find-thatexfile "")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# rm -Rfv ~/bigsrc/thatex/
cd      ~/bigsrc/
git clone https://github.com/tsouanas/thatex
cd      ~/bigsrc/thatex/


# https://github.com/tsouanas/fmcbook
# https://www.tsouanas.org/fmcbook/
# https://www.tsouanas.org/fmcbook/fmc-br-20210429220603.pdf
# https://www.tsouanas.org/fmcbook/fmc-br-20220927034803.pdf

;; <fmcbook>
;; https://www.tsouanas.org/fmcbook/fmc-br-20220927034803.pdf
;; (find-fline "$S/https/www.tsouanas.org/fmcbook/")
(code-pdf-page "fmcbook" "$S/https/www.tsouanas.org/fmcbook/fmc-br-20220927034803.pdf")
(code-pdf-text "fmcbook" "$S/https/www.tsouanas.org/fmcbook/fmc-br-20220927034803.pdf")
;; (find-fmcbookpage)
;; (find-fmcbooktext)

# (code-c-d      "fmcbook" "~/usrc/fmcbook/")
# (code-pdf-page "fmcbook" "~/usrc/fmcbook/fmc.pdf")
# (code-pdf-text "fmcbook" "~/usrc/fmcbook/fmc.pdf")
# (find-fmcbookfile "")
# (find-fmcbookpage)
# (find-fmcbooktext)
# (find-fmcbookpage 30 "n - d e n + d são primos")
# (find-fmcbooktext 30 "n - d e n + d são primos")
# (find-fmcbookfile "fmcmain.tex" "Ligadores de variáveis")

# https://github.com/tsouanas/unicodef
# (code-c-d "unicodef" "~/usrc/unicodef/")
# (find-unicodeffile "")

# https://github.com/tsouanas/cliped
# (code-c-d "cliped" "~/usrc/cliped/")
# (find-clipedfile "")

# (find-node "(kpathsea)Path sources")


* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/usrc/fmcbook/
git pull

cd ~/usrc/fmcbook/
export TEXINPUTS=$HOME/usrc/thatex:$TEXINPUTS
make clean
make cleanall
y
make

(code-pdf-page "fmc" "~/usrc/fmcbook/fmc-br.pdf")
(code-pdf-text "fmc" "~/usrc/fmcbook/fmc-br.pdf")
;; (find-fmcpage)
;; (find-fmcpage 268)
;; (find-fmctext)

# (find-fmcpage 26 "1.35. Variáveis livres e ligadas")
# (find-fmctext 26 "1.35. Variáveis livres e ligadas")

# -> ! I can't find file `code/boundtonothing.rs'.



#####
#
# thanos-tmp
# 2022aug08
#
#####

# «thanos-tmp»  (to ".thanos-tmp")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
rm -Rfv /tmp/edrx/
mkdir   /tmp/edrx/
cd      /tmp/edrx/
git clone https://github.com/tsouanas/thatex
git clone https://github.com/tsouanas/fmcbook
cd      /tmp/edrx/fmcbook
export TEXINPUTS=/tmp/edrx/thatex:$TEXINPUTS
make

(code-c-d "fmcbook" "/tmp/edrx/fmcbook")
;; (find-fmcbookfile "")




#####
#
# Apresentação do João Paixão - 25/jun/2021
# 2021jul06
#
#####

# «joao-paixao-jun2021»  (to ".joao-paixao-jun2021")
# http://www.youtube.com/watch?v=qQvZPKXJSbU

# (code-video "mnu5video" "/sda5/videos/Math/Matematica_na_Universidade_-_Reuniao_5-qQvZPKXJSbU.mkv")
# (find-mnu5video "0:00")
# (find-mnu5video "41:07" "(apresentação do Francisco Moura Neto)")
# (find-mnu5video "1:20:35" "(apresentação do João Paixão)")
# (find-mnu5video "1:20:54" "Logo")
# (find-mnu5video "1:22:00" "público")
# (find-mnu5video "1:23:02" "Logo")
# (find-mnu5video "1:25:55" "Provas construtivas")
# (find-mnu5video "1:27:29" "Teorema / prova escrita")
# (find-mnu5video "1:28:14" "Prova calculacional")
# (find-mnu5video "1:29:11" "Provas formais no computador")
# (find-mnu5video "1:30:30" "Provas e algoritmos - indução estrutural")
# (find-mnu5video "1:31:30" "ensinar indução e recursão ao mesmo tempo")
# (find-mnu5video "1:32:12" "Avaliação da implementação")
# (find-mnu5video "1:32:50" "Usado por 2500 alunos na UFRJ hoje em dia")
# (find-mnu5video "1:33:00" "Implementação e explicação")
# (find-mnu5video "1:34:05" "Biblioteca - Implementação de todas as funções")
# (find-mnu5video "1:34:35" "como é que o código dele interage com o do colega")
# (find-mnu5video "1:35:04" "(voltando à modelagem)")
# (find-mnu5video "1:35:30" "modelagem mais abrangente")
# (find-mnu5video "1:36:00" "mundo de dados")
# (find-mnu5video "1:36:40" "Modelo simples -> modelo linear")
# (find-mnu5video "1:37:41" "Modelo linear: Boyd/Vandenberghe")
# (find-mnu5video "1:39:00" "Modelo linear: Boyd/Vandenberghe: Julia")
# (find-mnu5video "1:40:18" "Algoritmos genéricos")
# (find-mnu5video "1:41:12" "morphing na segunda aula do curso")
# (find-mnu5video "1:42:05" "Carlos: eu queria ver a gente fazer isso com os professores")
# (find-mnu5video "1:43:50" "comentário do Francisco?")
# (find-mnu5video "1:45:40" "suavização de sinais de áudio")
# (find-mnu5video "1:46:27" "esse mesmo algoritmo suaviza imagens")
# (find-mnu5video "1:46:52" "suavização de modelos 3D")
# (find-mnu5video "1:47:28" "outro exemplo: trabalhando com texto e com gráficos")
# (find-mnu5video "1:48:12" "outro exemplo: trabalhando com texto e com gráficos: markov")
# (find-mnu5video "1:49:29" "cores")
# (find-mnu5video "1:51:24" "video -> matriz")
# (find-mnu5video "1:52:15" "um video totalmente estático")
# (find-mnu5video "1:52:50" "um video muito parecido com aquele original")
# (find-mnu5video "1:54:07" "avaliação: feira de projetos")
# (find-mnu5video "1:55:28" "isso aqui é um video mostrando")
# (find-mnu5video "1:55:53" "Discretizando exemplos de Cálculo Numérico")
# (find-mnu5video "1:56:15" "O que eu tento fazer na primeira aula")
# (find-mnu5video "1:56:22" "é um cálculo discreto")
# (find-mnu5video "1:57:35" "Carlos: como extrapola a órbita de um planeta")
# (find-mnu5video "1:59:45" "integral: for")
# (find-mnu5video "2:00:40" "Carlos: acho gravíssimo a gente dar somatório")
# (find-mnu5video "2:01:52" "Contorno de uma imagem")
# (find-mnu5video "2:02:46" "Propostas")
# (find-mnu5video "2:04:52" "Alguns livros")
# (find-mnu5video "2:07:18" "Muito obrigado")
# (find-mnu5video "2:14:00" "lógicos e computadores")
# (find-mnu5video "2:15:40" "Elon e os lógicos")
# (find-mnu5video "2:16:00" "for, somatório e integral")
# (find-mnu5video "2:17:40" "derivação e árvores")
# (find-mnu5video "2:18:30" "quando eu aprendi espelhamento")




#####
#
# felipe-acker
# 2021aug27
#
#####

# «felipe-acker»  (to ".felipe-acker")
# (find-angg "acker/README")
# https://sites.google.com/matematica.ufrj.br/acker
# https://sites.google.com/matematica.ufrj.br/calculo-infinitesimal-1-2021-1/




#####
#
# Stefanella Boatto
# 2021aug28
#
#####

# «stefanella»  (to ".stefanella")
# https://www.youtube.com/watch?v=QxxE69I2Hew
# https://www.youtube.com/watch?v=kubTiroa3wg




#####
#
# emburrecimento-programado
# 2021jul07
#
#####

# «emburrecimento-programado»  (to ".emburrecimento-programado")
# http://www.youtube.com/watch?v=stil9HDopEg
# (code-video "embprogvideo" "/sda5/videos/Emburrecimento_Programado_John_Taylor_Gatto_Tatiana_Feltrin-stil9HDopEg.mp4")
# (find-embprogvideo)
# (find-embprogvideo "0:00")






#####
#
# adolfo-neto
# 2021sep29
#
#####

# «adolfo-neto»  (to ".adolfo-neto")
# https://logicaparacomputacao.github.io/
# https://www.youtube.com/playlist?list=PLF5ttO8F-IsRGv0ad2ckPPpJALPG5N7jp
# https://logicaparacomputacao.github.io/guia-de-estudos/




#####
#
# Matemática na Universidade / ForumPPG
# 2021oct27
#
#####

# «mat-na-univ»  (to ".mat-na-univ")
# (find-TH "2021aulas-por-telegram")
# (find-fline "/sda5/videos/Math/")
# Reunião  1: 26/04/2021, http://www.youtube.com/watch?v=JFKrsdDuo7A
# Reunião  2: 14/05/2021, http://www.youtube.com/watch?v=hl_JLkHHa-w
# Reunião  3: 28/05/2021, http://www.youtube.com/watch?v=jwP3xsFstYw
# Reunião  4: 11/06/2021, http://www.youtube.com/watch?v=kvfv6fnNTng
# Reunião  5: 25/06/2021, http://www.youtube.com/watch?v=qQvZPKXJSbU
# Reunião  6: 27/08/2021, http://www.youtube.com/watch?v=XfOA8kSrhcI
# Reunião  7: 17/09/2021, http://www.youtube.com/watch?v=ILhnxAL3iZU
# Reunião  8: 24/09/2021,  acho que não existiu 
# Reunião  9:  8/10/2021, ? - Graham Smith / Savio/Adilson/Guillermo da UFSCar
# Reunião 10: 22/10/2021, http://www.youtube.com/watch?v=QzxbKnGwhBE
# Reunião 11:  5/11/2021, http://www.youtube.com/watch?v=HAnb6yJkeyA

# https://mail.google.com/mail/u/0/#search/forumppg/FMfcgzGlkFwKwfjWfZhmzQXwFnsNTwXr 8/out/2021

https://mail.google.com/mail/u/0/#sent/QgrcJHsTfQsKNDthPlMZHJfFlhcPdwJjdcl
"Matemática na Universidade" - gravações das reuniões

Oi André! Tudo bem?

Meu nome é Eduardo Ochs, e eu fiz uma apresentação na quarta reunião
do "Matemática na Universidade"... aqui:

  http://www.youtube.com/watch?v=kvfv6fnNTng#t=35m00s

Eu vi que foi você que pôs a gravação da conversa com a Beatrice no
Google Drive... você sabe quem gravou as últimas reuniões e quem está
pondo elas no Youtube? Acho que foi o Felipe Paixão que pôs no Youtube
as gravações das 5 primeiras, mas ele não está respondendo as minhas
mensagens... os dados que eu tenho são esses aqui,

  Reunião  1: 26/04/2021, http://www.youtube.com/watch?v=JFKrsdDuo7A
  Reunião  2: 14/05/2021, http://www.youtube.com/watch?v=hl_JLkHHa-w
  Reunião  3: 28/05/2021, http://www.youtube.com/watch?v=jwP3xsFstYw
  Reunião  4: 11/06/2021, http://www.youtube.com/watch?v=kvfv6fnNTng
  Reunião  5: 25/06/2021, http://www.youtube.com/watch?v=qQvZPKXJSbU
  Reunião  6: 27/08/2021, Conversa com Beatrice Pelloni - só tenho o mp4
  Reunião  7: 10/09/2021, não tenho o link
  Reunião  8: 24/09/2021, não tenho o link
  Reunião  9:  8/10/2021, Graham Smith / 3 caras da UFSCar - não tenho o link
  Reunião 10: 22/10/2021, só tenho o mp4

Eu tou usando algumas das idéias de uma apresentação do Carlos Tomei
no meu curso de Cálculo 2, e seria ótimo se eu pudesse pôr no material
do meu curso um link pra essa apresentação dele...

  [[]] =),
    Eduardo Ochs
    http://angg.twu.net/




#####
#
# mnu-1-a-11
# 2023mar11
#
#####

# «mnu-1-a-11»  (to ".mnu-1-a-11")

# (find-youtubedl-links "/home/videos/Math/" "Primeira_Reuniao_Tomei" "JFKrsdDuo7A" ".mp4" "mnu1")
# (find-youtubedl-links "/home/videos/Math/" "Segunda_reuniao_matematica_na_universidade" "hl_JLkHHa-w" ".mp4" "mnu2")
# (find-youtubedl-links "/home/videos/Math/" "Reuniao_3_-_Matematica_na_Universidade" "jwP3xsFstYw" ".mp4" "mnu3")
# (find-youtubedl-links "/home/videos/Math/" "Matematica_na_Universidade_-_Reuniao_4_-_11-6-2021" "kvfv6fnNTng" ".mkv" "mnu4")
# (find-youtubedl-links "/home/videos/Math/" "Matematica_na_Universidade_-_Reuniao_5" "qQvZPKXJSbU" ".mkv" "mnu5")
# (find-youtubedl-links "/home/videos/Math/" "Matematica_na_Universidade_-_Reuniao_6_-_27-8-2021" "XfOA8kSrhcI" ".webm" "mnu6")
# (find-youtubedl-links "/home/videos/Math/" "Matematica_na_Universidade_-_Reuniao_7_-_17-9-2021" "ILhnxAL3iZU" ".webm" "mnu7")
# (find-youtubedl-links "/home/videos/Math/" "Matematica_na_Universidade_-_Reuniao_10_-_22-10-2021" "QzxbKnGwhBE" ".mp4" "mnu10")
# (find-youtubedl-links "/home/videos/Math/" "Matematica_na_Universidade_-_Reuniao_11_-_5-11-2021" "HAnb6yJkeyA" ".webm" "mnu11")

# (code-video  "mnu6video" "/home/videos/Math/__conversa_com_beatrice-27-ago-2021.mp4")
# (code-video  "mnu7video" "/home/videos/Math/__matematica_na_universidade_2021-set-17.mp4")
# (code-video "mnu10video" "/home/videos/Math/__2021-10-22 Carlos Tomei's Zoom Meeting.mp4")

# (code-video  "mnu1video" "/home/videos/Math/Primeira_Reuniao_Tomei-JFKrsdDuo7A.mp4")
# (code-video  "mnu2video" "/home/videos/Math/Segunda_reuniao_matematica_na_universidade-hl_JLkHHa-w.mp4")
# (code-video  "mnu3video" "/home/videos/Math/Reuniao_3_-_Matematica_na_Universidade-jwP3xsFstYw.mp4")
# (code-video  "mnu4video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_4_-_11-6-2021-kvfv6fnNTng.mkv")
# (code-video  "mnu5video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_5-qQvZPKXJSbU.mkv")
# (code-video  "mnu6video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_6_-_27-8-2021-XfOA8kSrhcI.webm")
# (code-video  "mnu7video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_7_-_17-9-2021-ILhnxAL3iZU.webm")
# (code-video "mnu10video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_10_-_22-10-2021-QzxbKnGwhBE.mp4")
# (code-video "mnu11video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_11_-_5-11-2021-HAnb6yJkeyA.webm")

http://www.youtube.com/watch?v=JFKrsdDuo7A
http://www.youtube.com/watch?v=hl_JLkHHa-w
http://www.youtube.com/watch?v=jwP3xsFstYw
http://www.youtube.com/watch?v=kvfv6fnNTng
http://www.youtube.com/watch?v=qQvZPKXJSbU
http://www.youtube.com/watch?v=XfOA8kSrhcI
http://www.youtube.com/watch?v=ILhnxAL3iZU
http://www.youtube.com/watch?v=QzxbKnGwhBE
http://www.youtube.com/watch?v=HAnb6yJkeyA

# (find-video "/home/videos/Math/Primeira_Reuniao_Tomei-JFKrsdDuo7A.mp4")
# (find-video "/home/videos/Math/Segunda_reuniao_matematica_na_universidade-hl_JLkHHa-w.mp4")
# (find-video "/home/videos/Math/Reuniao_3_-_Matematica_na_Universidade-jwP3xsFstYw.mp4")
# (find-video "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_4_-_11-6-2021-kvfv6fnNTng.mkv")
# (find-video "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_5-qQvZPKXJSbU.mkv")
# (find-video "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_11_-_5-11-2021-HAnb6yJkeyA.webm")

# (code-video "mnu6video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_6_-_27-8-2021-XfOA8kSrhcI.webm")
# (code-video "mnu7video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_7_-_17-9-2021-ILhnxAL3iZU.webm")
# (code-video "mnu10video" "/home/videos/Math/Matematica_na_Universidade_-_Reuniao_10_-_22-10-2021-QzxbKnGwhBE.mp4")
# (find-mnu6video "0:00")
# (find-mnu7video "0:00")
# (find-mnu10video "0:00")


# (find-mnu1video    "0:00")
# (find-mnu1video    "0:53" "Carlos Tomei")

# (find-mnu2video    "0:00")
# (find-mnu2video    "3:34" "Henrique Sá Earp")
# (find-mnu2video   "12:42" "Ricardo")
# (find-mnu2video   "51:32" "Eleazar")
# (find-mnu2video "1:02:08" "Carlos Tomei")

# (find-mnu3video    "0:00")
# (find-mnu3video    "0:18" "Felipe Acker")
# (find-mnu3video   "22:13" "Márcio Adames")
# (find-mnu3video   "38:53" "Flávio Dickstein")

# (find-mnu4video    "0:00")
# (find-mnu4video    "0:13" "O contínuo e o discreto (nao sei quem é)")
# (find-mnu4video   "35:00" "Eduardo Ochs")
# (find-mnu4video "1:25:36" "Márcio Adames")

# (find-mnu5video    "0:00")
# (find-mnu5video    "0:03" "Márcia Fusaro")
# (find-mnu5video   "41:06" "Francisco")
# (find-mnu5video "1:16:04" "João Paixão")

# (find-mnu6video    "0:00")

# (find-mnu7video    "0:00")
# (find-mnu7video    "1:23" "Carlos Tomei")

# (find-mnu10video    "0:00")
# (find-mnu10video   "41:00" "Cálculo 4")
# (find-mnu10video "1:01:30" "que os cursos filtrem os alunos")
# (find-mnu10video "1:33:00" "quando o Henrique propôs mudanças")

# (find-mnu11video  "0:00")
# (find-mnu11video "19:40" "mais sobre indução do que")
# (find-mnu11video "19:55" "gráficos da Déa")
# (find-mnu11video "20:30" "a gente começa dando uma função por uma fórmula")
# (find-mnu11video "20:42" "ao passo que na vida real")
# (find-mnu11video "20:50" "você não vai aproximar essas funções")
# (find-mnu11video "21:05" "funções não são funções dadas por fórmulas")
# (find-mnu11video "21:10" "isso é uma técnica pedagógica")
# (find-mnu11video "21:20" "(fim da fala do Tomei)")







#####
#
# mat-na-univ-4-eu
# 2021oct28
#
#####

# «mat-na-univ-4-eu»  (to ".mat-na-univ-4-eu")
(find-es "ffmpeg" "feury-cut-mnu4")
# (code-video "mnau4video" "/sda5/videos/Math/Matematica_na_Universidade_-_Reuniao_4_-_11-6-2021-kvfv6fnNTng.mkv")
# (find-mnau4video)
# (find-mnau4video   "35:00" "Eduardo Ochs")
# (find-mnau4video   "35:00" "início da minha apresentação")
# (find-mnau4video   "35:50" "quem são seus alunos?")
# (find-mnau4video   "36:40" "você é A instituição")
# (find-mnau4video   "37:00" "seus alunos vão fazer o que quando crescerem?")
# (find-mnau4video   "38:03" "muitas metodologias óbvias não funcionavam")
# (find-mnau4video   "39:19" "Dica 7")
# (find-mnau4video   "40:43" "releia a Dica 7")
# (find-mnau4video   "40:52" "como adaptar isso pra aulas online")
# (find-mnau4video   "41:38" "todas as perguntas são bem vindas")
# (find-mnau4video   "42:04" "todo mundo aprende a interagir por")
# (find-mnau4video   "42:20" "foto do que estava fazendo")
# (find-mnau4video   "42:55" "não conseguem discutir muito uns com os outros")
# (find-mnau4video   "43:08" "todos os slides estão disponíveis em")
# (find-mnau4video   "44:19" "o pessoal do meu departamento conseguiu se reunir")
# (find-mnau4video   "44:38" "banco de questões")
# (find-mnau4video   "44:45" "portfolios")
# (find-mnau4video   "45:12" "e ia ser tudo culpa minha")
# (find-mnau4video   "45:31" "como diminuir os casos de cola")
# (find-mnau4video   "46:05" "prova fórmulas-leminhas")
# (find-mnau4video   "46:55" "monte sua própria tabela de integrais")
# (find-mnau4video   "47:45" "passar de casos particulares pra casos gerais")
# (find-mnau4video   "48:15" "tabela de integrais")
# (find-mnau4video   "48:30" "visualizar certas expressões que correspondem a áreas")
# (find-mnau4video   "49:15" "sistemas de computação simbólica")
# (find-mnau4video   "49:30" "mathologer")
# (find-mnau4video   "50:34" "tudo à mão, difíceis de copiar")
# (find-mnau4video   "50:59" "um trechinho das regras")
# (find-mnau4video   "52:07" "um trechinho das regras (2)")
# (find-mnau4video   "53:11" "operador de substituição")
# (find-mnau4video   "53:34" "[:=]")
# (find-mnau4video   "54:20" "muita dificuldade de fazer substituições")
# (find-mnau4video   "54:46" "programas ... usam substituição a beça")
# (find-mnau4video   "55:25" "sempre em cima de problemas que")
# (find-mnau4video   "56:29" "complementar os livros")
# (find-mnau4video   "56:50" "não cheguei até o fim da ementa/programa")
# (find-mnau4video   "57:40" "modos de visualizar fáceis de generalizar")
# (find-mnau4video   "58:02" "recuei pra GA")
# (find-mnau4video   "58:20" "pro cara do livro conseguir desenhar direito")
# (find-mnau4video   "59:22" "arame e papel")
# (find-mnau4video "1:00:48" "morrendo de vergonha de")
# (find-mnau4video "1:01:07" "não foram uma catástrofe")
# (find-mnau4video "1:01:33" "social skills bem ruins")
# (find-mnau4video "1:02:15" "Henrique")
# (find-mnau4video "1:03:26" "aprender a legendar / manim")
# (find-mnau4video "1:04:20" "truques de LaTeX")
# (find-mnau4video "1:05:15" "qual o tamanho dessas turmas")
# (find-mnau4video "1:05:50" "eu incentivei a cola")
# (find-mnau4video "1:06:23" "medo de 50 videos")
# (find-mnau4video "1:06:40" "birra com técnicas de integração")
# (find-mnau4video "1:07:19" "uma das razões pelas quais técnicas de integração")
# (find-mnau4video "1:08:32" "meu bode expiatório favorito")
# (find-mnau4video "1:08:55" "começam a entender que expressões são árvores")
# (find-mnau4video "1:10:56" "f(x) = gráfico")
# (find-mnau4video "1:11:29" "agora dá pra ver?")
# (find-mnau4video "1:11:36" "figura")
# (find-mnau4video "1:11:40" "ana isabel revoltada")
# (find-mnau4video "1:11:50" "notação de físicos")
# (find-mnau4video "1:12:35" "quando não houver ambiguidade")
# (find-mnau4video "1:13:15" "todo torto mas que todo mundo vai entender")
# (find-mnau4video "1:13:20" "se 1/x é contínua")
# (find-mnau4video "1:13:35" "derivada positiva é crescente")
# (find-mnau4video "1:13:52" "quantidade de abusos de linguagem")
# (find-mnau4video "1:14:07" "o programa exige mais cuidado")
# (find-mnau4video "1:14:30" "pauta executiva")
# (find-mnau4video "1:15:04" "vamos fazer um índice")
# (find-mnau4video "1:15:40" "tendo bons bancos de questões")
# (find-mnau4video "1:16:22" "questões com parâmetros")
# (find-mnau4video "1:17:20" "equipes de 4 alunos")
# (find-mnau4video "1:18:30" "os bons terem que ensinar pros ruins")
# (find-mnau4video "1:19:10" "subir pro drive")
# (find-mnau4video "1:19:30" "banco de aulas")
# (find-mnau4video "1:21:05" "como é que entra no drive")
# (find-mnau4video "1:21:35" "google groups")
# (find-mnau4video "1:22:20" "pra mim é muito melhor")
# (find-mnau4video "1:22:50" "não tem contradição")
# (find-mnau4video "1:23:44" "responsável por cursos inteiros / elogio")



#####
#
# mat-na-univ-4-eu-leg
# 2022jul23
#
#####

# «mat-na-univ-4-eu-leg»  (to ".mat-na-univ-4-eu-leg")
# (find-angg "LUA/Subtitles.lua" "mnu4-eu-leg")
# (find-TH "2021aulas-por-telegram" "legendas")
# https://youtu.be/OofZQYkNVhg
# Transcript:
# (find-yttranscript-links "mnu4" "kvfv6fnNTng")
# (find-yttranscript-links "mnu4eu" "OofZQYkNVhg")
# (find-youtubedl-links "/sda5/videos/Math/" nil "OofZQYkNVhg" nil "mnu4eu")
# (code-video "mnu4euvideo" "/sda5/videos/Math/Matematica_na_Universidade_-_Reuniao_4_-_11_jun_2021_-_Eduardo_Ochs-OofZQYkNVhg.webm")

# (find-mnu4euvideo "00:00" "- Funcionou? Vocês estão me vendo?")
# (find-mnu4euvideo "00:04" "- Sim! - Tá. Há")
# (find-mnu4euvideo "00:10" "duas reuniões atrás eu tinha certeza de que")
# (find-mnu4euvideo "00:12" "o que eu queria apresentar hoje interessava...")
# (find-mnu4euvideo "00:14" "depois eu comecei a ficar super paranóico")
# (find-mnu4euvideo "00:16" "e achar que não cabia mais...")
# (find-mnu4euvideo "00:18" "Então deixa eu começar por esse")
# (find-mnu4euvideo "00:20" "slide aqui - não, primeiro pelo título, né?")
# (find-mnu4euvideo "00:22" "O título é")
# (find-mnu4euvideo "00:24" "\"Sobre aulas por Telegram\". Eu vou")
# (find-mnu4euvideo "00:26" "começar por esse slide aqui que tem dois")
# (find-mnu4euvideo "00:28" "avisos.")
# (find-mnu4euvideo "00:30" "O Carlos me perguntou")
# (find-mnu4euvideo "00:33" "se eu ia fazer uma fala institucional ou")
# (find-mnu4euvideo "00:35" "se eu ia falar de uma experiência")
# (find-mnu4euvideo "00:36" "individual, e deixa eu já avisar de uma vez...")
# (find-mnu4euvideo "00:38" "primeiro: deixa eu traduzir a pergunta do")
# (find-mnu4euvideo "00:41" "Carlos. Você vai falar em nome de um")
# (find-mnu4euvideo "00:42" "departamento em que vários professores")
# (find-mnu4euvideo "00:44" "estão dando a mesma disciplina? NÃO.")
# (find-mnu4euvideo "00:47" "Além disso: você vai falar sobre Álgebra")
# (find-mnu4euvideo "00:48" "linear? Não. E deixar eu acrescentar mais um:")
# (find-mnu4euvideo "00:51" "você vai falar sobre Cálculo? Vou falar")
# (find-mnu4euvideo "00:53" "sobre Cálculo 2 e 3, mas não")
# (find-mnu4euvideo "00:55" "sobre Cálculo 1.")
# (find-mnu4euvideo "00:57" "- Hoje eu te perguntei, inclusive")
# (find-mnu4euvideo "01:00" "Eduardo, desculpa te interromper, sobre")
# (find-mnu4euvideo "01:01" "se era possível você dizer quem são os")
# (find-mnu4euvideo "01:04" "alunos, e qual é o contexto onde isso está")
# (find-mnu4euvideo "01:06" "acontecendo.")
# (find-mnu4euvideo "01:08" "- A gente tem dois cursos, quer dizer,")
# (find-mnu4euvideo "01:10" "o departamento de Matemática de lá dá aulas")
# (find-mnu4euvideo "01:13" "principalmente pros cursos de")
# (find-mnu4euvideo "01:14" "Engenharia da computação, oops,")
# (find-mnu4euvideo "01:15" "Ciência da Computação, e Engenharia")
# (find-mnu4euvideo "01:18" "de Produção... mas eu não sei dar uma")
# (find-mnu4euvideo "01:20" "resposta muito melhor que isso por")
# (find-mnu4euvideo "01:22" "enquanto não, e não")
# (find-mnu4euvideo "01:24" "quero desperdiçar o tempo de vocês. Então,")
# (find-mnu4euvideo "01:27" "deixa eu dar um pouquinho de background. Eu")
# (find-mnu4euvideo "01:29" "trabalho num campus pequeno da UFF chamado")
# (find-mnu4euvideo "01:31" "PURO, que é o Pólo Universitário de Rio das")
# (find-mnu4euvideo "01:33" "Ostras. Hoje em dia a equipe de Cálculo 2")
# (find-mnu4euvideo "01:36" "sou eu e a equipe de Cálculo 3 sou eu, e")
# (find-mnu4euvideo "01:39" "durante um tempo, anos")
# (find-mnu4euvideo "01:41" "atrás, a equipe de Matemática Discreta")
# (find-mnu4euvideo "01:43" "era eu, e durante um outro tempo, também")
# (find-mnu4euvideo "01:45" "anos atrás, a equipe de Geometria Analítica era eu.")
# (find-mnu4euvideo "01:47" "- Muito institucional! Você é A instituição, rapaz!")
# (find-mnu4euvideo "01:51" "- Exatamente, né? Mas eu não posso falar")
# (find-mnu4euvideo "01:54" "em nome de outras pessoas que não sejam eu...")
# (find-mnu4euvideo "01:55" "já vou confessar que eu interajo com elas")
# (find-mnu4euvideo "01:58" "muito menos que eu deveria...")
# (find-mnu4euvideo "02:00" "- Seus alunos vão fazer o que quando crescerem?")
# (find-mnu4euvideo "02:01" "Eles entram pra ser engenheiros?")
# (find-mnu4euvideo "02:04" "- Alguns viram engenheiros de produção, outros")
# (find-mnu4euvideo "02:07" "vão virar programadores, alguns viram, sei lá,")
# (find-mnu4euvideo "02:10" "faxineiros em firmas de engenharia... depende")
# (find-mnu4euvideo "02:13" "da qualidade deles.")
# (find-mnu4euvideo "02:15" "Então, voltando, deixa eu focar aqui.")
# (find-mnu4euvideo "02:18" "Durante um tempão eu dei matérias")
# (find-mnu4euvideo "02:21" "de primeiro período, Geometria Analítica e")
# (find-mnu4euvideo "02:23" "Matemática Discreta, que eram disciplinas com")
# (find-mnu4euvideo "02:25" "ementas e programa gigantescos reprovação")
# (find-mnu4euvideo "02:27" "idem... era pra a gente cumprir o programa,")
# (find-mnu4euvideo "02:30" "então a gente acabava reprovando 75%")
# (find-mnu4euvideo "02:32" "das pessoas mesmo que a gente")
# (find-mnu4euvideo "02:34" "se esfalfasse muito, eu tive que")
# (find-mnu4euvideo "02:36" "improvisar muito, mas acabei fazendo muitas")
# (find-mnu4euvideo "02:39" "besteiras... deixa eu dar")
# (find-mnu4euvideo "02:41" "um exemplo óbvio: eu comecei tentando ensinar")
# (find-mnu4euvideo "02:43" "como a gente dá aula pra")
# (find-mnu4euvideo "02:45" "matemáticos, e acabei descobrindo que eu")
# (find-mnu4euvideo "02:47" "tinha que fazer coisas completamente")
# (find-mnu4euvideo "02:48" "diferentes...")
# (find-mnu4euvideo "02:50" "bom, então, fiz muitas besteiras no")
# (find-mnu4euvideo "02:52" "caminho...")
# (find-mnu4euvideo "02:53" "- Desculpa, Eduardo, tem licenciatura?")
# (find-mnu4euvideo "02:57" "- Não tem. - Tá.")
# (find-mnu4euvideo "03:00" "- E descobri que um monte de metodologias")
# (find-mnu4euvideo "03:02" "óbvias não funcionavam. Então, a")
# (find-mnu4euvideo "03:04" "coisa mais óbvia que não funcionava é a")
# (find-mnu4euvideo "03:06" "gente ensinar tudo por proposição, teorema,")
# (find-mnu4euvideo "03:08" "demonstração, etc, e uma coisa um")
# (find-mnu4euvideo "03:11" "pouco menos óbvia que também não")
# (find-mnu4euvideo "03:12" "funciona, é que toda vez que eu pedia:")
# (find-mnu4euvideo "03:15" "\"escreva com suas palavras [alguma coisa]\"")
# (find-mnu4euvideo "03:17" "os alunos escreviam coisas")
# (find-mnu4euvideo "03:19" "incrivelmente ambíguas... às vezes era")
# (find-mnu4euvideo "03:22" "pra eles tentarem não errar - eles eram")
# (find-mnu4euvideo "03:24" "ambíguos de propósito para não errar - e às")
# (find-mnu4euvideo "03:26" "vezes faziam uma outra coisa que era")
# (find-mnu4euvideo "03:27" "muito difícil de consertar...")
# (find-mnu4euvideo "03:29" "tinha questões em que tinha 20 números,")
# (find-mnu4euvideo "03:31" "15 retas e não sei que, e TUDO era chamado")
# (find-mnu4euvideo "03:34" "de \"o número\", \"ele\", e coisas assim.")
# (find-mnu4euvideo "03:37" "Dava muito trabalho pra fazer eles pararem")
# (find-mnu4euvideo "03:39" "com isso.")
# (find-mnu4euvideo "03:40" "O outro problema bem típico é que a")
# (find-mnu4euvideo "03:42" "gente tinha alunos que usavam qualquer")
# (find-mnu4euvideo "03:44" "fórmula, de qualquer jeito, e tinham")
# (find-mnu4euvideo "03:46" "certeza absoluta de que a resposta deles")
# (find-mnu4euvideo "03:47" "estava certa e depois brigavam comigo, me")
# (find-mnu4euvideo "03:50" "ameaçavam, diziam que iam abrir processo")
# (find-mnu4euvideo "03:53" "contra mim, que iam pedir outra correção,")
# (find-mnu4euvideo "03:54" "não sei que, que eu tava de marcação")
# (find-mnu4euvideo "03:55" "com eles essas coisas.")
# (find-mnu4euvideo "03:57" "Qual é a solução para isso? Deu um")
# (find-mnu4euvideo "04:00" "certo trabalho encontrar uma solução")
# (find-mnu4euvideo "04:01" "para isso. Deixa eu só fazer uma")
# (find-mnu4euvideo "04:03" "observação, que é que o que eu vou")
# (find-mnu4euvideo "04:05" "mostrar pra vocês no próximo slide")
# (find-mnu4euvideo "04:07" "é copiado de uma coisa que tá no meu site...")
# (find-mnu4euvideo "04:10" "eu transformei todo o material que eu")
# (find-mnu4euvideo "04:12" "produzi pra Geometria Analítica numa")
# (find-mnu4euvideo "04:14" "coisa chamada \"Material")
# (find-mnu4euvideo "04:15" "complementar pra Geometria Analítica\",")
# (find-mnu4euvideo "04:18" "que eu vou passar para vocês depois. Então")
# (find-mnu4euvideo "04:23" "uma das dicas de como estudar é essa dica 7")
# (find-mnu4euvideo "04:25" "aqui: uma solução bem escrita pode")
# (find-mnu4euvideo "04:28" "incluir, além do resultado final -")
# (find-mnu4euvideo "04:22" "(só um instantinho - ah, resolvi)")
# (find-mnu4euvideo "04:36" "pode incluir, além do resultado final - eu")
# (find-mnu4euvideo "04:40" "tinha que botar isso porque alguns")
# (find-mnu4euvideo "04:41" "alunos achavam que o resultado era sempre um")
# (find-mnu4euvideo "04:43" "número - contas, definições, representações")
# (find-mnu4euvideo "04:47" "gráficas, explicações em português")
# (find-mnu4euvideo "04:49" "testes, etc. Uma solução bem escrita é fácil")
# (find-mnu4euvideo "04:53" "de ler e fácil de verificar.")
# (find-mnu4euvideo "04:55" "Você pode testar se uma solução sua")
# (find-mnu4euvideo "04:57" "está bem escrita submetendo ela pras seguintes")
# (find-mnu4euvideo "04:59" "pessoas: a) você mesmo logo depois você")
# (find-mnu4euvideo "05:02" "escrevê-la - leia e veja se ela está")
# (find-mnu4euvideo "05:04" "clara, b) você mesmo horas depois ou no")
# (find-mnu4euvideo "05:08" "da seguinte, quando você não lembrar mais")
# (find-mnu4euvideo "05:10" "do que você pensava quando você escreveu,")
# (find-mnu4euvideo "05:12" "c) um colega que seja seu amigo, d) um")
# (find-mnu4euvideo "05:15" "colega que seja menos seu amigo que o outro,")
# (find-mnu4euvideo "05:17" "e) o monitor ou o professor. Se as outras")
# (find-mnu4euvideo "05:22" "pessoas acharem que ler a sua solução é um")
# (find-mnu4euvideo "05:23" "sofrimento isso é mau sinal; se as")
# (find-mnu4euvideo "05:25" "outras pessoas acharem que a sua solução")
# (find-mnu4euvideo "05:27" "está claríssima e que elas devem estudar")
# (find-mnu4euvideo "05:29" "com você isso é um bom sinal. Geometria")
# (find-mnu4euvideo "05:31" "Analítica é um curso de escrita matemática: se")
# (find-mnu4euvideo "05:34" "você estiver estudando e descobrir que")
# (find-mnu4euvideo "05:35" "uma solução sua pode ser reescrita de um")
# (find-mnu4euvideo "05:37" "jeito bem melhor, não hesite - reescrever")
# (find-mnu4euvideo "05:40" "é um ótimo exercício.")
# (find-mnu4euvideo "05:41" "- Yes!!! - Então eu não só dava isso nesse")
# (find-mnu4euvideo "05:46" "curso como centenas de vezes quando")
# (find-mnu4euvideo "05:47" "os alunos perguntavam alguma coisa eu")
# (find-mnu4euvideo "05:49" "dizia: releia a Dica 7.")
# (find-mnu4euvideo "05:52" "Agora: como eu adapto isso pra")
# (find-mnu4euvideo "05:55" "aulas onlines? Bom, eu tou dando duas")
# (find-mnu4euvideo "05:58" "turmas de Cálculo 2 nesse últimos semestres")
# (find-mnu4euvideo "06:00" "e uma de Cálculo 3, então sempre três")
# (find-mnu4euvideo "06:02" "turmas por semestre. Cada uma delas")
# (find-mnu4euvideo "06:04" "tem quatro horas por semana, e na versão")
# (find-mnu4euvideo "06:07" "atual delas cada uma tem um canal no Telegram.")
# (find-mnu4euvideo "06:09" "- Que que é isso? - Oi? - Que que quer dizer")
# (find-mnu4euvideo "06:13" "isso, \"canal no Telegram\"? - É um")
# (find-mnu4euvideo "06:16" "WhatsApp do B! - É, é isso - É um WhatsApp.")
# (find-mnu4euvideo "06:19" "- É um WhatsApp. Tá bom.")
# (find-mnu4euvideo "06:21" "E nessas quatro horas pra cada turma")
# (find-mnu4euvideo "06:24" "eu fico no canal do Telegram")
# (find-mnu4euvideo "06:25" "discutindo com quem tiver lá os slides")
# (find-mnu4euvideo "06:27" "da aula - tem uma exposição, problemas,")
# (find-mnu4euvideo "06:31" "e outras coisas, e os vídeos")
# (find-mnu4euvideo "06:32" "curtos que eu preparei, que em geral são bem")
# (find-mnu4euvideo "06:34" "curtos e super densos, eles vão ter que")
# (find-mnu4euvideo "06:36" "rever pedaços muitas vezes... e todas as")
# (find-mnu4euvideo "06:40" "perguntas são bem-vindas. No início as")
# (find-mnu4euvideo "06:41" "pessoas têm muita dificuldade de")
# (find-mnu4euvideo "06:43" "interagir, ficam hesitando a beça antes de")
# (find-mnu4euvideo "06:47" "fazer perguntas sobre matéria antiga, e dá")
# (find-mnu4euvideo "06:49" "um trabalho mostrar para as pessoas que,")
# (find-mnu4euvideo "06:51" "realmente... \"por favor, tragam perguntas,")
# (find-mnu4euvideo "06:54" "eu adoro perguntas todo mundo tem")
# (find-mnu4euvideo "06:58" "dúvidas atrasadas então: venham!\" E o que")
# (find-mnu4euvideo "07:01" "acontece é que todo mundo que consegue")
# (find-mnu4euvideo "07:03" "participar das aulas - e afinal,")
# (find-mnu4euvideo "07:05" "tem umas pessoas que não interagem - todo")
# (find-mnu4euvideo "07:07" "mundo aprende a interagir por mensagens")
# (find-mnu4euvideo "07:09" "de texto e por fotos do que escreveu no")
# (find-mnu4euvideo "07:11" "papel. Deixa eu dar um exemplo aqui. Isso")
# (find-mnu4euvideo "07:15" "aqui é um... bom, eu salvei o log das")
# (find-mnu4euvideo "07:18" "conversas do Telegram, e aqui tem tem um")
# (find-mnu4euvideo "07:21" "trecho de uma conversa, e dá para ver que o")
# (find-mnu4euvideo "07:23" "aluno manda uma foto do que ele tava")
# (find-mnu4euvideo "07:24" "fazendo - se a gente clicar aqui a gente")
# (find-mnu4euvideo "07:27" "consegue ampliar a foto.")
# (find-mnu4euvideo "07:28" "Deixa eu voltar...")
# (find-mnu4euvideo "07:32" "Então, eu passo o tempo todo")
# (find-mnu4euvideo "07:34" "disponível no canal do telegram - às vezes")
# (find-mnu4euvideo "07:36" "não aparece ninguém, mas eu fico lá, às")
# (find-mnu4euvideo "07:38" "vezes preparando mais material, dizendo")
# (find-mnu4euvideo "07:39" "\"olha, gente, fiz mais um exercício novo\",")
# (find-mnu4euvideo "07:41" "não sei que... mas depois de um tempo eu consigo")
# (find-mnu4euvideo "07:44" "que as pessoas interajam bastante.")
# (find-mnu4euvideo "07:47" "Então, eu fico lá o tempo")
# (find-mnu4euvideo "07:49" "todo, exceto quando eu aviso \"vou gravar")
# (find-mnu4euvideo "07:51" "um vídeo sobre isso, volto em 10 ou")
# (find-mnu4euvideo "07:53" "15 minutos, continuem discutindo aí\".")
# (find-mnu4euvideo "07:55" "Eles não conseguem discutir muito uns com os")
# (find-mnu4euvideo "07:57" "outros, mas eu sei que eles acabam relendo")
# (find-mnu4euvideo "07:59" "sempre o que os outros fazem,")
# (find-mnu4euvideo "08:03" "e aí eles têm uma noção do que que tá")
# (find-mnu4euvideo "08:05" "andando, do que que eles deveriam saber...")
# (find-mnu4euvideo "08:08" "Bom, todos os slides, vídeos, links etc dos")
# (find-mnu4euvideo "08:12" "meus cursos estão disponíveis nesses")
# (find-mnu4euvideo "08:14" "dois sites aqui, nessas duas páginas, exceto o log")
# (find-mnu4euvideo "08:17" "do Telegram, que dá um pouquinho mais de trabalho")
# (find-mnu4euvideo "08:19" "pra obter...")
# (find-mnu4euvideo "08:21" "daria para vocês entrarem nos canais do")
# (find-mnu4euvideo "08:23" "Telegram e salvarem os links mas é mais")
# (find-mnu4euvideo "08:25" "fácil simplesmente me pedirem para")
# (find-mnu4euvideo "08:26" "eu mandar o .zip de cada turma. Então, em")
# (find-mnu4euvideo "08:31" "cada um dos três canais do Telegram eu")
# (find-mnu4euvideo "08:33" "acabei ficando com tipo 2000")
# (find-mnu4euvideo "08:34" "mensagens, incluindo as minhas e as dos alunos,")
# (find-mnu4euvideo "08:37" "eu posso mandar .zip para quem quiser")
# (find-mnu4euvideo "08:39" "olhar")
# (find-mnu4euvideo "08:41" "É... eu")
# (find-mnu4euvideo "08:43" "me reuni duas vezes nos últimos meses")
# (find-mnu4euvideo "08:45" "- Desculpa, Eduardo, só um momento...")
# (find-mnu4euvideo "08:46" "isso é na época da pandemia")
# (find-mnu4euvideo "08:49" "ou era na época que tinha aula presencial?")
# (find-mnu4euvideo "08:51" "- Isso é pandemia. - Tá legal, então")
# (find-mnu4euvideo "08:55" "não tinha encontros presenciais. - É, era só")
# (find-mnu4euvideo "08:58" "por internet. Então: antes da pandemia")
# (find-mnu4euvideo "09:00" "eu também dava Cálculo 2 e Cálculo 3,")
# (find-mnu4euvideo "09:02" "e eu fui adaptando eles para para aulas")
# (find-mnu4euvideo "09:05" "onlines. Eu sei que deveria ser \"online\",")
# (find-mnu4euvideo "09:08" "mas \"aulas onlines\" é um")
# (find-mnu4euvideo "09:11" "dos meus plurais errados preferidos, então")
# (find-mnu4euvideo "09:13" "eu falo \"aulas onlines\".")
# (find-mnu4euvideo "09:15" "Então, o pessoal do meu departamento")
# (find-mnu4euvideo "09:20" "conseguiu se reunir algumas vezes pra")
# (find-mnu4euvideo "09:22" "discutir como é que cada um tava lidando")
# (find-mnu4euvideo "09:23" "com esses cursos onlines, e as pessoas")
# (find-mnu4euvideo "09:28" "tavam fazendo várias coisas diferentes,")
# (find-mnu4euvideo "09:29" "deu pra gente trocar um monte de ideias,")
# (find-mnu4euvideo "09:31" "mas a única pessoa no meu departamento")
# (find-mnu4euvideo "09:34" "fazendo as coisas exatamente desse jeito")
# (find-mnu4euvideo "09:35" "sou eu.")
# (find-mnu4euvideo "09:37" "Uma dessas pessoas conseguiu altos")
# (find-mnu4euvideo "09:40" "sistemas de fazer um banco de questões")
# (find-mnu4euvideo "09:41" "enorme, então cada aluno na prova")
# (find-mnu4euvideo "09:44" "vai fazer questões diferentes, outra")
# (find-mnu4euvideo "09:46" "pessoa pediu que os alunos apresentassem")
# (find-mnu4euvideo "09:48" "portfólios do que aprenderam ao invés de fazer")
# (find-mnu4euvideo "09:50" "provas e coisas assim, mas eu achei que")
# (find-mnu4euvideo "09:53" "eu não ia conseguir fazer isso direito, e eu")
# (find-mnu4euvideo "09:55" "tentei ser super realista com as minhas")
# (find-mnu4euvideo "09:56" "possíveis limitações para não dar")
# (find-mnu4euvideo "09:58" "merda.")
# (find-mnu4euvideo "09:59" "Eu achei que se eu desse mil testes e")
# (find-mnu4euvideo "10:02" "provas eu não ia conseguir corrigir elas")
# (find-mnu4euvideo "10:04" "rápido o suficiente e eu não ia conseguir")
# (find-mnu4euvideo "10:06" "dar feedback significativo rápido o")
# (find-mnu4euvideo "10:08" "suficiente, e eu achei que se eu pedisse")
# (find-mnu4euvideo "10:10" "vídeos e portfólios de todos os")
# (find-mnu4euvideo "10:11" "alunos eu também ia me ferrar porque eu")
# (find-mnu4euvideo "10:14" "não ia conseguir deixar as regras claras")
# (find-mnu4euvideo "10:15" "o suficiente, eles iam fazer coisas que")
# (find-mnu4euvideo "10:17" "não tavam boas, e eu ia achar que era tudo")
# (find-mnu4euvideo "10:19" "culpa minha.")
# (find-mnu4euvideo "10:21" "E além disso, tem uma coisa que todo mundo")
# (find-mnu4euvideo "10:23" "aqui deve ter passado: no primeiro")
# (find-mnu4euvideo "10:25" "semestre de aulas online os alunos")
# (find-mnu4euvideo "10:27" "colaram muito. Como é que a gente pode")
# (find-mnu4euvideo "10:29" "fazer para diminuir isso?")
# (find-mnu4euvideo "10:32" "E agora deixa eu ser um pouquinho mais")
# (find-mnu4euvideo "10:34" "específico e falar sobre como é que eu tou")
# (find-mnu4euvideo "10:35" "fazendo isso em Cálculo 2. Depois vou falar")
# (find-mnu4euvideo "10:37" "um pouquinho sobre Cálculo 3. Então,")
# (find-mnu4euvideo "10:39" "agora nas aulas onlines eu diminuí a")
# (find-mnu4euvideo "10:42" "importância dos métodos de integração, e")
# (find-mnu4euvideo "10:45" "eu tou enfatizando pros alunos que")
# (find-mnu4euvideo "10:47" "a passagem de Cálculo 1 pra Cálculo 2 é")
# (find-mnu4euvideo "10:49" "como a passagem de Prog 1")
# (find-mnu4euvideo "10:51" "pra Prog 2, e, que eles aprendem a")
# (find-mnu4euvideo "10:53" "trabalhar com funções, loops, e coisas")
# (find-mnu4euvideo "10:55" "assim, os programas deles passam a ter")
# (find-mnu4euvideo "10:57" "mil estruturas diferentes, lógica mais")
# (find-mnu4euvideo "10:58" "complicada, e coisas assim.")
# (find-mnu4euvideo "11:00" "E vários problemas de Cálculo 2 podem")
# (find-mnu4euvideo "11:03" "ser resolvidos mais facilmente em vários")
# (find-mnu4euvideo "11:04" "pedaços, no sentido de que você primeiro")
# (find-mnu4euvideo "11:07" "prova várias fórmula-leminhas, e depois você")
# (find-mnu4euvideo "11:10" "combina elas, e eles são difíceis de")
# (find-mnu4euvideo "11:12" "resolver numa série de igualdade só. Tem")
# (find-mnu4euvideo "11:15" "um slogan que eu também repito milhares")
# (find-mnu4euvideo "11:16" "de vezes, que é: \"eu só vou corrigir os")
# (find-mnu4euvideo "11:18" "sinais de igual\" - então quando alguém me")
# (find-mnu4euvideo "11:20" "manda uma foto de um papel em que tem contas")
# (find-mnu4euvideo "11:22" "desconexas e sem sinal de igual eu digo:")
# (find-mnu4euvideo "11:24" "\"não tem nada aí, não posso corrigir nada\",")
# (find-mnu4euvideo "11:27" "e quando eles têm iguais relacionando coisas")
# (find-mnu4euvideo "11:29" "que não deveriam estar relacionadas eu")
# (find-mnu4euvideo "11:30" "também reclamo, eu pergunto: \"porque esse")
# (find-mnu4euvideo "11:33" "igual daqui? Como é que você justifica isso?\"")
# (find-mnu4euvideo "11:35" "- E implicação? Aparece implicação?")
# (find-mnu4euvideo "11:38" "- Muito pouco... nesse curso muito pouco.")
# (find-mnu4euvideo "11:40" "E desigualdades também aparecem pouquinho.")
# (find-mnu4euvideo "11:42" "Então a gente se foca no igual, mas igual")
# (find-mnu4euvideo "11:44" "é como se fosse um abuso de linguagem pra")
# (find-mnu4euvideo "11:46" "igual e menor igual, menor, etc,")
# (find-mnu4euvideo "11:50" "mas o slogan tinha que ficar curtinho.")
# (find-mnu4euvideo "11:55" "E eu passei a dar uma espécie de exercício")
# (find-mnu4euvideo "11:58" "permanente no curso - eu agora vou")
# (find-mnu4euvideo "12:02" "dar cada vez mais ênfase a isso - que é que")
# (find-mnu4euvideo "12:04" "um dos objetivos do curso, que é esse exercício")
# (find-mnu4euvideo "12:06" "permanente, é você montar sua própria")
# (find-mnu4euvideo "12:08" "tabela de integrais só com fórmula que você")
# (find-mnu4euvideo "12:11" "sabe demonstrar...")
# (find-mnu4euvideo "12:15" "- Tem um áudio vazando pessoal!")
# (find-mnu4euvideo "12:20" "- Quem é o filho da puta?")
# (find-mnu4euvideo "12:24" "- Quem não é hoje em dia, né? - É, acho que")
# (find-mnu4euvideo "12:26" "não tem nada a ver. Deixa eu continuar.")
# (find-mnu4euvideo "12:29" "Então um objetivo é os alunos aprenderem a")
# (find-mnu4euvideo "12:32" "demonstrar a fórmulas de um jeito legível,")
# (find-mnu4euvideo "12:34" "organizar elas numa ordem lógica em que")
# (find-mnu4euvideo "12:36" "uma fórmula seguinte só depende das que")
# (find-mnu4euvideo "12:38" "vem antes e coisas assim, e aprenderem a")
# (find-mnu4euvideo "12:41" "fazer isso de um jeito legível, inclusive")
# (find-mnu4euvideo "12:44" "testarem isso com os colegas e coisas assim. Além")
# (find-mnu4euvideo "12:47" "disso eu tou dando ênfase numa coisa que eu vi")
# (find-mnu4euvideo "12:50" "que os alunos têm muita dificuldade...")
# (find-mnu4euvideo "12:52" "é que eu preciso que eles aprenderam")
# (find-mnu4euvideo "12:55" "aprender a passar de casos particulares -")
# (find-mnu4euvideo "12:57" "por exemplo aqui você tem x^4 -")
# (find-mnu4euvideo "13:01" "pra fórmulas mais gerais, que")
# (find-mnu4euvideo "13:02" "você tem x^k. E eu encontrei muito")
# (find-mnu4euvideo "13:06" "pouco material escrito sobre isso... eu")
# (find-mnu4euvideo "13:08" "tive que improvisar um bocado de material")
# (find-mnu4euvideo "13:10" "para fazer os alunos aprenderem isso passo")
# (find-mnu4euvideo "13:11" "a passo sem ficarem em pânico.")
# (find-mnu4euvideo "13:15" "Bom -")
# (find-mnu4euvideo "13:16" "então, esse slide é só uma cópia de uma")
# (find-mnu4euvideo "13:18" "coisa que eu dou pros alunos, aquela")
# (find-mnu4euvideo "13:21" "cópia de uma tabela de diferenciação")
# (find-mnu4euvideo "13:23" "e integrais de um determinado")
# (find-mnu4euvideo "13:25" "livro livre que se chama APEX Calculus,")
# (find-mnu4euvideo "13:28" "que é bem bom mas que tá em inglês...")
# (find-mnu4euvideo "13:30" "e além disso uma outra coisa que eu")
# (find-mnu4euvideo "13:34" "enfatizo muito na primeira parte do")
# (find-mnu4euvideo "13:36" "curso")
# (find-mnu4euvideo "13:37" "é que eu dou muitos exercício pros")
# (find-mnu4euvideo "13:40" "alunos aprenderem a visualizar certas")
# (find-mnu4euvideo "13:42" "expressões que correspondem a áreas. Eles")
# (find-mnu4euvideo "13:45" "no início têm muita dificuldade conceitual")
# (find-mnu4euvideo "13:47" "com isso. Eles acham que dá para resolver")
# (find-mnu4euvideo "13:48" "tudo fazendo conta, mas o meu objetivo é")
# (find-mnu4euvideo "13:51" "fazer com que eles aprendam a visualizar")
# (find-mnu4euvideo "13:54" "que que certas expressões querem dizer,")
# (find-mnu4euvideo "13:55" "por exemplo certos somatórios, sem fazer as")
# (find-mnu4euvideo "13:57" "contas todas, conseguindo visualizar os")
# (find-mnu4euvideo "13:59" "desenhos... e eu faço um approach low-tech:")
# (find-mnu4euvideo "14:02" "eu sempre peço pros alunos fazerem os desenhos")
# (find-mnu4euvideo "14:03" "na mão, porque se eles fizerem os desenhos")
# (find-mnu4euvideo "14:06" "na mão eles acabam descobrindo truques")
# (find-mnu4euvideo "14:08" "para fazer mais rápido, descobrem os padrões")
# (find-mnu4euvideo "14:10" "e coisas assim, e aí eles conseguem")
# (find-mnu4euvideo "14:12" "visualizar... eu tou querendo usar cada vez")
# (find-mnu4euvideo "14:14" "mais vídeos que mostram essa ideia de o")
# (find-mnu4euvideo "14:17" "que que acontece quando você muda um")
# (find-mnu4euvideo "14:18" "parâmetro. Eu acho que eu não vou ter")
# (find-mnu4euvideo "14:20" "condições de botar os alunos para usarem")
# (find-mnu4euvideo "14:21" "sistemas de computação simbólica, mas")
# (find-mnu4euvideo "14:25" "vou fazer uma versão low-tech disso com vídeos")
# (find-mnu4euvideo "14:28" "e com eles fazendo as coisas na mão.")
# (find-mnu4euvideo "14:30" "Deixa eu só mostrar um trechinho aqui...")
# (find-mnu4euvideo "14:32" "isso é um trecho de um vídeo.")
# (find-mnu4euvideo "14:50" "então: isso é um vídeo super bacana com")
# (find-mnu4euvideo "14:53" "figuras maravilhosas sobre como é que você")
# (find-mnu4euvideo "14:55" "entende que e^(i theta) é")
# (find-mnu4euvideo "15:00" "cos theta + i sen theta.")
# (find-mnu4euvideo "15:06" "Então, deixa eu continuar... eu insisto")
# (find-mnu4euvideo "15:09" "muito que eles aprendam os padrões e")
# (find-mnu4euvideo "15:11" "façam os desenhos rápido... dá um trabalhão,")
# (find-mnu4euvideo "15:14" "muitas pessoas depois de um tempão ainda")
# (find-mnu4euvideo "15:16" "continuam fazendo duas partes de")
# (find-mnu4euvideo "15:17" "contas numa coisa que elas deveriam ter")
# (find-mnu4euvideo "15:19" "reconhecido os padrões e feito duas linhas")
# (find-mnu4euvideo "15:21" "de contas e depois desenhos do resto.")
# (find-mnu4euvideo "15:24" "E lembrem que eu disse agora há")
# (find-mnu4euvideo "15:27" "pouco que é que os alunos colavam muito.")
# (find-mnu4euvideo "15:29" "Como é que a gente pode fazer pra")
# (find-mnu4euvideo "15:31" "diminuir isso? Eu tou improvisando várias")
# (find-mnu4euvideo "15:34" "técnicas...")
# (find-mnu4euvideo "15:35" "Uma delas é que nos mini-testes")
# (find-mnu4euvideo "15:38" "e provas os alunos têm que fazer tudo a mão")
# (find-mnu4euvideo "15:40" "e várias questões que eu passo têm desenhos")
# (find-mnu4euvideo "15:42" "que são difíceis de copiar sem entender,")
# (find-mnu4euvideo "15:44" "então quando eles forem fazer o desenho")
# (find-mnu4euvideo "15:47" "eles vão ter... provavelmente no mínimo eles vão")
# (find-mnu4euvideo "15:49" "aprender alguma coisa, senão o desenho vai sair")
# (find-mnu4euvideo "15:51" "todo errado.")
# (find-mnu4euvideo "15:59" "Deixa eu mostrar um trechinho das")
# (find-mnu4euvideo "16:02" "regras para")
# (find-mnu4euvideo "16:03" "mini-testes e provas. Na verdade isso aqui")
# (find-mnu4euvideo "16:07" "foi um esporro que eu dei em todo mundo")
# (find-mnu4euvideo "16:08" "quando umas pessoas fizeram provas")
# (find-mnu4euvideo "16:10" "péssimas, colaram a beça, não sei que.")
# (find-mnu4euvideo "16:12" "O meu esporro ficou tão bom que eu incluí")
# (find-mnu4euvideo "16:14" "ele nas regras e dicas.")
# (find-mnu4euvideo "16:17" "- Você e o Caetano Veloso! - Sim!")
# (find-mnu4euvideo "16:22" "Então eu disse o seguinte: gente, era uma")
# (find-mnu4euvideo "16:25" "prova para ser feito em 24 horas, com")
# (find-mnu4euvideo "16:27" "consulta e com discussão com os colegas,")
# (find-mnu4euvideo "16:29" "então os critérios de correção são bem")
# (find-mnu4euvideo "16:31" "diferentes dos critérios pra uma prova")
# (find-mnu4euvideo "16:33" "individual de duas horas. Deixa usar como")
# (find-mnu4euvideo "16:35" "exemplo frações parciais.")
# (find-mnu4euvideo "16:37" "Eu esperava que quando vocês tivessem")
# (find-mnu4euvideo "16:39" "terminado a prova vocês soubessem frações")
# (find-mnu4euvideo "16:40" "parciais muito bem e lembrassem como era")
# (find-mnu4euvideo "16:43" "só saber as idéias básicas de frações")
# (find-mnu4euvideo "16:45" "parciais mas não saber nem fazer as")
# (find-mnu4euvideo "16:46" "contas direito... e aí era para vocês terem")
# (find-mnu4euvideo "16:49" "resolvido a questão de frações parciais")
# (find-mnu4euvideo "16:51" "da prova da forma mais clara possível, no")
# (find-mnu4euvideo "16:53" "seguinte sentido: eu esperava que a")
# (find-mnu4euvideo "16:56" "solução da questão de frações parciais")
# (find-mnu4euvideo "16:57" "de vocês fosse como uma explicação bem")
# (find-mnu4euvideo "16:59" "detalhada de como resolver aquele problema")
# (find-mnu4euvideo "17:01" "como se vocês estivessem ensinando")
# (find-mnu4euvideo "17:03" "frações parciais para alguém que ainda")
# (find-mnu4euvideo "17:05" "não entendeu direito.")
# (find-mnu4euvideo "17:08" "Eu disse também que deveria ser fácil")
# (find-mnu4euvideo "17:11" "entender cada \"=\" da solução de vocês...")
# (find-mnu4euvideo "17:13" "aqui tem um trechinho que eu deletei - e eu")
# (find-mnu4euvideo "17:16" "esperava que vocês tivessem relido e revisado")
# (find-mnu4euvideo "17:18" "várias vezes as soluções de vocês e")
# (find-mnu4euvideo "17:21" "reescrito as partes que não tivessem")
# (find-mnu4euvideo "17:23" "ficado claras quando vocês escreveram")
# (find-mnu4euvideo "17:24" "elas da primeira vez... e")
# (find-mnu4euvideo "17:26" "eu esperava que vocês mostrassem que")
# (find-mnu4euvideo "17:29" "tinham virado as pessoas que sabem")
# (find-mnu4euvideo "17:31" "frações parciais bastante bem.")
# (find-mnu4euvideo "17:34" "E na questão sobre integrar")
# (find-mnu4euvideo "17:38" "(sen x)^5 (cos x)^3")
# (find-mnu4euvideo "17:40" "várias pessoas fizeram")
# (find-mnu4euvideo "17:42" "uma coisa que me deixou BEM puto. Nas")
# (find-mnu4euvideo "17:45" "contas essas várias pessoas escreveram um")
# (find-mnu4euvideo "17:47" "\"-\" num lugar que deveria ter um \"vezes\" -")
# (find-mnu4euvideo "17:49" "todas cometeram o mesmo erro no mesmo lugar.")
# (find-mnu4euvideo "17:52" "E isso pra mim foi um sinal de que as pessoas")
# (find-mnu4euvideo "17:54" "não aprenderam o suficiente sobre aquela")
# (find-mnu4euvideo "17:56" "parte da matéria para conseguirem revisar")
# (find-mnu4euvideo "17:57" "aquelas contas - e que elas achavam que")
# (find-mnu4euvideo "18:00" "não precisava aprender, bastava copiar.")
# (find-mnu4euvideo "18:02" "E aí eu fui tirando pontos (...) a partir")
# (find-mnu4euvideo "18:06" "daí que eu já tinha as regras claras do que")
# (find-mnu4euvideo "18:08" "que eles precisavam fazer.")
# (find-mnu4euvideo "18:12" "E um outro comentários sobre Cálculo 2")
# (find-mnu4euvideo "18:14" "que é um outro truque que me")
# (find-mnu4euvideo "18:15" "ajudou muito a dar matéria um pouco mais")
# (find-mnu4euvideo "18:17" "rápido é que eu uso um operador de")
# (find-mnu4euvideo "18:19" "substituição que não é comum em livros...")
# (find-mnu4euvideo "18:23" "deixa eu mostrar um slide aqui, só um")
# (find-mnu4euvideo "18:25" "instantinho...")
# (find-mnu4euvideo "18:27" "- Não tou entendendo. Você tá falando de")
# (find-mnu4euvideo "18:29" "um programa ou da maneira que você")
# (find-mnu4euvideo "18:31" "apresenta em texto o seu material?")
# (find-mnu4euvideo "18:34" "- Eu uso muito essa operação daqui em")
# (find-mnu4euvideo "18:38" "Cálculo 2. Então: eu mostro")
# (find-mnu4euvideo "18:39" "pra eles que os livros vão fazer")
# (find-mnu4euvideo "18:42" "determinadas substituições usando um pouco")
# (find-mnu4euvideo "18:44" "de português desse jeito aqui, eu ensino")
# (find-mnu4euvideo "18:47" "pra eles essa sintaxe daqui, e aí a")
# (find-mnu4euvideo "18:50" "gente começa a usar essas sintaxe a beça.")
# (find-mnu4euvideo "18:52" "Ela serve para várias coisas: serve")
# (find-mnu4euvideo "18:57" "para testar hipóteses, serve pra gente")
# (find-mnu4euvideo "18:59" "procurar soluções pro chutar-e-testar,")
# (find-mnu4euvideo "19:02" "serve para gente pegar um teorema e a gente")
# (find-mnu4euvideo "19:04" "ver casos particulares dele, serve pra gente")
# (find-mnu4euvideo "19:08" "pegar uma hipótese e descobrir que")
# (find-mnu4euvideo "19:09" "ela tá furada porque um caso particular")
# (find-mnu4euvideo "19:11" "dela é mentira, coisa assim.")
# (find-mnu4euvideo "19:13" "E o tempo todo eu tou comparando essa")
# (find-mnu4euvideo "19:15" "notação que usa o operador de substituição")
# (find-mnu4euvideo "19:17" "com a notação em português. eu comecei a")
# (find-mnu4euvideo "19:22" "fazer isso porque eu vi que os alunos tinham")
# (find-mnu4euvideo "19:23" "MUITA dificuldade de fazer")
# (find-mnu4euvideo "19:25" "substituições. Por exemplo se eles tivessem")
# (find-mnu4euvideo "19:27" "que passar daqui para cá")
# (find-mnu4euvideo "19:30" "fazendo essa substuição daqui, um")
# (find-mnu4euvideo "19:32" "número incrível de alunos errava... então")
# (find-mnu4euvideo "19:34" "eu comecei a incluir muitos exercícios")
# (find-mnu4euvideo "19:36" "disso, e eu mantinha à minha disposição")
# (find-mnu4euvideo "19:39" "material extra que eu usava toda vez")
# (find-mnu4euvideo "19:42" "que eu via que as pessoas estavam com")
# (find-mnu4euvideo "19:43" "dificuldades nisso.")
# (find-mnu4euvideo "19:46" "Bom, então, voltando... tem uma coisa que eu")
# (find-mnu4euvideo "19:49" "quero enfatizar mais... que programas")
# (find-mnu4euvideo "19:51" "de computação simbólica usam")
# (find-mnu4euvideo "19:53" "substituição à beça e sabem trabalhar")
# (find-mnu4euvideo "19:55" "com expressões - por exemplo, se a gente")
# (find-mnu4euvideo "19:57" "diz que f é isso aqui")
# (find-mnu4euvideo "19:59" "então a valor da variável f passa a ser")
# (find-mnu4euvideo "20:02" "algo que o programa sabe imprimir desse")
# (find-mnu4euvideo "20:05" "jeito bonitinho em 2D...")
# (find-mnu4euvideo "20:07" "e se eu pego essa f e aplico o")
# (find-mnu4euvideo "20:09" "operador de subestação nela pedindo para")
# (find-mnu4euvideo "20:11" "trocar todas as ocorrências de x")
# (find-mnu4euvideo "20:14" "por y+z o resultado vai ser isso aqui...")
# (find-mnu4euvideo "20:16" "então essa operação não foi tirada do")
# (find-mnu4euvideo "20:19" "chapéu, ela aparece em vários lugares")
# (find-mnu4euvideo "20:21" "diferentes, às vezes em português, às vezes de")
# (find-mnu4euvideo "20:23" "jeito mais formais... então: aprendam, pô.")
# (find-mnu4euvideo "20:27" "Mais um detalhe sobre as provas e mini-testes")
# (find-mnu4euvideo "20:29" "era que eu sempre fazia eles")
# (find-mnu4euvideo "20:32" "em cima de problemas que a")
# (find-mnu4euvideo "20:34" "gente tava fazendo em aula. Os problemas")
# (find-mnu4euvideo "20:37" "que apareciam nas provas e mini-testes")
# (find-mnu4euvideo "20:38" "começaravam com exercícios (???) que a")
# (find-mnu4euvideo "20:41" "gente tava fazendo em aula mas as pessoas")
# (find-mnu4euvideo "20:44" "só tinham chegados até um determinado")
# (find-mnu4euvideo "20:46" "ponto do exercício,")
# (find-mnu4euvideo "20:48" "e os problemas dos mini-testes e")
# (find-mnu4euvideo "20:51" "provas iam bem mais adiante. Então as")
# (find-mnu4euvideo "20:53" "pessoas que tavam prestando atenção na aula")
# (find-mnu4euvideo "20:55" "e participando tinham um pouquinho de")
# (find-mnu4euvideo "20:57" "vantagem porque elas já tinham pensado")
# (find-mnu4euvideo "20:58" "naquilo e já tinham conseguido fazer uma parte")
# (find-mnu4euvideo "21:01" "do problema... e aí as pessoas iam ter que")
# (find-mnu4euvideo "21:03" "discutir entre si, ou sei lá o que, pra conseguir")
# (find-mnu4euvideo "21:06" "chegar na solução final. E eu sempre dava")
# (find-mnu4euvideo "21:08" "problemas que... ah, e eu sempre")
# (find-mnu4euvideo "21:12" "tava trabalhando assuntos que nenhum texto")
# (find-mnu4euvideo "21:13" "que eu conhecia explicava bem o")
# (find-mnu4euvideo "21:15" "suficiente... eu me referia a vários")
# (find-mnu4euvideo "21:17" "livros, notas de aula, e tal,")
# (find-mnu4euvideo "21:20" "mas eu sempre tava tentando")
# (find-mnu4euvideo "21:22" "complementar eles.")
# (find-mnu4euvideo "21:24" "Então, a maioria dos meus problemas")
# (find-mnu4euvideo "21:28" "eram problemas que complementavam o material")
# (find-mnu4euvideo "21:30" "dos livros, principalmente com coisas que")
# (find-mnu4euvideo "21:32" "eram dificuldades conceituais dos")
# (find-mnu4euvideo "21:35" "alunos, ou dificuldades de sintaxe, ou de")
# (find-mnu4euvideo "21:37" "visualização, coisas assim...")
# (find-mnu4euvideo "21:39" "e os problemas dos mini-testes e")
# (find-mnu4euvideo "21:42" "provas eram sempre isso, então os alunos")
# (find-mnu4euvideo "21:45" "tinham uma certa noção de que aquilo era")
# (find-mnu4euvideo "21:46" "importante, e eu tentava mostrar pra eles como")
# (find-mnu4euvideo "21:50" "é que aquilo ia ser importante depois.")
# (find-mnu4euvideo "21:53" "E o que aconteceu nos cursos é que em nenhum")
# (find-mnu4euvideo "21:56" "deles eu conseguir chegar até o fim")
# (find-mnu4euvideo "21:57" "da ementa ou do programa, principalmente")
# (find-mnu4euvideo "21:59" "em Cálculo 3, que eu vou falar um")
# (find-mnu4euvideo "22:01" "pouquinho agora. Cálculo 3 no PURO é um")
# (find-mnu4euvideo "22:04" "curso pequeno, com conteúdo pequeno,")
# (find-mnu4euvideo "22:07" "que é principalmenre sobre")
# (find-mnu4euvideo "22:08" "funções de R em R^n e funções de R^n em R.")
# (find-mnu4euvideo "22:11" "Eu uso o livro do Humberto Bortolossi para")
# (find-mnu4euvideo "22:14" "isso, eu scaneei alguns capítulos - o Humberto")
# (find-mnu4euvideo "22:17" "me autorizou, inclusive - e eu vi que os alunos")
# (find-mnu4euvideo "22:21" "dessa vez, quer dizer, agora nas aulas")
# (find-mnu4euvideo "22:23" "online, eles tinham uma dificuldade incrível de")
# (find-mnu4euvideo "22:25" "visualizar as figuras em R^3, e o que")
# (find-mnu4euvideo "22:28" "eu tinha que fazer com eles nesse curso")
# (find-mnu4euvideo "22:30" "era pegar determinadas coisas que")
# (find-mnu4euvideo "22:33" "o livro de Humberto Bortolossi fazia \"pra")
# (find-mnu4euvideo "22:36" "matemáticos\", com fórmulas, demonstrações e")
# (find-mnu4euvideo "22:39" "não sei que, e mostrar como é que a gente")
# (find-mnu4euvideo "22:40" "traduz aquilo \"pra engenheiros\", e as")
# (find-mnu4euvideo "22:43" "demonstrações \"pra engenheiros\" eram")
# (find-mnu4euvideo "22:45" "simplesmente modos de")
# (find-mnu4euvideo "22:46" "visualizar determinadas coisas que eram")
# (find-mnu4euvideo "22:50" "fáceis de generalizar,")
# (find-mnu4euvideo "22:53" "num sentido parecido com a figura que eu")
# (find-mnu4euvideo "22:55" "mostrei agora há pouco, aqui, em que a gente")
# (find-mnu4euvideo "22:57" "muda um parâmetro e a figura muda.")
# (find-mnu4euvideo "23:00" "Então, deixa eu ser mais específico. Quando")
# (find-mnu4euvideo "23:03" "eu vi que eles tinham muita dificuldade nisso")
# (find-mnu4euvideo "23:05" "eu recuei um pouco, voltei pra umas")
# (find-mnu4euvideo "23:07" "coisas que eles deveriam ter aprendido")
# (find-mnu4euvideo "23:09" "em Geometria Analítica, e disse:")
# (find-mnu4euvideo "23:12" "gente, eu não sei se vocês viram isso nos")
# (find-mnu4euvideo "23:14" "cursos de Geometria Analítica de vocês, que")
# (find-mnu4euvideo "23:16" "não sou eu mais que tou dando, agora são")
# (find-mnu4euvideo "23:18" "outras pessoas,")
# (find-mnu4euvideo "23:19" "mas toda vez que um livro fazia um desenho")
# (find-mnu4euvideo "23:21" "tipo esse aqui, pro cara do livro")
# (find-mnu4euvideo "23:24" "conseguir desenhar")
# (find-mnu4euvideo "23:25" "o problema direito na verdade ele pegou")
# (find-mnu4euvideo "23:28" "um caso particular em que o ponto P")
# (find-mnu4euvideo "23:31" "tinha um determinado valor, os vetores")
# (find-mnu4euvideo "23:33" "tinham determinados valores, alfa e beta")
# (find-mnu4euvideo "23:34" "tinham determinados valores, aí ele desenhou")
# (find-mnu4euvideo "23:37" "tudo direitinho, possivelmente calculando")
# (find-mnu4euvideo "23:39" "os pontos, usando computador, régua,")
# (find-mnu4euvideo "23:42" "sei lá o que mais, e depois ao invés")
# (find-mnu4euvideo "23:45" "dele escrever 2, 3, 2/3, -1, 1, etc")
# (find-mnu4euvideo "23:49" "ele escreveu P, u, v, alfa, beta...")
# (find-mnu4euvideo "23:53" "então, eu tive que trabalhar a beça")
# (find-mnu4euvideo "23:55" "com os alunos a idéia de como")
# (find-mnu4euvideo "23:57" "visualizar uma figura dessas, e aí eu fiz")
# (find-mnu4euvideo "24:00" "vários exercícios em que eu dava as instruções")
# (find-mnu4euvideo "24:02" "para fazer essas figuras, pedia alguns")
# (find-mnu4euvideo "24:05" "casos particulares pra eles entenderem")
# (find-mnu4euvideo "24:07" "como é que a figura ia ficar, e depois")
# (find-mnu4euvideo "24:09" "pedia pra eles fazerem o caso geral, no qual")
# (find-mnu4euvideo "24:10" "eles pegavam um dos casos particulares")
# (find-mnu4euvideo "24:12" "simplesmente trocavam os labels da figura")
# (find-mnu4euvideo "24:14" "por labels gerais... e eu acabei fazendo")
# (find-mnu4euvideo "24:18" "isso bastante em R^3 também para eles")
# (find-mnu4euvideo "24:20" "conseguirem visualizar o que estava")
# (find-mnu4euvideo "24:21" "acontecendo,")
# (find-mnu4euvideo "24:23" "mas não funcionou tão bem quanto")
# (find-mnu4euvideo "24:26" "nas aulas presenciais... as")
# (find-mnu4euvideo "24:29" "técnicas que eu tive que usar foram")
# (find-mnu4euvideo "24:30" "totalmente diferentes. Quando a gente")
# (find-mnu4euvideo "24:32" "fazia as aulas presenciais a gente passava")
# (find-mnu4euvideo "24:34" "vários dias de aula montando figuras em")
# (find-mnu4euvideo "24:36" "R^3 com arame e papel em grupo, e as")
# (find-mnu4euvideo "24:39" "pessoas iam aprendendo a indicar \"por")
# (find-mnu4euvideo "24:41" "mímica\", quer dizer, apontando com")
# (find-mnu4euvideo "24:43" "a caneta, pontos, retas e curvas nessas")
# (find-mnu4euvideo "24:46" "figuras usando a porta de um lápis")
# (find-mnu4euvideo "24:48" "_de jeitos que os colegas entendessem_...")
# (find-mnu4euvideo "24:51" "como eles estavam trabalhando em grupo eles")
# (find-mnu4euvideo "24:52" "tinham que aprender a fazer a mímica de um jeito")
# (find-mnu4euvideo "24:54" "que as outras pessoas entendessem exatamente")
# (find-mnu4euvideo "24:55" "o que eles estavam apontando.")
# (find-mnu4euvideo "24:57" "Então esse meu esquema pra")
# (find-mnu4euvideo "25:00" "aulas presenciais funcionava bem quando")
# (find-mnu4euvideo "25:02" "as aulas eram presenciais, agora eu tou")
# (find-mnu4euvideo "25:03" "tendo que mudar tudo e improvisar muito")
# (find-mnu4euvideo "25:05" "e criar muito material para tentar fazer")
# (find-mnu4euvideo "25:08" "os alunos aprenderem isso...")
# (find-mnu4euvideo "25:10" "e eu acabei sacrificando a parte final da")
# (find-mnu4euvideo "25:12" "ementa de Cálculo 3 para que os alunos")
# (find-mnu4euvideo "25:14" "aprendessem direito como montar... essa")
# (find-mnu4euvideo "25:16" "técnica das figuras nos casos gerais -")
# (find-mnu4euvideo "25:19" "como no slide anterior, mas em R^3 -")
# (find-mnu4euvideo "25:21" "eu acabei não copiando pra cá as figuras")
# (find-mnu4euvideo "25:23" "pra R^3.")
# (find-mnu4euvideo "25:27" "Uma parte importantíssima da parte")
# (find-mnu4euvideo "25:30" "final de Cálculo 3 era entender como é")
# (find-mnu4euvideo "25:33" "que funciona a aproximação de Taylor pra")
# (find-mnu4euvideo "25:35" "funções de R^2 em R, e depois")
# (find-mnu4euvideo "25:36" "generalizar pra mais dimensões... eles só")
# (find-mnu4euvideo "25:39" "conseguiram ver isso bem superficialmente")
# (find-mnu4euvideo "25:40" "porque eles não conseguiram ir muito além")
# (find-mnu4euvideo "25:42" "de plano tangente... e gente parou nisso.")
# (find-mnu4euvideo "25:47" "Então, eu fiquei morrendo de vergonha de:")
# (find-mnu4euvideo "25:49" "1. não ter coberto uma parte da matéria, e")
# (find-mnu4euvideo "25:52" "2. ter aprovado um monte de gente de colou")
# (find-mnu4euvideo "25:53" "porque eu não tinha bons mecanismos de")
# (find-mnu4euvideo "25:56" "detectar quem tava colando nas provas, e")
# (find-mnu4euvideo "25:58" "eu não consegui fazer mecanismos incríveis")
# (find-mnu4euvideo "26:01" "de ter bancos de questões gigantescos,")
# (find-mnu4euvideo "26:04" "corrigir milhões de")
# (find-mnu4euvideo "26:05" "provas diferentes e tal...")
# (find-mnu4euvideo "26:08" "Maaas não acho que os meus cursos tenham sido")
# (find-mnu4euvideo "26:10" "uma catástrofe porque: 1. TALVEZ eu tenha")
# (find-mnu4euvideo "26:14" "conseguido preparar o material didático")
# (find-mnu4euvideo "26:15" "de Cálculo 2 e Cálculo 3 que corresponda a")
# (find-mnu4euvideo "26:17" "dificuldades que os professores também")
# (find-mnu4euvideo "26:19" "tão tendo, e 2. problemas que os")
# (find-mnu4euvideo "26:22" "alunos levaram quatro aulas para resolver")
# (find-mnu4euvideo "26:24" "dessa vez - porque eu tive que preparar um")
# (find-mnu4euvideo "26:26" "monte de sub-exercícios, dicas, vídeos, etc")
# (find-mnu4euvideo "26:29" "talvez virem exercícios que vão tomar")
# (find-mnu4euvideo "26:32" "menos de uma aula no semestre que vem...")
# (find-mnu4euvideo "26:34" "e: 3. eu - que ando com")
# (find-mnu4euvideo "26:37" "habilidades sociais bem ruins - consiga")
# (find-mnu4euvideo "26:40" "criar uma rede de pessoas que estão")
# (find-mnu4euvideo "26:41" "\"trabalhando juntas\" pelo")
# (find-mnu4euvideo "26:44" "menos no sentido da gente usar com")
# (find-mnu4euvideo "26:45" "frequência coisas tipo \"faça o exercício 3")
# (find-mnu4euvideo "26:48" "do slide 42 do Fulano de Tal\"... se eu")
# (find-mnu4euvideo "26:51" "tiver acesso a um monte de gente que tá")
# (find-mnu4euvideo "26:54" "disponibilizando o seu material todo")
# (find-mnu4euvideo "26:56" "online fica fácil fazer isso - por")
# (find-mnu4euvideo "26:58" "enquanto eu usei notas de aula de muito")
# (find-mnu4euvideo "26:59" "poucas pessoas... eu usei muito as notas")
# (find-mnu4euvideo "27:02" "de aula de um cara da USP que faz coisas de")
# (find-mnu4euvideo "27:06" "integração de um jeito bem pra matemáticos,")
# (find-mnu4euvideo "27:09" "e eu pedia pra eles traduzirem isso fazendo")
# (find-mnu4euvideo "27:10" "as figuras que faltavam, coisas assim, mas eles")
# (find-mnu4euvideo "27:12" "ficavam apavorados com o tom matemático daquilo.")
# (find-mnu4euvideo "27:16" "- Eduardo, posso falar um pouco sobre esse tema?")
# (find-mnu4euvideo "27:19" "Justamente a gente criou uma pasta no")
# (find-mnu4euvideo "27:22" "Google Drive... a ideia é criar dentro dela")
# (find-mnu4euvideo "27:25" "subpastas por disciplina, grosso modo")
# (find-mnu4euvideo "27:28" "por itens de interesse, e as pessoas subirem")
# (find-mnu4euvideo "27:30" "pra lá materiais pra compartilhamento. Uma")
# (find-mnu4euvideo "27:32" "das coisas que pode ser posta lá é uma")
# (find-mnu4euvideo "27:34" "planilha com links pra caso os")
# (find-mnu4euvideo "27:37" "materiais estejam disponíveis em páginas")
# (find-mnu4euvideo "27:39" "botar os links pras páginas... então isso")
# (find-mnu4euvideo "27:40" "que você quer poderia gerar um índice lá")
# (find-mnu4euvideo "27:42" "que joga pra outros lugares... porque")
# (find-mnu4euvideo "27:45" "de fato o Brasil fez um banco")
# (find-mnu4euvideo "27:48" "de questões gigante - se a gente juntar nós")
# (find-mnu4euvideo "27:50" "todos a gente fez um banco de questões")
# (find-mnu4euvideo "27:52" "gigante no último ano, né, e a gente")
# (find-mnu4euvideo "27:56" "pode, eu posso pegar a prova do torneio")
# (find-mnu4euvideo "27:58" "no semestre passado, você pode pegar a")
# (find-mnu4euvideo "28:00" "minha, etc... é só que essa informação tá")
# (find-mnu4euvideo "28:02" "dispersa. Se a gente pudesse compilar algum")
# (find-mnu4euvideo "28:04" "tipo de index dessas coisas")
# (find-mnu4euvideo "28:08" "ainda que parcial todo mundo tem muito")
# (find-mnu4euvideo "28:11" "a ganhar nem que seja prova pronta da")
# (find-mnu4euvideo "28:13" "PUC para mim é uma prova inédita, posso")
# (find-mnu4euvideo "28:15" "aplicar, sabe, tem um ganho de escala")
# (find-mnu4euvideo "28:16" "gigante que tá subaproveitado.")
# (find-mnu4euvideo "28:19" "- Vamos tentar sim! - Você tem toda razão,")
# (find-mnu4euvideo "28:21" "puxa essa, cara, pega essa pra você liderar!")
# (find-mnu4euvideo "28:23" "- Beleza! - Hein? Hein? Hein?")
# (find-mnu4euvideo "28:27" "- Deixa eu só terminar isso aqui, que")
# (find-mnu4euvideo "28:28" "se não me engano é o último slide...")
# (find-mnu4euvideo "28:29" "E além disso, além da gente")
# (find-mnu4euvideo "28:32" "conseguir fazer essa rede de trocar")
# (find-mnu4euvideo "28:34" "material acho que a gente vai conseguir")
# (find-mnu4euvideo "28:36" "aprender outras coisas também. Eu tou")
# (find-mnu4euvideo "28:38" "começando a aprender a legendar vídeos...")
# (find-mnu4euvideo "28:40" "tem alguns vídeos do Mathologer,")
# (find-mnu4euvideo "28:43" "que é esse cara daqui, que eu achei")
# (find-mnu4euvideo "28:45" "maravilhosos...")
# (find-mnu4euvideo "28:46" "tem outro cara que tem animações não tão")
# (find-mnu4euvideo "28:49" "boas e que é meio chato falando,")
# (find-mnu4euvideo "28:51" "que é o 3Blue1Brown, mas ele botou no Github")
# (find-mnu4euvideo "28:55" "todas as bibliotecas que ele fez pra gerar")
# (find-mnu4euvideo "28:59" "as animações dele, e outras pessoas pegaram")
# (find-mnu4euvideo "29:01" "aquilo e fizeram uma versão mais")
# (find-mnu4euvideo "29:02" "legível e mais fácil de usar, disponível")
# (find-mnu4euvideo "29:04" "para a comunidade, da versão original...")
# (find-mnu4euvideo "29:07" "então a versão original tá meio suja, e tem uma")
# (find-mnu4euvideo "29:09" "versão \"comunidade\" um pouco mais fácil de usar...")
# (find-mnu4euvideo "29:12" "mas é em Python, e como eu tenho um pouquinho de")
# (find-mnu4euvideo "29:13" "bloqueio mental com Python então eu tou indo")
# (find-mnu4euvideo "29:16" "devagar nisso. Além disso a gente")
# (find-mnu4euvideo "29:19" "vai acabar aprendendo os truques de laTeX")
# (find-mnu4euvideo "29:21" "uns dos outros, né, eu aprendi mil truques")
# (find-mnu4euvideo "29:23" "maravilhosos de LaTeX, por exemplo,")
# (find-mnu4euvideo "29:24" "hoje em dia eu consigo fazer")
# (find-mnu4euvideo "29:27" "isso aqui em papel num instante, depois")
# (find-mnu4euvideo "29:30" "passar pro computador, transformar em")
# (find-mnu4euvideo "29:32" "uma coisa em alto contraste exatamente")
# (find-mnu4euvideo "29:34" "do jeito certo para ficar super legal assim")
# (find-mnu4euvideo "29:36" "e depois fazer o LaTeX incluir a figura...")
# (find-mnu4euvideo "29:41" "e, deixa eu ver...")
# (find-mnu4euvideo "29:43" "ah, é isso. Então, aqui tem o link da minha")
# (find-mnu4euvideo "29:47" "página que tem tudo sobre essas aulas")
# (find-mnu4euvideo "29:49" "por Telegram,")
# (find-mnu4euvideo "29:50" "inclusive")
# (find-mnu4euvideo "29:52" "as páginas das minha duas turmas...")
# (find-mnu4euvideo "29:57" "e eu botei também um link [...] minha câmera")
# (find-mnu4euvideo "30:00" "tá quebrada, ninguém viu a minha cara, mas")
# (find-mnu4euvideo "30:03" "se alguém quiser tem um link com fotos")
# (find-mnu4euvideo "30:04" "minhas com a minha a cachorrinha lá e as")
# (find-mnu4euvideo "30:06" "pessoas conseguem ver como eu sou. É isso.")
# (find-mnu4euvideo "30:08" "- Interessante! - Eduardo? - Oi.")
# (find-mnu4euvideo "30:15" "- Humberto. Qual é o tamanho dessas turmas?")
# (find-mnu4euvideo "30:17" "- Deixa eu ver... se não me engano")
# (find-mnu4euvideo "30:21" "50 alunos em Cálculo 3")
# (find-mnu4euvideo "30:26" "e 40 em cada uma de Cálculo 2.")
# (find-mnu4euvideo "30:30" "- Que você falou aqui e eu me lembrei como")
# (find-mnu4euvideo "30:34" "é que se faz para evitar... aqui a gente")
# (find-mnu4euvideo "30:36" "chama pescagem, aí você chamam de colar, né?")
# (find-mnu4euvideo "30:40" "Acho que lá na Paraíba e Pernambuco o pessoal")
# (find-mnu4euvideo "30:42" "chama filar, mas enfim...")
# (find-mnu4euvideo "30:45" "uma coisa que eu fiz aqui - mas minhas")
# (find-mnu4euvideo "30:47" "turmas são pequenas,")
# (find-mnu4euvideo "30:49" "20, às vezes até menos...")
# (find-mnu4euvideo "30:53" "eu incentivei a cola, a pesca...")
# (find-mnu4euvideo "30:57" "em que sentido: eles... as provas eu")
# (find-mnu4euvideo "31:00" "individualizer e pedir que eles gravassem")
# (find-mnu4euvideo "31:02" "eles resolvendo... e liberei")
# (find-mnu4euvideo "31:06" "total, podem conversar um com o outro")
# (find-mnu4euvideo "31:08" "pode ajudar, devem um ajudar o outro... eu")
# (find-mnu4euvideo "31:10" "percebi que isso funcionou porque mesmo")
# (find-mnu4euvideo "31:13" "que não tenha sido originalmente a")
# (find-mnu4euvideo "31:15" "solução dele ele teve que aprender pra")
# (find-mnu4euvideo "31:17" "explicar, tá entendendo? Isso ficou")
# (find-mnu4euvideo "31:20" "legal... só um testemunho que eu queria dar")
# (find-mnu4euvideo "31:22" "para vocês... mas turmas pequenas, né?")
# (find-mnu4euvideo "31:24" "- Eu fiquei com medo de serem 50 vídeos...")
# (find-mnu4euvideo "31:29" "mas continua. - Não, é só isso. Eu imagino")
# (find-mnu4euvideo "31:34" "que numa turma grande fica difícil,")
# (find-mnu4euvideo "31:36" "porque pra gente assistir esses")
# (find-mnu4euvideo "31:37" "vídeos...")
# (find-mnu4euvideo "31:42" "- Eduardo, tem uma coisa que eu acho muito")
# (find-mnu4euvideo "31:44" "engraçada nisso que você fez... eu tenho")
# (find-mnu4euvideo "31:45" "uma certa birra com técnicas de")
# (find-mnu4euvideo "31:47" "integração por outro, por outro lado... aliás,")
# (find-mnu4euvideo "31:51" "não sei, você quer tirar o share screen?")
# (find-mnu4euvideo "31:52" "De repente a gente vê mais os rostos da gente...")
# (find-mnu4euvideo "31:55" "- Deixa eu ver como é que eu faço isso...")
# (find-mnu4euvideo "31:57" "- Eu acho que se você apagar... vai no share screen")
# (find-mnu4euvideo "32:01" "- Hm, não, não lembrei, socorro...")
# (find-mnu4euvideo "32:06" "- Vai no share screen e cancela - eu acho.")
# (find-mnu4euvideo "32:10" "- O problema é: onde é o share screen?")
# (find-mnu4euvideo "32:14" "- Embaixo da sua tela.")
# (find-mnu4euvideo "32:15" "- Ah, achei um Stop Sharing! Tá em cima ao invés")
# (find-mnu4euvideo "32:18" "de estar embaixo.")
# (find-mnu4euvideo "32:19" "- Mas o que eu queria comentar é o seguinte.")
# (find-mnu4euvideo "32:22" "Uma das razões porque técnicas de integração é")
# (find-mnu4euvideo "32:24" "um assunto provavelmente [...]")
# (find-mnu4euvideo "32:27" "tá passando alguns algebrismos que")
# (find-mnu4euvideo "32:30" "não tem nada a ver com técnicas de")
# (find-mnu4euvideo "32:31" "integração. Frações parciais, por")
# (find-mnu4euvideo "32:34" "exemplo, é um exemplo espetacular.")
# (find-mnu4euvideo "32:37" "Por exemplo, se você quer somar")
# (find-mnu4euvideo "32:40" "o inverso dos quadrados você")
# (find-mnu4euvideo "32:42" "tem que ser um Euler, tá, pra saber que a")
# (find-mnu4euvideo "32:44" "soma do inverso dos quadrados dá (pi^2)/6...")
# (find-mnu4euvideo "32:46" "mas se você quiser somar 1/1*2 + 1/2*3 + ...")
# (find-mnu4euvideo "32:49" "o que você tem que usar é frações")
# (find-mnu4euvideo "32:54" "parciais, que a gente, aliás, justamente, dentro")
# (find-mnu4euvideo "32:57" "daquela tradição de que somar é muito mais difícil")
# (find-mnu4euvideo "32:59" "que integrar, a gente não faz, a gente só usa")
# (find-mnu4euvideo "33:02" "o truque da fração parcial pra depois sair")
# (find-mnu4euvideo "33:03" "integrando funções que depois nunca mais")
# (find-mnu4euvideo "33:05" "vai ver na vida. Aliás, um outro exemplo")
# (find-mnu4euvideo "33:07" "Espetacular são números complexos, né?")
# (find-mnu4euvideo "33:09" "O algebrismo associado aos números complexos")
# (find-mnu4euvideo "33:11" "tá resolvendo muita integral por aí, tá certo?")
# (find-mnu4euvideo "33:13" "E eu usei esse pretexto esfarrapado")
# (find-mnu4euvideo "33:15" "na verdade pra ensinar complexos na minha aula")
# (find-mnu4euvideo "33:17" "de Cálculo 1. Mais do que isso,")
# (find-mnu4euvideo "33:20" "a gente sabe que algebrismo é... o que")
# (find-mnu4euvideo "33:22" "você tá dizendo, né? Trocar o x por alguma coisa,")
# (find-mnu4euvideo "33:24" "compor funções... as cáries tradicionais")
# (find-mnu4euvideo "33:29" "de uma boa parte dos nossos alunos, tá.")
# (find-mnu4euvideo "33:31" "Então: eu achei surpreendente, você na")
# (find-mnu4euvideo "33:33" "verdade pegou meu bode expiatório")
# (find-mnu4euvideo "33:35" "favorito, que é técnicas de integração,")
# (find-mnu4euvideo "33:37" "para treinar coisas que eles deveriam estar")
# (find-mnu4euvideo "33:40" "sabendo de Álgebra, que a gente infelizmente")
# (find-mnu4euvideo "33:41" "finge que ele sabem mas não toma...")
# (find-mnu4euvideo "33:44" "não assume a responsabilidade. Achei esse")
# (find-mnu4euvideo "33:47" "um ponto de vista muito original.")
# (find-mnu4euvideo "33:49" "- Oba, obrigado! - De quebra você ainda ganhou")
# (find-mnu4euvideo "33:51" "aquele brinde, né, no que você bota o computador")
# (find-mnu4euvideo "33:53" "em ação eles começam a pensar de forma")
# (find-mnu4euvideo "33:55" "sintaticamente correta, param de ficar dizendo")
# (find-mnu4euvideo "33:58" "\"ele\" e \"isso\". - É, e eles começam a entender")
# (find-mnu4euvideo "34:01" "que as expressões são árvores, começam a entender")
# (find-mnu4euvideo "34:03" "alguma sintaxe precisa, coisa assim...")
# (find-mnu4euvideo "34:06" "- Cara, eu acho incrível como a gente não fala:")
# (find-mnu4euvideo "34:08" "ó, tem os Legos, as peças")
# (find-mnu4euvideo "34:10" "fundamentais podem ser funções contínuas,")
# (find-mnu4euvideo "34:12" "funções deriváveis, funções")
# (find-mnu4euvideo "34:13" "analíticas, e agora você faz operações")
# (find-mnu4euvideo "34:15" "mais esquisitas e você preserva isso...")
# (find-mnu4euvideo "34:18" "o fato de que você não desmonta funções...")
# (find-mnu4euvideo "34:22" "eu acho criminoso... realmente a idéia")
# (find-mnu4euvideo "34:25" "da função como uma árvore para mim é")
# (find-mnu4euvideo "34:26" "fundamental.")
# (find-mnu4euvideo "34:28" "Aliás um exemplo espetacular disso é")
# (find-mnu4euvideo "34:30" "o curso de Álgebra Linear que não deixa")
# (find-mnu4euvideo "34:32" "você refletir por um espelho que não")
# (find-mnu4euvideo "34:33" "passa pela origem...")
# (find-mnu4euvideo "34:35" "acho gravíssimo! A idéia de que se um espelho")
# (find-mnu4euvideo "34:38" "não estiver passando pela origem você translada")
# (find-mnu4euvideo "34:40" "reflete e depois traz de volta... nossa,")
# (find-mnu4euvideo "34:43" "é um crime! Porque é que que os matemáticos")
# (find-mnu4euvideo "34:47" "não podem usar composição? Porque é que eles")
# (find-mnu4euvideo "34:49" "têm que aprender isso em Computação")
# (find-mnu4euvideo "34:50" "Gráfica? Essa é uma das grandes perguntas.")
# (find-mnu4euvideo "34:55" "Então, achei muito interessante você")
# (find-mnu4euvideo "34:57" "abrir mão de certas... justamente, de não")
# (find-mnu4euvideo "35:00" "discutir a funtorialidade da Hessiana, e de")
# (find-mnu4euvideo "35:02" "repente tá lá focado em duas ou três questões.")
# (find-mnu4euvideo "35:04" "- Deixa eu só mostrar mais uma coisa que")
# (find-mnu4euvideo "35:07" "saiu ontem? Não, anteontem... eu")
# (find-mnu4euvideo "35:09" "fiz uma mini apresentação pra")
# (find-mnu4euvideo "35:12" "três pessoas do meu departamento")
# (find-mnu4euvideo "35:14" "pra gente discutir essas idéias, e")
# (find-mnu4euvideo "35:18" "quando eu mostrei que nos meus slides eu")
# (find-mnu4euvideo "35:21" "frequentemente defino")
# (find-mnu4euvideo "35:23" "funções assim")
# (find-mnu4euvideo "35:27" "A Ana Isabel, minha colega de departamento,")
# (find-mnu4euvideo "35:29" "ficou revoltada... peraí, deixa eu só terminar")
# (find-mnu4euvideo "35:33" "a minha figurinha. Ela disse que nos")
# (find-mnu4euvideo "35:35" "cursos dela ela proíbe isso e explicou porquê,")
# (find-mnu4euvideo "35:38" "disse que isso aqui não é uma função, é a")
# (find-mnu4euvideo "35:40" "representação gráfica de uma função, e a")
# (find-mnu4euvideo "35:42" "gente teve uma discussão sobre fundamentos -")
# (find-mnu4euvideo "35:44" "que linguagem exatamente a gente")
# (find-mnu4euvideo "35:46" "está usando, e... eu tento ser bem preciso a")
# (find-mnu4euvideo "35:49" "respeito de que linguagem eu tou usando,")
# (find-mnu4euvideo "35:50" "e para mim o abuso de linguagem")
# (find-mnu4euvideo "35:54" "que me permite dizer que a função é isso")
# (find-mnu4euvideo "35:56" "aqui é muito muito parecido com o abuso de")
# (find-mnu4euvideo "35:58" "linguagem que diz que")
# (find-mnu4euvideo "36:00" "isso aqui tá bem definido,")
# (find-mnu4euvideo "36:04" "isso aqui... - Desculpa, Eduardo, nós não")
# (find-mnu4euvideo "36:07" "tamos vendo! Não tamos vendo. - Ai, que")
# (find-mnu4euvideo "36:10" "burrice! - Não, não, fica frio, até agora")
# (find-mnu4euvideo "36:13" "tinha dado pra entender, agora você apontou")
# (find-mnu4euvideo "36:15" "isso aqui e virou ele.")
# (find-mnu4euvideo "36:17" " - Ai, que vergonha... pareço aluno!")
# (find-mnu4euvideo "36:30" "Agora dá pra ver? - Vai!")
# (find-mnu4euvideo "36:32" "- Tá.")
# (find-mnu4euvideo "36:35" "Então aqui tem uma coisa que eu faço a")
# (find-mnu4euvideo "36:37" "beça, que é que eu defino funcões dizendo")
# (find-mnu4euvideo "36:40" "que f(x) é não sei que, e a Ana Isabel")
# (find-mnu4euvideo "36:41" "ficou revoltada com duas coisas, que ela")
# (find-mnu4euvideo "36:43" "evita isso ao máximo... primeiro: que eu")
# (find-mnu4euvideo "36:45" "escrevi f(x) ao invés de escrever só f...")
# (find-mnu4euvideo "36:49" "e eu aprendi a fazer isso - deu um")
# (find-mnu4euvideo "36:51" "trabalhão, isso aqui é o que eu chamo de")
# (find-mnu4euvideo "36:52" "\"notação de físicos\", e é super difícil")
# (find-mnu4euvideo "36:54" "encontrar boas formalizações disso. Hoje")
# (find-mnu4euvideo "36:56" "em dia eu tenho meia dúzia de links sobre")
# (find-mnu4euvideo "36:58" "como é que a gente formaliza isso direitinho.")
# (find-mnu4euvideo "37:01" "Então, lembrem que quando a gente define um")
# (find-mnu4euvideo "37:03" "conjunto desse jeito, com essas")
# (find-mnu4euvideo "37:05" "reticências aqui, todo mundo entende...")
# (find-mnu4euvideo "37:07" "quando a gente faz isso aqui")
# (find-mnu4euvideo "37:10" "desse jeito aqui")
# (find-mnu4euvideo "37:14" "algumas pessoas podem ficar em dúvida")
# (find-mnu4euvideo "37:16" "a respeito do que que a gente quer dizer e")
# (find-mnu4euvideo "37:17" "quando a gente define esse conjunto")
# (find-mnu4euvideo "37:20" "desse jeito")
# (find-mnu4euvideo "37:22" "mais pessoas vão ficar em dúvida. Então o")
# (find-mnu4euvideo "37:25" "que a gente faz é o seguinte: a gente")
# (find-mnu4euvideo "37:26" "diz que essas notações aqui")
# (find-mnu4euvideo "37:28" "são aceitáveis quando não tem ambiguidade")
# (find-mnu4euvideo "37:31" "a respeito do que que elas querem dizer.")
# (find-mnu4euvideo "37:33" "E eu faço o mesmo truque aqui: eu digo que")
# (find-mnu4euvideo "37:36" "uma expressão dessas pode ser")
# (find-mnu4euvideo "37:38" "interpretada como uma função quando não")
# (find-mnu4euvideo "37:39" "houver ambiguidade, quanto o desenho estiver")
# (find-mnu4euvideo "37:41" "realmente bem feito, e aí a gente tem que")
# (find-mnu4euvideo "37:43" "discutir um pouquinho sobre o que é um")
# (find-mnu4euvideo "37:45" "desenho bem feito, como é que a gente faz")
# (find-mnu4euvideo "37:47" "pra desenhos serem claros, como os alunos...")
# (find-mnu4euvideo "37:50" "como eu trabalho muito com funções")
# (find-mnu4euvideo "37:51" "definidas por casos, os alunos... a gente")
# (find-mnu4euvideo "37:56" "acaba tendo que discutir funções descritas")
# (find-mnu4euvideo "37:58" "desse jeito, eu tenho que ver os desenhos")
# (find-mnu4euvideo "37:59" "que os alunos fazem, às vezes os desenhos")
# (find-mnu4euvideo "38:01" "são ambíguos, e leva um tempinho para eles")
# (find-mnu4euvideo "38:04" "descobrirem que eles podem...")
# (find-mnu4euvideo "38:06" "que eles podem colocar coordenadas,")
# (find-mnu4euvideo "38:10" "que eles podem dizer que isso aqui é o")
# (find-mnu4euvideo "38:11" "ponto (2,2), etc, pra reduzir a ambiguidade,")
# (find-mnu4euvideo "38:14" "e aí eles podem fazer um desenho")
# (find-mnu4euvideo "38:16" "todo torto mas que todo mundo vai")
# (find-mnu4euvideo "38:17" "entender...")
# (find-mnu4euvideo "38:18" "então tem um monte de... - Mil questões!")
# (find-mnu4euvideo "38:21" "- detalhes de linguagem... quê?")
# (find-mnu4euvideo "38:25" "- Eu detesto quando o professor de Cálculo")
# (find-mnu4euvideo "38:26" "pergunta se 1/x é contínua.")
# (find-mnu4euvideo "38:29" "Isso para mim você devia chamar um")
# (find-mnu4euvideo "38:31" "advogado pra responder a esse professor!")
# (find-mnu4euvideo "38:34" "É o mesmo professor que diz que se uma")
# (find-mnu4euvideo "38:37" "função tiver derivada positiva ela é")
# (find-mnu4euvideo "38:40" "crescente e aí, justamente, a coitada da")
# (find-mnu4euvideo "38:43" "função que funciona em dois")
# (find-mnu4euvideo "38:45" "intervalos diferentes tapeia o sujeito")
# (find-mnu4euvideo "38:48" "mas o cara acha que tá falando na moral.")
# (find-mnu4euvideo "38:50" "A quantidade de abuso de linguagem que a")
# (find-mnu4euvideo "38:53" "gente faz é tão constrangedora... aliás,")
# (find-mnu4euvideo "38:56" "pela milésima vez na vida eu lembro do")
# (find-mnu4euvideo "38:59" "Thurston, que já provou mais de um teorema")
# (find-mnu4euvideo "39:01" "na vida dele, quando ele dizia que fazer")
# (find-mnu4euvideo "39:04" "programas muitas vezes é mais difícil do")
# (find-mnu4euvideo "39:06" "que demonstrar teoremas, porque o")
# (find-mnu4euvideo "39:08" "programa exige muito mais cuidado com a")
# (find-mnu4euvideo "39:10" "linguagem. - Agora eu tou tentando aprender")
# (find-mnu4euvideo "39:13" "a usar Proof Assistants e formalizar em uma")
# (find-mnu4euvideo "39:16" "espécie de linguagem de programação as")
# (find-mnu4euvideo "39:17" "demonstrações que eu tou fazendo, e tou")
# (find-mnu4euvideo "39:20" "apanhando muito...")
# (find-mnu4euvideo "39:21" "- É, é uma questão enorme, né. Muito")
# (find-mnu4euvideo "39:24" "interessante, Eduardo!")
# (find-mnu4euvideo "39:27" "- Vou chamar a bola de volta pra")
# (find-mnu4euvideo "39:29" "pauta executiva, né. Então, dentre os")
# (find-mnu4euvideo "39:33" "pontos que foram levantados aqui pelo")
# (find-mnu4euvideo "39:35" "Eduardo eu vejo espaço pra gente ter")
# (find-mnu4euvideo "39:37" "talvez dois ganhos aqui. A gente pode")
# (find-mnu4euvideo "39:42" "falar: que maravilha vamos reformar tudo...")
# (find-mnu4euvideo "39:44" "o ponto é: a gente está lidando com um")
# (find-mnu4euvideo "39:46" "horizonte que todos nós, ainda mais no ensino")
# (find-mnu4euvideo "39:48" "remoto, tamos com cansaço de tela, tá todo")
# (find-mnu4euvideo "39:50" "mundo sobrecarregado, então a gente")
# (find-mnu4euvideo "39:52" "deveria também aproveitar esse encontro,")
# (find-mnu4euvideo "39:53" "eu acho, pra ter ganhos de escala")
# (find-mnu4euvideo "39:55" "nisso que a gente quer fazer")
# (find-mnu4euvideo "39:56" "dividindo, paralelizando o trabalho...")
# (find-mnu4euvideo "39:59" "e acho que o Eduardo tocou num ponto bom")
# (find-mnu4euvideo "40:03" "aí, tão simples quanto: vamos fazer um")
# (find-mnu4euvideo "40:06" "índice de...")
# (find-mnu4euvideo "40:08" "um banco de questões nacional,")
# (find-mnu4euvideo "40:10" "ou alguma coisa que se pareça com isso")
# (find-mnu4euvideo "40:13" "usando nossa plataforma no Google Drive...")
# (find-mnu4euvideo "40:15" "se o Eduardo quiser puxar essa daí ele já")
# (find-mnu4euvideo "40:18" "mostrou que ele tem interesse, tem uma proposta")
# (find-mnu4euvideo "40:19" "de valor pra ele se ele quiser levar isso")
# (find-mnu4euvideo "40:21" "adiante a gente ajuda localmente cada um")
# (find-mnu4euvideo "40:23" "na sua instituição, vamos subir pra lá porque")
# (find-mnu4euvideo "40:25" "a prova repetida minha é prova novidade")
# (find-mnu4euvideo "40:27" "para vocês, e nesse a gente pode pegar")
# (find-mnu4euvideo "40:29" "a prova de Harvard e botar lá também...")
# (find-mnu4euvideo "40:31" "que é igualzinho, certo? Quase... e aí")
# (find-mnu4euvideo "40:36" "uma outra ideia que acho que tem")
# (find-mnu4euvideo "40:39" "também um ganho de escala... tendo bons")
# (find-mnu4euvideo "40:42" "banco de questões a gente pode começar a")
# (find-mnu4euvideo "40:44" "partir pro horizontes das provas que se")
# (find-mnu4euvideo "40:46" "auto corrigem, porque a correção de prova...")
# (find-mnu4euvideo "40:48" "é muito exaustivo por extenso e não")
# (find-mnu4euvideo "40:50" "necessariamente ela tem... uma prova de")
# (find-mnu4euvideo "40:53" "redação por extenso inteira tem todo o")
# (find-mnu4euvideo "40:55" "poder avaliativo - um bom \"verdadeiro ou")
# (find-mnu4euvideo "40:57" "falso\" bem montado tem correção")
# (find-mnu4euvideo "40:59" "automática, né, imediato se for montado no")
# (find-mnu4euvideo "41:02" "Google Forms, e a gente poderia economizar")
# (find-mnu4euvideo "41:05" "bastante tempo. Agora, qual que é")
# (find-mnu4euvideo "41:07" "o desafio? Ter boas questões, tem a")
# (find-mnu4euvideo "41:10" "questão de trabalho original, então tendo")
# (find-mnu4euvideo "41:12" "um grande número de... todo mundo")
# (find-mnu4euvideo "41:14" "trabalhando, por exemplo, e, questões de")
# (find-mnu4euvideo "41:16" "verdadeiro ou falso (...) elementares a")
# (find-mnu4euvideo "41:19" "gente pode ter aí provas customizadas pros")
# (find-mnu4euvideo "41:21" "alunos. Outro Horizonte são as provas")
# (find-mnu4euvideo "41:23" "que são intrinsecamente customizadas, em")
# (find-mnu4euvideo "41:25" "que os parâmetros da prova dependendem do")
# (find-mnu4euvideo "41:27" "número de matrícula do aluno, por exemplo,")
# (find-mnu4euvideo "41:29" "ou do nome do aluno. O que que eu tou")
# (find-mnu4euvideo "41:31" "pensando? Testes, talvez, que se corrijam")
# (find-mnu4euvideo "41:33" "sozinhos... o trabalho inicial é grande")
# (find-mnu4euvideo "41:35" "e por isso ele faz sentido ser paralelizado.")
# (find-mnu4euvideo "41:39" "Uma vez feito ele")
# (find-mnu4euvideo "41:42" "economiza tempo de todo mundo com")
# (find-mnu4euvideo "41:43" "tarefas repetitivas... e aí quando eu")
# (find-mnu4euvideo "41:45" "quiser olhar pra questões dissertativas")
# (find-mnu4euvideo "41:47" "tudo bem - aí eu posso fazer uma prova só")
# (find-mnu4euvideo "41:50" "dissertativa, mas a última do curso,")
# (find-mnu4euvideo "41:51" "também, certo... a gente tem muito")
# (find-mnu4euvideo "41:54" "trabalho nós também à toa por questões")
# (find-mnu4euvideo "41:59" "que são fáceis de redigir e")
# (find-mnu4euvideo "42:01" "difíceis de corrigir, então tem um espaço")
# (find-mnu4euvideo "42:02" "aí para gente ganhar em conjunto. Por fim")
# (find-mnu4euvideo "42:06" "uma experiência que eu tive boa em")
# (find-mnu4euvideo "42:08" "Cálculo 1 uma vez que eu fiz com colega...")
# (find-mnu4euvideo "42:10" "que depois a minha relação com o colega")
# (find-mnu4euvideo "42:13" "deteriorou e não deu pra fazer de novo.")
# (find-mnu4euvideo "42:15" "A gente tinha, em turmas")
# (find-mnu4euvideo "42:17" "que não sejam tão grandes, sei lá,")
# (find-mnu4euvideo "42:19" "acha que até 40 alunos,")
# (find-mnu4euvideo "42:21" "dá para fazer o seguinte: a gente divide os")
# (find-mnu4euvideo "42:23" "caras em equipes de 4 alunos e eles tinham")
# (find-mnu4euvideo "42:25" "que fazer 4 questões, então eles tinham um")
# (find-mnu4euvideo "42:28" "tempo para discutir as questões e depois eles")
# (find-mnu4euvideo "42:30" "redigiam - cada um escrevia uma questão,")
# (find-mnu4euvideo "42:33" "a gente passava... era sorteado. Eles tinham")
# (find-mnu4euvideo "42:36" "meia hora pra trabalhar as questões... o")
# (find-mnu4euvideo "42:38" "enunciado em conjunto e depois, ó: você vai")
# (find-mnu4euvideo "42:40" "fazer a três, você vai fazer a dois, você faz")
# (find-mnu4euvideo "42:42" "a um, você faz a quatro. Aí, ou seja, qual era")
# (find-mnu4euvideo "42:45" "o resultado disso? Os alunos bons tinham que")
# (find-mnu4euvideo "42:49" "explicar pro pior aluno do grupo como que")
# (find-mnu4euvideo "42:52" "fazia, então eles tinham que ter esse")
# (find-mnu4euvideo "42:54" "trabalho adicional de entender o suficiente")
# (find-mnu4euvideo "42:56" "pra explicar, porque a própria nota deles -")
# (find-mnu4euvideo "42:58" "claro, porque aí as 4 questões eram")
# (find-mnu4euvideo "43:00" "juntadas e a nota era a mesma pros")
# (find-mnu4euvideo "43:02" "quatro integrantes do grupo... deu pra")
# (find-mnu4euvideo "43:04" "entender? E então, a gente fazia isso")
# (find-mnu4euvideo "43:07" "de modo estocástico, ou seja... os")
# (find-mnu4euvideo "43:10" "grupos da semana seguinte... os alguns")
# (find-mnu4euvideo "43:11" "não escolhem os grupos, não é com base no")
# (find-mnu4euvideo "43:13" "queridinho, no amigo, não é nada disso. Os")
# (find-mnu4euvideo "43:15" "grupos são pré-determinados")
# (find-mnu4euvideo "43:17" "autocraticamente, e sempre de forma a ter")
# (find-mnu4euvideo "43:23" "um aluno bastante bom, um aluno [...] e")
# (find-mnu4euvideo "43:25" "um aluno mais ou menos baseado nas notas")
# (find-mnu4euvideo "43:27" "que eles tiveram antes. Então os grupos")
# (find-mnu4euvideo "43:29" "sempre eram heterogêneos dessa maneira.")
# (find-mnu4euvideo "43:31" "Com isso você produz: trabalho em grupo, sala")
# (find-mnu4euvideo "43:33" "de aula invertida, uma outra lógica de olhar")
# (find-mnu4euvideo "43:35" "pros problemas, os bons terem que ensinar")
# (find-mnu4euvideo "43:37" "pros ruins, que acaba tornando todo mundo")
# (find-mnu4euvideo "43:38" "melhor, um quarto das provas a serem")
# (find-mnu4euvideo "43:41" "corrigidas, o trabalho de correção era")
# (find-mnu4euvideo "43:42" "reduzido quatro vezes certo, né, e o poder")
# (find-mnu4euvideo "43:47" "avaliativo a meu ver era grande, porque")
# (find-mnu4euvideo "43:49" "afinal cada aluno tinha que compor uma questão")
# (find-mnu4euvideo "43:52" "dissertativa. Então certamente, igual a")
# (find-mnu4euvideo "43:54" "essa - lógico que eu não reinventei")
# (find-mnu4euvideo "43:56" "a roda nem nada... tou dizendo que iguais")
# (find-mnu4euvideo "43:59" "a essas deve ter várias experiências que")
# (find-mnu4euvideo "44:01" "cabem num relato de dois minutos, e a")
# (find-mnu4euvideo "44:04" "gente poderia também, lá no Google Drive,")
# (find-mnu4euvideo "44:07" "talvez subir pequeno relatos desse tipo...")
# (find-mnu4euvideo "44:09" "- Bacana! - ...que a gente possa aproveitar.")
# (find-mnu4euvideo "44:12" "Começar a dirigir pro drive e subir")
# (find-mnu4euvideo "44:15" "conteúdo pra lá e isso começar a ser")
# (find-mnu4euvideo "44:17" "uma coisa de nós todos. Link não serve, tem que")
# (find-mnu4euvideo "44:20" "ser coisa lá - pra dar essa materialidade.")
# (find-mnu4euvideo "44:23" "- Deixa eu... eu queria falar, ainda um pouco")
# (find-mnu4euvideo "44:27" "nessa linha, é... seria legal também fazer")
# (find-mnu4euvideo "44:32" "um banco de dados de aulas, de vídeos... porque")
# (find-mnu4euvideo "44:35" "de repente se eu quero falar sobre teorema")
# (find-mnu4euvideo "44:41" "espectral mas tem um vídeo muito bacana")
# (find-mnu4euvideo "44:43" "sobre Teorema Espectral ao invés de eu perder")
# (find-mnu4euvideo "44:45" "o meu tempo e o dos alunos eu posso chegar")
# (find-mnu4euvideo "44:46" "e dizer: a aula é esse vídeo que tá aqui,")
# (find-mnu4euvideo "44:48" "o Henrique já preparou um super...")
# (find-mnu4euvideo "44:50" "uma super aula sobre")
# (find-mnu4euvideo "44:53" "o Teorema de Stokes e a aula de")
# (find-mnu4euvideo "44:56" "hoje é isso, é o vídeo do Henrique, ou")
# (find-mnu4euvideo "44:58" "do Fulano de Tal. Então eu acho que também...")
# (find-mnu4euvideo "45:02" "desde o início eu tou com essa coisa na cabeça.")
# (find-mnu4euvideo "45:06" "- Perfeito! É pra isso que a grande caixa")
# (find-mnu4euvideo "45:09" "tá nascendo.")
# (find-mnu4euvideo "45:12" "- ...porque eu ia dizer isso mesmo!")
# (find-mnu4euvideo "45:14" "Vamos lá no drive, abre uma pasta lá,")
# (find-mnu4euvideo "45:19" "abre uma pasta lá, \"Álgebra Linear\",")
# (find-mnu4euvideo "45:21" "e dentro dela \"vídeo-aulas\" e abre lá")
# (find-mnu4euvideo "45:25" "uma planilha, e ou os vídeos são subidos direto")
# (find-mnu4euvideo "45:27" "para lá ou o link da vídeo-aula é")
# (find-mnu4euvideo "45:27" "colocados como índice... aula, professor tal,")
# (find-mnu4euvideo "45:31" "universidade tal, o link é")
# (find-mnu4euvideo "45:32" "este... e quem indicou, que foi o Flávio que")
# (find-mnu4euvideo "45:34" "indicou o vídeo do Felipe")
# (find-mnu4euvideo "45:36" "sobre... sobre Processos de")
# (find-mnu4euvideo "45:39" "Markov, porque também me interessa se essa")
# (find-mnu4euvideo "45:42" "lista ficar grande saber quem indicou,")
# (find-mnu4euvideo "45:44" "se foi o Flávio, que tem juízo, se não foi")
# (find-mnu4euvideo "45:46" "um maluco feito o Henrique, certo... então")
# (find-mnu4euvideo "45:48" "acho que isso agrega valor também. Agora,")
# (find-mnu4euvideo "45:50" "alguém tem que ir lá e fazer, não dá pra")
# (find-mnu4euvideo "45:53" "alguém macro-gerir tudo isso, tem que ser")
# (find-mnu4euvideo "45:56" "uma coisa espontânea, então assim: as pessoas")
# (find-mnu4euvideo "45:57" "que estão aqui ouvindo estão no Drive? Sabem")
# (find-mnu4euvideo "46:00" "do que eu tou falando? Querem este acesso?")
# (find-mnu4euvideo "46:04" "Como que a gente encaminha isso, pra gente...")
# (find-mnu4euvideo "46:06" "- O Francisco perguntou isso agora mesmo, né?")
# (find-mnu4euvideo "46:09" "Como é que entra nesse drive... é uma coisa")
# (find-mnu4euvideo "46:12" "aliás que seria ótimo se você mandasse")
# (find-mnu4euvideo "46:13" "Um textinho pro Fórum de Pós-Graduação")
# (find-mnu4euvideo "46:14" "pra esclarecer.")
# (find-mnu4euvideo "46:16" "- Pois é uma... - Ó, quem colar o e-mail")
# (find-mnu4euvideo "46:20" "agora no chat tem")
# (find-mnu4euvideo "46:22" "promoção: eu mesmo coloco no drive.")
# (find-mnu4euvideo "46:25" "- Você não pode botar isso num outro lugar?")
# (find-mnu4euvideo "46:28" "Que esse é a típica coisa que é um amor de")
# (find-mnu4euvideo "46:32" "carnaval - Deixa eu... surgiu antes")
# (find-mnu4euvideo "46:36" "do início das reuniões, antes de")
# (find-mnu4euvideo "46:39" "você entrar, Carlos, a discussão sobre o")
# (find-mnu4euvideo "46:41" "Google Groups, que alguém... quem que é o")
# (find-mnu4euvideo "46:44" "responsável? Que não adicionaram... acho que")
# (find-mnu4euvideo "46:46" "talvez deveriam mandar mensagem pro Google")
# (find-mnu4euvideo "46:48" "Groups oferecendo esse tipo de coisa... - E o")
# (find-mnu4euvideo "46:50" "Ricardo Miranda, que é o mesmo que criou o")
# (find-mnu4euvideo "46:52" "Drive. Essas duas coisas tão integradas.")
# (find-mnu4euvideo "46:54" "- Ah, então perfeito. Porque ele não")
# (find-mnu4euvideo "46:57" "deu acesso para muitas pessoas... não")
# (find-mnu4euvideo "46:59" "conseguiram acessar lá ainda. Eu acho")
# (find-mnu4euvideo "47:01" "que lá deveria ser o melhor canal")
# (find-mnu4euvideo "47:02" "pra gente ter coisas escritas. - Ele ainda")
# (find-mnu4euvideo "47:05" "tá na reunião do IMEC, e o pautá comendo,")
# (find-mnu4euvideo "47:07" "pelo visto, sobre esse tema, porque a")
# (find-mnu4euvideo "47:10" "gente transformou em pauta")
# (find-mnu4euvideo "47:11" "executiva e deu briga, óbvio. Aí vai ser")
# (find-mnu4euvideo "47:14" "legal. Tá lá, defendendo aí... nós.")
# (find-mnu4euvideo "47:18" "- Deixa eu fazer um comentário ortogonal")
# (find-mnu4euvideo "47:20" "a essas coisas... oops, desculpa, Eduardo.")
# (find-mnu4euvideo "47:22" "- É o seguinte... pra mim é muito")
# (find-mnu4euvideo "47:25" "melhor botar links para páginas de")
# (find-mnu4euvideo "47:28" "pessoas que estão deixando todo o seu")
# (find-mnu4euvideo "47:30" "material online disponível do que ficar")
# (find-mnu4euvideo "47:32" "simplesmente acessando coisas que")
# (find-mnu4euvideo "47:34" "estão no Google Drive, que os alunos não")
# (find-mnu4euvideo "47:35" "podem acessar, e que estão num limite")
# (find-mnu4euvideo "47:38" "esquisito entre o secreto e o não secreto,")
# (find-mnu4euvideo "47:40" "que a gente tem que usar com muito cuidado...")
# (find-mnu4euvideo "47:41" "então, tem umas questões de gosto aí, eu")
# (find-mnu4euvideo "47:44" "prefiro muito mais as coisas que são")
# (find-mnu4euvideo "47:46" "só links do que as coisas que estão no")
# (find-mnu4euvideo "47:48" "Google Drive.")
# (find-mnu4euvideo "47:50" "- Eduardo, não tem contradição entre as")
# (find-mnu4euvideo "47:53" "duas... o Google Drive é um índice nosso")
# (find-mnu4euvideo "47:56" "pra trabalho desse grupo, e o conteúdo pode")
# (find-mnu4euvideo "47:59" "ser o link para conteúdo! Não tem problema,")
# (find-mnu4euvideo "48:01" "faz uma lista, uma planilha e cola o link")
# (find-mnu4euvideo "48:03" "lá. - Tá, beleza, então!")
# (find-mnu4euvideo "48:09" "- E o link pra aderir ao Google Drive")
# (find-mnu4euvideo "48:13" "já está aqui no chat. Quem quise eu fico lá")
# (find-mnu4euvideo "48:15" "autorizando ou peço pro Ricardo autorizar")
# (find-mnu4euvideo "48:18" "ainda hoje... e, ó:")
# (find-mnu4euvideo "48:20" "não tem patrãozinho isso aqui,")
# (find-mnu4euvideo "48:23" "entendeu, é de todo mundo! É chegar lá,")
# (find-mnu4euvideo "48:25" "criar pasta, entrar nos treco, ver o que que")
# (find-mnu4euvideo "48:28" "tem, hm, tá vazio, vou ocupar esse espaço aqui,")
# (find-mnu4euvideo "48:30" "vou inventar uma pasta nova, se virem.")
# (find-mnu4euvideo "48:32" "A gente criou umas pastas que a gente acha")
# (find-mnu4euvideo "48:33" "que dão conta de que a maioria quer,")
# (find-mnu4euvideo "48:35" "mas não tem xerife não, não tem prefeito...")
# (find-mnu4euvideo "48:41" "é vamos lá e interage, aí é de vocês.")
# (find-mnu4euvideo "48:44" "- Queria fazer um comentário completamente")
# (find-mnu4euvideo "48:45" "ortogonal a essa discussão, que pelo visto")
# (find-mnu4euvideo "48:47" "é uma questão importante, e da qual eu não")
# (find-mnu4euvideo "48:50" "entendo nada. Eu acho extremamente")
# (find-mnu4euvideo "48:54" "interessante pensar que o Eduardo tá")
# (find-mnu4euvideo "48:57" "numa situação extremamente sui generis,")
# (find-mnu4euvideo "48:59" "responsável, justamente, sendo a equipe de")
# (find-mnu4euvideo "49:02" "cursos inteiros numa instituição...")
# (find-mnu4euvideo "49:05" "que tem alunos, que, falando")
# (find-mnu4euvideo "49:08" "francamente, têm uma preparação")
# (find-mnu4euvideo "49:09" "extremamente discutível, e ele tem a")
# (find-mnu4euvideo "49:12" "coragem de adequar o que ele tá")
# (find-mnu4euvideo "49:13" "ensinando ao nível que o aluno tá.")
# (find-mnu4euvideo "49:17" "Eu acho isso uma experiência, assim,")
# (find-mnu4euvideo "49:20" "de encher o olho d'água.")
# (find-mnu4euvideo "49:23" "- Êêê! Fico comovido! Obrigado!!!")
# (find-mnu4euvideo "49:30" "- Gente, tempus fugit. O coitado do")
# (find-mnu4euvideo "49:33" "Márcio vai falar alguma coisa hoje ou a")
# (find-mnu4euvideo "49:35" "gente bota ele de castigo? Vamos fazer")
# (find-mnu4euvideo "49:37" "ele falar um pouquinho? - Siim!")
# (find-mnu4euvideo "49:39" "- Justamente! - Só um informe: já mandei a")
# (find-mnu4euvideo "49:43" "mensagem pro Ricardo aqui, e quem pedir")
# (find-mnu4euvideo "49:45" "agora ele vai aprovar meio em tempo real...")
# (find-mnu4euvideo "49:47" "então tou enchendo o saco dele aqui pra")
# (find-mnu4euvideo "49:50" "ele dar as aprovações.")
# (find-mnu4euvideo "49:52" "- Eu tou com retorno... desculpa, eu tou")
# (find-mnu4euvideo "49:54" "com retorno meio forte aqui, não sei qual")
# (find-mnu4euvideo "49:56" "dos microfones... - É, todos nós tamos.")
# (find-mnu4euvideo "50:01" "- Ah, obrigado, Fábio.")
# (find-mnu4euvideo "50:03" "- Aliás você já é host.")
# (find-mnu4euvideo "50:06" "- Ué, continua o retorno...")
# (find-mnu4euvideo "50:10" "- Se todo mundo desligar o microfone ajuda")
# (find-mnu4euvideo "50:14" "o Márcio.")
# (find-mnu4euvideo "50:15" "- Ah, deixa eu compartilhar a minha tela")
# (find-mnu4euvideo "50:18" "então.")
# (find-mnu4euvideo "50:19" "Na verdade foi... foi meio corrido, parte")
# (find-mnu4euvideo "50:23" "eu vou reapresentar o que tinha na")
# (find-mnu4euvideo "50:24" "semana passada, e eu quero compartilhar")
# (find-mnu4euvideo "50:26" "com o")
# (find-mnu4euvideo "50:28" "Henrique que eu também tenho essa coisa,")
# (find-mnu4euvideo "50:30" "meio necessidade, de ter algumas... alguns")
# (find-mnu4euvideo "50:33" "objetivos, é...")





#####
#
# Prof. Anderson Paiva Cruz
# 2021dec26
#
#####

# «paiva-cruz»  (to ".paiva-cruz")
# http://www.youtube.com/watch?v=oJFIFCcteBU Paradoxos e axiomas na teoria dos conjuntos
# https://www.youtube.com/c/Fant%C3%A1sticoMundoMatem%C3%A1tico



#####
#
# aleph0 / Jerônimo Pellegrini
# 2022jan21
#
#####

# «aleph0»  (to ".aleph0")
# (find-es "emacs" "eltr")
# https://aleph0.info/jp/
# https://aleph0.info/jp/emacs-lisp.pdf
# https://aleph0.info/cursos/pp/notas/scheme.pdf
# https://aleph0.info/cursos/ipe/2019-q3/
# http://aleph0.info/cursos/ipe/notas/probabilidade.pdf
# http://aleph0.info/cursos/md/notas/md.pdf
# https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf
# http://aleph0.info/cursos/pp/2010-q3/emacsquack.html

;; <aleph0elisp>
;; https://aleph0.info/jp/emacs-lisp.pdf
(code-pdf-page "aleph0elisp" "$S/https/aleph0.info/jp/emacs-lisp.pdf")
(code-pdf-text "aleph0elisp" "$S/https/aleph0.info/jp/emacs-lisp.pdf")
;; (find-aleph0elisppage)
;; (find-aleph0elisptext)

;; <aleph0prob>
;; http://aleph0.info/cursos/ipe/notas/probabilidade.pdf
(code-pdf-page "aleph0prob" "$S/http/aleph0.info/cursos/ipe/notas/probabilidade.pdf")
(code-pdf-text "aleph0prob" "$S/http/aleph0.info/cursos/ipe/notas/probabilidade.pdf")
;; (find-aleph0probpage)
;; (find-aleph0probpage 219)
;; (find-aleph0probtext)

;; <aleph0md>
;; http://aleph0.info/cursos/md/notas/md.pdf
(code-pdf-page "aleph0md" "$S/http/aleph0.info/cursos/md/notas/md.pdf")
(code-pdf-text "aleph0md" "$S/http/aleph0.info/cursos/md/notas/md.pdf")
;; (find-aleph0mdpage)
;; (find-aleph0mdtext)





#####
#
# daniel-miranda
# 2022jan21
#
#####

# «daniel-miranda»  (to ".daniel-miranda")
# (find-books "__analysis/__analysis.el" "miranda")
# http://hostel.ufabc.edu.br/~daniel.miranda/
# http://hostel.ufabc.edu.br/~daniel.miranda/calculo/calculo.pdf

;; <dmirandacalc>
;; http://hostel.ufabc.edu.br/~daniel.miranda/calculo/calculo.pdf
;; (find-fline "$S/http/hostel.ufabc.edu.br/~daniel.miranda/calculo/")
(code-pdf-page "dmirandacalc" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/calculo/calculo.pdf")
(code-pdf-text "dmirandacalc" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/calculo/calculo.pdf")
;; (find-dmirandacalcpage)
;; (find-dmirandacalctext)

;; <dmirandaga>
;; https://gradmat.ufabc.edu.br/disciplinas/ga/notas-de-aulas/
;; http://hostel.ufabc.edu.br/~daniel.miranda/livros/geometria-analitica/geometriaanaliticaevetorial-SGD.pdf
(code-pdf-page "dmirandaga" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/livros/geometria-analitica/geometriaanaliticaevetorial-SGD.pdf")
(code-pdf-text "dmirandaga" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/livros/geometria-analitica/geometriaanaliticaevetorial-SGD.pdf")
;; (find-dmirandagapage)
;; (find-dmirandagatext)


;; <dmirandafuncoes>
;; https://gradmat.ufabc.edu.br/disciplinas/bm/livro/
;; http://hostel.ufabc.edu.br/~daniel.miranda/livros/basesmatematicas/funcoes.pdf
(code-pdf-page "dmirandafuncoes" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/livros/basesmatematicas/funcoes.pdf")
(code-pdf-text "dmirandafuncoes" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/livros/basesmatematicas/funcoes.pdf")
;; (find-dmirandafuncoespage)
;; (find-dmirandafuncoestext)

;; <dmirandabases>
;; https://gradmat.ufabc.edu.br/disciplinas/bm/livro/
;; http://hostel.ufabc.edu.br/~daniel.miranda/livros/basesmatematicas/bases.pdf
;; http://hostel.ufabc.edu.br/~daniel.miranda/livros/basesmatematicas/basesa5.pdf
(code-pdf-page "dmirandabases" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/livros/basesmatematicas/bases.pdf")
(code-pdf-text "dmirandabases" "$S/http/hostel.ufabc.edu.br/~daniel.miranda/livros/basesmatematicas/bases.pdf")
;; (find-dmirandabasespage)
;; (find-dmirandabasestext)





#####
#
# Herbert Gross
# 2022may10
#
#####

# «herbert-gross»  (to ".herbert-gross")
# https://archive.org/details/mit_ocw
# (find-youtubedl-links "/sda5/videos/" "Part_II_-_Vector_Calculus_Lec_1_MIT_Calculus_Revisited_-_Multivariable_Calculus" "NG9hkGQwT3k" ".webm" "grossmultivcalc")
# (code-video "grossmultivcalcvideo" "/sda5/videos/Part_II_-_Vector_Calculus_Lec_1_MIT_Calculus_Revisited_-_Multivariable_Calculus-NG9hkGQwT3k.webm")
# (find-grossmultivcalcvideo "0:00")

https://en.wikipedia.org/wiki/Herbert_Gross
https://www.ocw-openmatters.org/2020/06/10/in-memory-of-herb-gross/
https://www.nysmatyc.org/memorial/herb/herb_gross_memorial.pdf
https://www.mathasasecondlanguage.org/self-guided





#####
#
# logs-do-telegram-pdfizados.zip
# 2022jul05
#
#####

# «logs-pdfizados»  (to ".logs-pdfizados")
# (find-anggfile "2020.1-C2/" "C2-C1-RCN-PURO-2020.1")
# (find-fline  "~/2020.1-C2/C2-E1-RCN-PURO-2020.1/")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd
f0 () { echo ${1}-${2}/${2}-${3}-RCN-PURO-${1} }
f1 () { 'ls' $(f0 $1 $2 $3)*.pdf | cat }
f2 () { f1 $1 C2 C1; f1 $1 C2 E1; f1 $1 C3 M1 }
f3 () { f2 2020.1; f2 2020.2; f2 2021.1; f2 2021.2 }
f0 2020.1 C2 C1
f1 2020.1 C2 C1
f2 2020.1
f3
laf $(f3)
ls  $(f3) | tee /tmp/o

# Zip:
ZIPNAME=/tmp/logs-do-telegram-pdfizados.zip
rm -fv $ZIPNAME
zip    $ZIPNAME $(f3)
laf    $ZIPNAME
laf -h $ZIPNAME

# Tgz:
TGZNAME=/tmp/logs-do-telegram-pdfizados.tgz
rm -fv    $TGZNAME
tar -cvzf $TGZNAME $(f3)
laf       $TGZNAME
laf -h    $TGZNAME

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd
ZIPNAME=/tmp/logs-do-telegram-pdfizados.zip
TGZNAME=/tmp/logs-do-telegram-pdfizados.tgz
laf -h $ZIPNAME
# (find-fline "/tmp/")
# (find-fline "/tmp/" "logs-do-telegram-pdfizados.zip")
# (find-cp-angg-links "logs-do-telegram-pdfizados.zip" "/tmp/" "tmp/")
Scp-np -v         /tmp/logs-do-telegram-pdfizados.zip $TWUP/tmp/
Scp-np -v         /tmp/logs-do-telegram-pdfizados.tgz $TWUP/tmp/

cd /tmp/
wget http://angg.twu.net/tmp/logs-do-telegram-pdfizados.zip
wget http://angg.twu.net/tmp/logs-do-telegram-pdfizados.tgz



#####
#
# logs-pdfizados-txt
# 2023feb15
#
#####

# «logs-pdfizados-txt»  (to ".logs-pdfizados-txt")
# (find-angg "LUA/LogsPdfizados1.lua")




#####
#
# logs-pdfizados-linode
# 2023feb18
#
#####

# «logs-pdfizados-linode»  (to ".logs-pdfizados-linode")
# (find-angg "LUA/Caepro2.lua" "LogPdf-cps")
# (find-angg ".emacs" "caepro2")
# (find-fline "~/logs-pdfizados/")
# (find-fline "~/logs-pdfizados/" "2020.1-C2-C1-1.pdf")
# http://anggtwu.net/logs-pdfizados/
# http://anggtwu.net/logs-pdfizados/logs-pdfizados.zip

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd     ~/logs-pdfizados/
laf 20*.pdf
rm -fv ~/logs-pdfizados/logs-pdfizados.zip
zip    ~/logs-pdfizados/logs-pdfizados.zip 20*.pdf
laf    ~/logs-pdfizados/logs-pdfizados.zip
cd     ~/logs-pdfizados/
rsync -avvz -e ssh      logs-pdfizados.zip \
          edrx@linode:~/logs-pdfizados/

# (find-linonefile "logs-pdfizados/")
# (find-linpfile   "")
# (find-linpfile   "logs-pdfizados/")

* (eepitch-linode)
* (eepitch-kill)
* (eepitch-linode)
# Apaga:
rm -fv ~/public_html/logs-pdfizados/*.zip
rm -fv ~/public_html/logs-pdfizados/*.pdf
rm -fv   ~/slow_html/logs-pdfizados/*.zip
rm -fv   ~/slow_html/logs-pdfizados/*.pdf
makepageindexhtmls

# http://anggtwu.net/logs-pdfizados/
# http://anggtwu.net/logs-pdfizados/logs-pdfizados.zip

# Reconstroi:
cd     ~/public_html/logs-pdfizados/
cp -v  ~/logs-pdfizados/logs-pdfizados.zip .
unzip                   logs-pdfizados.zip
laf
#
cd     ~/slow_html/logs-pdfizados/
cp -v  ~/logs-pdfizados/logs-pdfizados.zip .
unzip                   logs-pdfizados.zip
laf
#
makepageindexhtmls

# http://anggtwu.net/logs-pdfizados/

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd /tmp/
rm -v logs-pdfizados.zip
wget http://anggtwu.net/logs-pdfizados/logs-pdfizados.zip





#####
#
# aulas-da-luciana
# 2022jul11
#
#####

# «aulas-da-luciana»  (to ".aulas-da-luciana")
# (find-TH "2022-apresentacao-sobre-C2" "videos-da-luciana")
# (find-fline "/sda5/videos/Luciana/")
# (find-pdf-page "~/PURO/RADs_2021/RAD 2021 - Luciana Pena.pdf")
# (find-pdf-text "~/PURO/RADs_2021/RAD 2021 - Luciana Pena.pdf")

* (eepitch-shell3)
* (eepitch-kill)
* (eepitch-shell3)
cd /sda5/videos/Luciana/
f () { youtube-dl -t --restrict-filenames $2 }

# f 1.      https://youtu.be/VpBBOnAH6_k
# f 2.      https://youtu.be/bhtGks-ImNY
# f 3.      https://youtu.be/PiXpluDlkHk

f 4.      https://youtu.be/8uofvJZYlGY
f 5.      https://youtu.be/sCLDecSZe5g
f 6.      https://youtu.be/CdvZJiXN9FM
f 7.       https://youtu.be/7tHBFamJKk0
f 8.       https://youtu.be/Hy1i-0TsbX0
f 9.       https://youtu.be/sf4446zQlg0
f 10.      https://youtu.be/84rFKmb8_pc
f 11.      https://youtu.be/QjiwmXBTCtA
f 12.      https://youtu.be/hOhvhNk8aeA
f 13.      https://youtu.be/TaKJFoEpzg4
f 14.      https://youtu.be/HFWwalyBZfw
f 15.      https://youtu.be/IxRkjDejsuw
f 16.      https://youtu.be/yg-qzYQ8ruU
f 17.      https://youtu.be/5n9b9AXbPmI
f 18.      https://youtu.be/UDaaeapTy-E
f 19.      https://youtu.be/7EzbGZwa_fo
f 20.      https://youtu.be/iQZvlFDMvjI
f 21.      https://youtu.be/iu8QrVo2irc
f 22.      https://youtu.be/uoqhiD6Ci1Y
f 23.      https://youtu.be/dCExWTw-GHg
f 24.      https://youtu.be/cS1ItMrEM2o
f 25.      https://youtu.be/nzrje_2OCNI
f 26.      https://youtu.be/HjYI0PToC4E
f 27.      https://youtu.be/ekaaFV6LBb8
f 28.      https://youtu.be/8rsujBs8bRg
f 29.      https://youtu.be/KuQAOZo4_-U
f 30.      https://youtu.be/r1yNfy48S4k
f 31.      https://youtu.be/qP7XwWpnVec
f 32.      https://youtu.be/VMHwvim54Sk
f 33.      https://youtu.be/MVUbdCz3CQM
f 34.      https://youtu.be/YQJlgMcmjr8
f 35.      https://youtu.be/LpCwJmahGhA
f 36.      https://youtu.be/qEN5-TffEF8
f 37.      https://youtu.be/5P6NbxaMzUQ
f 38.      https://youtu.be/KwtHCBvG578
f 39.      https://youtu.be/GUuYK3Wx_m8
f 40.      https://youtu.be/i5CaprG_Poc
f 41.      https://youtu.be/aVldGrzixXY
f 42.      https://youtu.be/Jg4peVXgJHA
f 43.      https://youtu.be/ZRnCUGduy24
f 44.      https://youtu.be/l_kPqRwMhFc
f 45.      https://youtu.be/uHL5AD8bZUY
f 46.      https://youtu.be/wmIzMiTRvIE
f 47.      https://youtu.be/j8k3FVIeHfc






#####
#
# tudos.txt
# 2022oct04
#
#####

# «tudos.txt»  (to ".tudos.txt")
# (find-THfile "2022-apresentacao-sobre-C2.blogme" "(c2m201tudoa")
# (find-pdf-page   "~/LATEX/2020-1-C2-tudo.pdf")
# (find-pdf-text   "~/LATEX/2020-1-C2-tudo.pdf")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-fline "/tmp/tudos/")
rm -Rv /tmp/tudos/
mkdir  /tmp/tudos/
cd     /tmp/tudos/
f () { echo $1; pdftotext -layout -enc Latin1 ~/LATEX/$1-tudo.pdf - > /tmp/tudos/$1.txt; }
for i in 202{0,1}-{1,2}-C{2,3}; do f $i; done
for i in 2022-{1,2}-C{2,3}; do f $i; done

# (code-c-d "tudos" "/tmp/tudos/")
# (find-tudosfile "")
# (find-tudosgrep "grep --color=auto -nH --null -e egener *.txt")
# (find-tudosgrep "grep --color=auto -nH --null -e sperto *.txt")
# (find-tudosgrep "grep --color=auto -nH --null -e magens *.txt")
# (find-tudosgrep "grep --color=auto -nH --null -e irecional *.txt")
# (find-tudosgrep "grep --color=auto -nH --null -e 'o preferida' *.txt")
# (find-tudosgrep "grep --color=auto -nH --null -e 'preferida' *.txt")
# (find-tudosgrep "grep --color=auto -nH --null -e 'gradiente' *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e cadeia *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e cadeia *C3*.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e complex *C3*.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e jacobian *C3*.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e linear *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e aberto *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e weier *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e thomas *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e sinais *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e exatas *.txt")
# (find-tudosgrep "grep --color=auto -niH --null -e mudan *.txt")

# (c2ab)
  (c2m192tudop 1 "parts")
  (c2m192tudoa   "parts")
  (c2m201tudop 1 "parts")
  (c2m201tudoa   "parts")
  (c2m202tudop 1 "parts")
  (c2m202tudoa   "parts")
  (c2m211tudop 1 "parts")
  (c2m211tudoa   "parts")
  (c2m212tudop 1 "parts")
  (c2m212tudoa   "parts")
  (c2m221tudop 1 "parts")
  (c2m221tudoa   "parts")
  (c2m222tudop 1 "parts")
  (c2m222tudoa   "parts")

  (c3m192tudop 1 "parts")
  (c3m192tudoa   "parts")
  (c3m201tudop 1 "parts")
  (c3m201tudoa   "parts")
  (c3m202tudop 1 "parts")
  (c3m202tudoa   "parts")
  (c3m211tudop 1 "parts")
  (c3m211tudoa   "parts")
  (c3m212tudop 1 "parts")
  (c3m212tudoa   "parts")
  (c3m221tudop 1 "parts")
  (c3m221tudoa   "parts")
  (c3m222tudop 1 "parts")
  (c3m222tudoa   "parts")


#####
#
# tudos-tex
# 2023feb15
#
#####

# «tudos-tex»  (to ".tudos-tex")
# (find-angg "LUA/Tudos1.lua" "generate-dir")



#####
#
# C2-C3-videos-meus
# 2022nov25
#
#####

# «C2-C3-videos-meus»  (to ".C2-C3-videos-meus")
# (find-LATEXgrep "grep --color=auto -nH --null -e code-eevvideo 202{0,1}-*C2*.tex")
# (find-LATEXgrep "grep --color=auto -nH --null -e code-eevvideo 202{0,1}-*C3*.tex")



#####
#
# mapcabral-bibvirt
# 2022dec16
#
#####

# «mapcabral-bibvirt»  (to ".mapcabral-bibvirt")
# https://sites.google.com/matematica.ufrj.br/mapcabral/outros/biblioteca-virtual-de-matem%C3%A1tica?authuser=0




#####
#
# marcos-alexandrino
# 2022dec23
#
#####

# «marcos-alexandrino»  (to ".marcos-alexandrino")
# https://www.ime.usp.br/~malex/
# (code-c-d "malex" "$S/https/www.ime.usp.br/~malex/")
# (find-malexfile "")
# (find-malexsh "find * | sort")
# (find-malexfile "arquivos/")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-fline "/tmp/malex/")
# (find-fline "/tmp/malex/www.ime.usp.br/~malex/arquivos/listas2022/")
rm -Rv /tmp/malex/
mkdir  /tmp/malex/
cd     /tmp/malex/
wget -r --no-parent https://www.ime.usp.br/~malex/

cd /tmp/malex/www.ime.usp.br/~malex/
tar -cvzf /tmp/malex.tgz *
mkdir -p $S/https/www.ime.usp.br/~malex/
cd       $S/https/www.ime.usp.br/~malex/
tar -xvzf /tmp/malex.tgz




#####
#
# alexandre-costa-leite
# 2023jan13
#
#####

# «alexandre-costa-leite»  (to ".alexandre-costa-leite")
# https://www.youtube.com/playlist?list=PLjRMSaG_Ef8_CN7rZ0VSC25yIDumH89_Q
# (find-es "org" "rainer-koenig-playlist")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
rm -Rv /tmp/alexandrecl/
mkdir  /tmp/alexandrecl/
cd     /tmp/alexandrecl/
PL='https://www.youtube.com/playlist?list=PLjRMSaG_Ef8_CN7rZ0VSC25yIDumH89_Q'
yt-dlp --get-id --get-title --skip-download $PL  |& tee pl

Introdução à Filosofia, aula 01, "Configurações"
Mvru69uddQI
Introdução à Filosofia, aula 02, "Estruturas do real e da linguagem: isomorfismo, verdade e mundo"
vpzhNGSWeuo
Introdução à Filosofia, aula 03, "Proposições e fatos: metafísica e ontologia"
byAiUs_Huqk
Introd. à Filosofia, aula 04, "Totalidade dos fatos e a descrição do mundo: elementos de ontologia"
51Y5gAjugcI
Introdução à Filosofia, aula 05, "Ausência de propriedades: nada e não existência"
3uI-wArWhOU
Introdução à Filosofia, aula 06, "Essência e acidente como propriedades"
LayAc9EnE2I
Introdução à Filosofia, aula 07, "Estrutura ontológica da identidade e propriedade essencial"
9smeWDrrf0Q
Introdução à Filosofia, aula 08, "Infinito, transfinitos e ontologia" (parte A)
Zq04ArsMU6I





#####
#
# fnaufel
# 2023mar26
#
#####

# «fnaufel»  (to ".fnaufel")

# (find-fline "/sda5/videos/Fnaufel/")

* (eepitch-shell3)
* (eepitch-kill)
* (eepitch-shell3)
f () { echo $2
  cd /sda5/videos/Fnaufel/
  youtube-dl -t --restrict-filenames --all-subs "$1"
}

f 'http://www.youtube.com/watch?v=6Q_XSoLCIpc' 'fnaufel: Introdução'
f 'http://www.youtube.com/watch?v=492VASxlDRo' 'fnaufel: Introdução (cont.)'
f 'http://www.youtube.com/watch?v=1kXQDNqm41c' 'fnaufel: Introdução a R'
f 'http://www.youtube.com/watch?v=3GEc1oiKDrU' 'fnaufel: Introdução a R (cont.)'
f 'http://www.youtube.com/watch?v=OBpNjqIIyhI' 'fnaufel: Visualização com ggplot2'
f 'http://www.youtube.com/watch?v=c-LoZ9e8xWc' 'fnaufel: Visualização com ggplot2 (cont. 1)'
f 'http://www.youtube.com/watch?v=TjgLDeIQHIc' 'fnaufel: Visualização com ggplot2 (cont. 2)'
f 'http://www.youtube.com/watch?v=QqnOvgBXJ-s' 'fnaufel: Visualização com ggplot2 (final)'
f 'http://www.youtube.com/watch?v=C96MOP4YlaY' 'fnaufel: Medidas'
f 'http://www.youtube.com/watch?v=hJfyzRzEs44' 'fnaufel: Probabilidades'
f 'http://www.youtube.com/watch?v=NVP-MwtGp0Q' 'fnaufel: Probabilidades (cont.)'
f 'http://www.youtube.com/watch?v=8PI-rfsgNdE' 'fnaufel: Variáveis aleatórias'
f 'http://www.youtube.com/watch?v=jKSRgZdlTEM' 'fnaufel: Distribuições discretas'
f 'http://www.youtube.com/watch?v=F6OEoEaYrCw' 'fnaufel: Distribuições discretas (cont.)'
f 'http://www.youtube.com/watch?v=TrmDPVYTpHc' 'fnaufel: Distribuições contínuas'
f 'http://www.youtube.com/watch?v=hLsJPXrRoro' 'fnaufel: Teorema central do limite (TCL)'
f 'http://www.youtube.com/watch?v=sXayNPy8hLg' 'fnaufel: Intervalos de confiança para a proporção'
f 'http://www.youtube.com/watch?v=OomFvn5LpCc' 'fnaufel: Intervalos de confiança para a média'
f 'http://www.youtube.com/watch?v=jinX8qqzdxQ' 'fnaufel: Testes de hipóteses sobre proporções'
f 'http://www.youtube.com/watch?v=Ajf5r4EIV6c' 'fnaufel: Testes de hipóteses sobre médias'
f 'http://www.youtube.com/watch?v=83pzxnP-p6s' 'fnaufel: Testes de hipóteses com duas amostras'
f 'http://www.youtube.com/watch?v=T0FBgils_9o' 'fnaufel: Covariância e correlação'
f 'http://www.youtube.com/watch?v=diUFBf0JUC4' 'fnaufel: Regressão linear'

f 'http://www.youtube.com/watch?v=DkbzC17mzSU' 'fnaufel: Direto ao ponto'
f 'http://www.youtube.com/watch?v=yiAi4cXoKQk' 'fnaufel: Matrizes: introdução'
f 'http://www.youtube.com/watch?v=PKcQTflIsjY' 'fnaufel: Se oriente'
f 'http://www.youtube.com/watch?v=QGF2AGdWE9k' 'fnaufel: Vetores'
f 'http://www.youtube.com/watch?v=st6Smt75P2U' 'fnaufel: Vetores (cont.)'
f 'http://www.youtube.com/watch?v=I99f6aLdgR0' 'fnaufel: Retas'
f 'http://www.youtube.com/watch?v=_6wffSa76Po' 'fnaufel: Retas (cont.)'
f 'http://www.youtube.com/watch?v=Q5iIroO1Lug' 'fnaufel: Produto escalar'
f 'http://www.youtube.com/watch?v=SW9s1BAtGog' 'fnaufel: Produto escalar (cont.)'
f 'http://www.youtube.com/watch?v=HqnEUkUsvIs' 'fnaufel: Problemas'
f 'http://www.youtube.com/watch?v=Wm8-U92fvvk' 'fnaufel: Círculo'
f 'http://www.youtube.com/watch?v=ONahoKBDDzk' 'fnaufel: Parábola'
f 'http://www.youtube.com/watch?v=d01OzmpNQAc' 'fnaufel: Elipse'
f 'http://www.youtube.com/watch?v=NCzeol73Azg' 'fnaufel: Hipérbole'
f 'http://www.youtube.com/watch?v=1td7Zd2Z-EU' 'fnaufel: Inequações'
f 'http://www.youtube.com/watch?v=eebBN0J9gSQ' 'fnaufel: Vetores em R3'
f 'http://www.youtube.com/watch?v=biNZL6cTKI4' 'fnaufel: Colinearidade, coplanaridade e dependência linear'
f 'http://www.youtube.com/watch?v=A9swz9mMh4g' 'fnaufel: Equações paramétricas de retas e planos'
f 'http://www.youtube.com/watch?v=J9NGT4mEFys' 'fnaufel: Produto interno em R³'
f 'http://www.youtube.com/watch?v=HqlCileGRa8' 'fnaufel: Equação cartesiana do plano'
f 'http://www.youtube.com/watch?v=qvJ31xR8Pls' 'fnaufel: Produto vetorial'
f 'http://www.youtube.com/watch?v=UwtFIWF8wq0' 'fnaufel: Matrizes: transposição, adição, multiplicação por escalar'
f 'http://www.youtube.com/watch?v=rVc8i6KMWXw' 'fnaufel: Matrizes: multiplicação'
f 'http://www.youtube.com/watch?v=Ve4GNtBoBFk' 'fnaufel: Propriedades da multiplicação de matrizes'
f 'http://www.youtube.com/watch?v=dh5MevtnxE4' 'fnaufel: Formalidades'
f 'http://www.youtube.com/watch?v=S3jsJpbDP00' 'fnaufel: Inversão de matrizes'
f 'http://www.youtube.com/watch?v=KwDtcSP4kjw' 'fnaufel: Um meme'
f 'http://www.youtube.com/watch?v=MAIjhT0Fabw' 'fnaufel: Determinantes (parte 1)'
f 'http://www.youtube.com/watch?v=3P40eh-GcUA' 'fnaufel: Determinantes (parte 2)'
f 'http://www.youtube.com/watch?v=U6zDC8TzBkM' 'fnaufel: Sistemas lineares'
f 'http://www.youtube.com/watch?v=wlCm-BfXxCc' 'fnaufel: Sistemas lineares (cont.)'
f 'http://www.youtube.com/watch?v=_ZfxqImqPlE' 'fnaufel: Espaços vetoriais'




# https://fnaufel.github.io/site/pt/ga/
# https://www.geogebra.org/m/w98zzmt8
# https://www.youtube.com/channel/UCg2GkejTo4r0taLHZspLEMQ

# Fnaufel playlists:
https://www.youtube.com/watch?v=6Q_XSoLCIpc&list=PL7SRLwLs7ocaV-Y1vrVU3W7mZnnS0qkWV
https://www.youtube.com/watch?v=DkbzC17mzSU&list=PL7SRLwLs7ocaQDC-qPjBWCnG46jYofs67
https://www.youtube.com/watch?v=yiAi4cXoKQk&list=PL7SRLwLs7ocYvIsNI2v4u0-fzElZroVaA

* (eepitch-shell3)
* (eepitch-kill)
* (eepitch-shell3)
PL="https://www.youtube.com/watch?v=6Q_XSoLCIpc&list=PL7SRLwLs7ocaV-Y1vrVU3W7mZnnS0qkWV"
yt-dlp --get-id --skip-download $PL
PL="https://www.youtube.com/watch?v=DkbzC17mzSU&list=PL7SRLwLs7ocaQDC-qPjBWCnG46jYofs67"
yt-dlp --get-id --skip-download $PL
PL="https://www.youtube.com/watch?v=yiAi4cXoKQk&list=PL7SRLwLs7ocYvIsNI2v4u0-fzElZroVaA"
yt-dlp --get-id --skip-download $PL

/home/edrx/e(edrx:sc)# PL="https://www.youtube.com/watch?v=6Q_XSoLCIpc&list=PL7SRLwLs7ocaV-Y1vrVU3W7mZnnS0qkWV"
<tch?v=6Q_XSoLCIpc&list=PL7SRLwLs7ocaV-Y1vrVU3W7mZnnS0qkWV"
/home/edrx/e(edrx:sc)# yt-dlp --get-id --skip-download $PL
6Q_XSoLCIpc
492VASxlDRo
1kXQDNqm41c
3GEc1oiKDrU
OBpNjqIIyhI
c-LoZ9e8xWc
TjgLDeIQHIc
QqnOvgBXJ-s
C96MOP4YlaY
hJfyzRzEs44
NVP-MwtGp0Q
8PI-rfsgNdE
jKSRgZdlTEM
F6OEoEaYrCw
TrmDPVYTpHc
hLsJPXrRoro
sXayNPy8hLg
OomFvn5LpCc
jinX8qqzdxQ
Ajf5r4EIV6c
83pzxnP-p6s
T0FBgils_9o
diUFBf0JUC4
/home/edrx/e(edrx:sc)# PL="https://www.youtube.com/watch?v=DkbzC17mzSU&list=PL7SRLwLs7ocaQDC-qPjBWCnG46jYofs67"
<tch?v=DkbzC17mzSU&list=PL7SRLwLs7ocaQDC-qPjBWCnG46jYofs67"
/home/edrx/e(edrx:sc)# yt-dlp --get-id --skip-download $PL
PL="https://www.youtube.com/watch?v=yiAi4cXoKQk&list=PL7SRLwLs7ocYvIsNI2v4u0-fzElZroVaA"
yt-dlp --get-id --skip-download $PL
DkbzC17mzSU
PKcQTflIsjY
QGF2AGdWE9k
st6Smt75P2U
I99f6aLdgR0
_6wffSa76Po
Q5iIroO1Lug
SW9s1BAtGog
HqnEUkUsvIs
Wm8-U92fvvk
ONahoKBDDzk
d01OzmpNQAc
NCzeol73Azg
1td7Zd2Z-EU
eebBN0J9gSQ
biNZL6cTKI4
A9swz9mMh4g
J9NGT4mEFys
HqlCileGRa8
qvJ31xR8Pls
<tch?v=yiAi4cXoKQk&list=PL7SRLwLs7ocYvIsNI2v4u0-fzElZroVaA"
/home/edrx/e(edrx:sc)# yt-dlp --get-id --skip-download $PL
yiAi4cXoKQk
UwtFIWF8wq0
rVc8i6KMWXw
Ve4GNtBoBFk
dh5MevtnxE4
S3jsJpbDP00
KwDtcSP4kjw
MAIjhT0Fabw
3P40eh-GcUA
U6zDC8TzBkM
wlCm-BfXxCc
_ZfxqImqPlE
/home/edrx/e(edrx:sc)# 




#####
#
# Portal da OBMEP (dica do Ricardo Soares, monitor de GA)
# 2023aug26
#
#####

# «portal-da-obmep»  (to ".portal-da-obmep")
# https://portaldaobmep.impa.br/index.php/modulo/
# https://portaldaobmep.impa.br/index.php/modulo/#13 Introdução ao Cálculo
# https://portaldaobmep.impa.br/index.php/modulo/ver?modulo=73 Resolução de problemas na sala de aula
# https://cdnportaldaobmep.impa.br/portaldaobmep/uploads/material_teorico/a25843me6wowk.pdf Resolução...
# (find-books "__analysis/__analysis.el" "yuriko")





#####
#
# implicacao
# 2023sep17
#
#####

# «implicacao»  (to ".implicacao")
# https://youtu.be/TuRE_yo2lNw
# (find-youtubedl-links "/sda5/videos/" "Distancia_entre_Pontos_no_Plano_-_Parte_II" "TuRE_yo2lNw" ".mp4" "{stem}")
# (code-video "regvideo" "/sda5/videos/Distancia_entre_Pontos_no_Plano_-_Parte_II-TuRE_yo2lNw.mp4")
# (find-regvideo)
# (c2jup)
# (c2jua)

Eu vi vários alunos usando o "->" no sentido de "vira"... então eles
escrevem coisas como isso aqui:

2*(3+4)
-> 2*7
-> 14

e aí pra mim essa seta é a redução em um passo - ou a redução em
vários passos - que eu aprendi em livros de λ-cálculo, e que eu
explico aqui:

http://anggtwu.net/LATEX/2018-1-LA-material.pdf#page=2

(isso é o material da minha optativa de λ-cálculo)

Eu tenho preferido usar igualdades com justificativas, como aqui:

http://anggtwu.net/LATEX/2023-2-C2-Tudo.pdf#page=47

porque botando as contas nesse formato fica fácil discutir não só se
cada igualdade tá certa ou não como também porque ela está certa...
por exemplo, eu posso apontar pra uma igualdade e dizer "porque é que
isso aqui é verdade? Isso não é óbvio pra mim" se aquela igualdade não
tiver uma justificativa, e se ela tiver uma justificativa aí a gente
pode discutir se a justificativa está certa ou não...

Aí eu traduziria o

   -4x-6y+13 = 13
=> -4x-6y = 0

pra isso aqui,

   -4x-6y+13 = 13
   -4x-6y = 0       (pela igualdade acima)

ou pra:

   -4x-6y+13 = 13
   -4x-6y = 0

Tem alguns casos em que a gente considera que não precisa escrever
qual é a justificativa - por exemplo, quando a justificativa seria
algo como "pela igualdade anterior e por manipulações algébricas
básicas"... mas quando a gente, ou quando algum livro, está escrevendo
pra leitores mais avançados, aí tem muitos casos em que a gente
considera que dá pra omitir a justificava porque o leitor vai
conseguir descobrir ela sozinho.

A versão moderna disso tá aqui:

https://leanprover.github.io/theorem_proving_in_lean/theorem_proving_in_lean.pdf#page=48

Proof assistants têm várias sintaxes diferentes pras dicas de como
encontrar a demonstração de uma igualdade, ou de uma afirmação de
outro tipo. Essa sintaxe do Lean é uma das que eu acho mais claras.





#####
#
# Humberto Bortolossi: GMA00108, a.k.a. Cálculo 1 
# 2023sep25
#
#####

# «bortolossi-108»  (to ".bortolossi-108")
# (find-angg ".emacs.papers" "bort108")

http://professores.im-uff.mat.br/hjbortol/
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/index.html
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-01.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-02.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-03.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-04.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-05.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-06.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-07.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-08.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-09.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-10.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-11.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-12.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-13.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-14.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-15.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-16.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-17.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-18.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-19.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-20.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-21.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-22.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-23.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-24.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.1/gma00108/arquivos/aulas-v-0.9.pdf

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
A=(
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-01.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-02.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-03.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-04.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-05.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-06.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-07.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-08.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-09.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-10.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-11.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-12.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-13.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-14.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-15.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-16.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-17.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-18.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-19.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-20.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-21.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-22.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-23.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-24.pdf
)
for i in $A; do psne $i; done

;; (find-bort10813page 9 "Usando abuso de notação, a regra da cadeia fica assim")
;; (find-bort10813text 9 "Usando abuso de notação, a regra da cadeia fica assim")
;; (find-bort10801page 44 "costumam usar as formas incorretas")
;; (find-bort10801text 44 "costumam usar as formas incorretas")





#####
#
# bortolossi-108-email
# 2023oct07
#
#####

# «bortolossi-108-email»  (to ".bortolossi-108-email")
# https://mail.google.com/mail/u/0/#inbox/FMfcgzGtwzklJMTfWGbZGTjbzPhWgLrW

Opa, deixa eu puxar a brasa pra outra sardinha...

Quais são os livros de Pré-Cálculo que vocês conhecem (e gostam)?
Claro que servem outras coisas também, como textos, notas, slides,
exercícios...

Eu outro dia fiz um teste de nivelamento na minha turma de Cálculo 2
pra ter uma nocão de quantos alunos sabiam calcular isso aqui,

  d/dx f(sen(x^4) + ln(x))

e descobri que NENHUMÔÔÔÔ aluno da minha turma sabia lidar com a
derivada de uma função abstrata, apesar de que eles conhecem essa
fórmula aqui:

  d/dx f(g(x)) = f'(g(x))g'(x)

[[]]s,
  Eduardo Ochs
  http://anggtwu.net/LATEX/2023-2-C2-Tudo.pdf

---

Oi Humberto e todos!

Primeiro: caramba, Humberto! Seus slides de Cálculo 1 são
fantásticos!!! Eu baixei tudo isso aqui e tou bookmarqueando as
páginas que têm idéias que eu pretendo usar...

http://professores.im-uff.mat.br/hjbortol/
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/index.html
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-01.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-02.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-03.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-04.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-05.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-06.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-07.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-08.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-09.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-10.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-11.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-12.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-13.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-14.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-15.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-16.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-17.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-18.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-19.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-20.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-21.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-22.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-23.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-24.pdf
http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.1/gma00108/arquivos/aulas-v-0.9.pdf

Segundo: deixa eu contar pra todos vocês um assunto grandão que eu
adoraria discutir com vocês aos poucos. Eu vou me referir a estes
links aqui,

[CME] https://www.gutenberg.org/files/33283/33283-pdf.pdf
[CPL] https://leanprover.github.io/theorem_proving_in_lean/theorem_proving_in_lean.pdf#page=48
[EL] http://math.andrej.com/asset/data/the-dawn-of-formalized-mathematics.pdf#page=20
[HF] http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-01.pdf#page=44
[HRC] http://professores.im-uff.mat.br/hjbortol/disciplinas/2014.2/gma00108/aulas/gma00108-parte-13.pdf#page=9
[LDR] http://anggtwu.net/tmp/leithold-pt-cap4.pdf#page=61
[SAPT] http://anggtwu.net/2021aulas-por-telegram.html
[SMVD] http://anggtwu.net/tmp/stewart71pt-cap5.pdf#page=51
[SMVI] http://anggtwu.net/tmp/stewart71pt-cap5.pdf#page=48
[SRCG] http://anggtwu.net/tmp/stewart7-cap14.pdf#page=53
[SVD] http://anggtwu.net/tmp/stewart71pt-cap1.pdf#page=5

o significado das letras entre colchetes em cada um deles é:

  [CME]  "Calculus Made Easy" (Silvanus Thompson)
  [CPL]  Calculational proofs in Lean
  [EL]   Elaboration
  [HF]   Humberto, (slide sobre) funções
  [HRC]  Humberto, (slide sobre) regra da cadeia
  [LDR]  Leithold, diferenciais, regras
  [SAPT] Sobre aulas por Telegram
  [SMVD] Stewart, mudança de variável na integral definida
  [SMVI] Stewart, mudança de variável na integral indefinida
  [SRCG] Stewart, regra da cadeia, versão geral
  [SVD]  Stewart, variáveis dependentes

Então. Eu trabalho num departamento mega-lixo em que eu nunca consegui
discutir com os meus colegas coisas tipo que abordagem usar em cada
curso, que critérios usar pra corrigir provas, e quais erros dos
alunos a gente vai considerar pequenos e quais não... e aí como eu não
conseguia discutir com eles eu comecei a pesquisar e discutir muito na
internets, e em 2021 eu fiz essa apresentação aqui, [SAPT], que muitos
de vocês assistiram, e depois dela alguns dos meus coleguinhas
surtaram, alguns desses fizeram umas acusações falsas contra mim, e
agora estamos no meio de brigas sangrentas.

Uma das desculpas "matemáticas" deles pra surtarem é que faz anos que
eu não acredito mais que dê pra gente usar essa abordagem daqui, do
slide [HF], em cursos sobre integração... deixa eu copiar pra cá a
parte que importa:

  O correto é dizer "a função f" e não "a função f(x)"
  (ou "a função y=f(x)"). Contudo, por simplicidade,
  livros e pessoas costumam usar as formas incorretas.
  Exemplo: dizer "a função y=2x" ao invés de "a função
  f:R->R tal que y=f(x)=2x".

Os melhores livros que eu conheço que ensinam integração usam
variáveis dependentes e diferenciais como se elas fossem entidades que
obedecem regras muito precisas - [CME], [LDR], [SVD], [SRCG]. Neste
outro slide do Humberto aqui, [HRC], sobre regra da cadeia, ele trata
variáveis dependentes e essa fórmula aqui

  dy/dx = dy/du du/dx

como se elas fossem só um abuso de linguagem e como se bastasse os
alunos estudarem bastante pra serem capazer de traduzir esses abusos
de linguagem pra algo formal... _isso não é mais verdade_ - os alunos
estão entrando na universidade tão fracos que a capacidade deles de se
virarem sozinhos é quase zero, e uma das coisas que eu tenho tentado
fazer é fazer versões expandidas de certas contas dos livros com
justificativas "boas" pra cada passo... uma boa noção de
"justificativa boa" é "uma justificativa que um computador entenda", e
aqui tem um exemplo disso: [CPL]. E já que a gente vai pensar em
termos de "contas nas quais um computador seja capaz de verificar cada
passo" a gente pode pensar também em termos de quais abusos de
linguagem computadores são capazes de entender - isso se chama
"elaboration", tem uns slides ótimos sobre isso em [EL], e PARECE que
a versão nova do Lean tem ferramentas bastante boas pros usuários que
quiserem implementar as suas próprias regras de "elaboration"... eu
ainda não sei nem fazer coisas básicas no Lean direito, mas quero
aprender nos próximos anos.

Enquanto a gente não sabe fazer contas que um computador realmente
entenda a gente pode tentar escrever (algumas d)as nossas contas num
formato que a gente acha que um computador PODERIA entender, e a gente
pode tentar expandir certas contas e demonstrações dos livros pra um
formato que a gente acha que um computador poderia entender. Pra gente
expandir contas com variáveis dependentes e diferenciais a gente
manter um banco de "fatos", como

  u = sen(x)

que vão ser usados pra contas formais, e me parece muito mais fácil
começar com contas formais e depois completá-las com as informações
que vão torná-las aceitáveis pra um analista do que fazer direto
contas que um analista aceita...

Nenhum de nós sabe usar proof assistants como o Lean mas muitos de nós
sabem usar programas de computação simbólica. O único que eu sei usar
bem é o Maxima, que faz contas formais muito bem. O Maxima não só tem
ferramentas muito boas pra lidar com "bancos de fatos" como ele tem
uns features - meio obscuros, mas evidentemente feitos por pessoas
muito fodas - pra lidar com variáveis dependentes e diferenciais... e
imagino que o Mathematica e o Maple tenham features parecidos.

O Stewart e um monte de outros livros demonstram a fórmula da mudança
de variável na integral começando pela integral indefinida, e desse
jeito aqui, [SMVI], que inclui passos com os quais até hoje eu não
estou totalmente à vontade... nos meus cursos eu começo pelo [SMVD] e
trato o [SMVI] como uma abreviação pro [SMVD]. O pedaço que eu sei
formalizar bem dessa demonstração do [SMVD] precisa de um "banco de
fatos" com variáveis dependentes que eu consigo escrever de um modo
que o Maxima entende. E quando a gente admite que a gente vai precisar
de variáveis dependentes e bancos de fatos isso aqui, do [HF], deixa
de ser verdade:

  O correto é dizer "a função f" e não "a função f(x)"
  (ou "a função y=f(x)"). Contudo, por simplicidade,
  livros e pessoas costumam usar as formas incorretas.
  Exemplo: dizer "a função y=2x" ao invés de "a função
  f:R->R tal que y=f(x)=2x".

podemos ter "f(x)=2x" e "y=f(x)" no nosso banco de fatos; podemos
extrair o "left hand side" e o "right hand side" de cada igualdade no
nosso banco de fatos; os nomes das variáveis vão ser importantes; "f",
"f(x)", "y=f(x)" e "y=2x" são todos válidos, úteis, e todos
ligeiramente diferentes... e, MUITO IMPORTANTE:

Eu só sei formalizar a linguagem do Cálculo definindo uma pilha de
linguagens, com uma primeira linguagem mais básica embaixo que não tem
nem variáveis dependentes nem diferenciais, depois uma segunda que
estende a primeira com variáveis dependentes, e depois uma terceira
que estende a segunda com diferenciais. Na primeira linguagem o que o
Humberto diz acima sobre "correto" e "incorreto" é verdade, mas nas
outras não...

Bom, é isso... não sei se ficou claro, mas eu precisava escrever pra
tirar isso da cabeça e conseguir dormir. Espero que dê pra conversar
essas coisas com vocês um dia desses!

  Abraços,
    Eduardo



#####
#
# E-mail pro Antônio: que tipo de resposta você espera pra essa pergunta?
# 2023oct19
#
#####

# «antonio-que-resp»  (to ".antonio-que-resp")
# https://mail.google.com/mail/u/0/#inbox/FMfcgzGtxdZHdWQLZcsPdZmdSbXwqjfl
# (find-fline "~/books/ANTONIO/")

Oi Antônio!

Desculpe a demora - eu realmente não tinha visto o seu e-mail de
3/outubro, e aí eu baixei todos os PDFs que você anexou nele e nos
últimos dias eu dei uma lida por alto em todos...

> Na sua atividade ga-conjuntos os geradores e filtros são
> apresentados na teoria de conjunto, em seguida, na representação em
> tabela e nos exercícios pede-se para fazer a representação no plano
> cartesiano. Pergunta: Qual o processo de congurência semântica
> dessas representações?

Que tipo de resposta você espera pra essa pergunta? Algo em uma frase
só, só com as idéias-chave? Nos artigos eu só encontrei respostas
curtíssimas pra perguntas tipo "qual é a congruência semântica nesse
caso aqui?" - mas talvez seja por questões de espaço e limitações no
número de páginas...

É possível descrever um processo de congruência semântica com todos os
detalhes? Onde eu encontro exemplos disso?

Uma das minhas áreas de pesquisa - na qual eu ainda sou meio
iniciante, mas deixa eu chamar de "área de pesquisa" assim mesmo - é
formalização de demontrações em assistentes de provas ("proof
assistants"). Alguns proof assistants implementam uma coisa chamada
"elaboration", que tá super bem explicada nos 7 slides do Andrej Bauer
que eu tou mandando em anexo; a apresentação inteira, de onde eu tirei
esses 7 slides, está aqui:

https://math.andrej.com/2021/06/24/the-dawn-of-formalized-mathematics/
https://math.andrej.com/asset/data/the-dawn-of-formalized-mathematics.pdf

Quando a gente tem um "elaborator" que sabe completar todos os
detalhes de um certa expressão - por exemplo, dessa expressão daqui,
dos slides -

  Se f é linear então f(2·x+y) = 2·f(x) + f(y)

a gente consegue examinar cada passo que ele faz, e a gente consegue
ver exatamente quais conhecimentos ele usou... e isso nos permite ver
como ele desmonta a tarefa "complete os detalhes da expressão acima"
em um monte de subtarefas, e se a gente estiver ensinando uma matéria
na qual os alunos têm que lidar com expressões como a acima a gente
pode usar esse "elaborator" pra ter uma noção de quais vão ser algumas
das dúvidas mais comuns, e pra preparar exercícios sobre os passos
mais difíceis...

Eu fiquei com a impressão de que o Raymond Duval está lidando com um
problema bem mais difícil do que o "elaborator". O pessoal de proof
assistants que escreve elaborators está tentando modelar o pensamento
de pessoas que sabem entender certas linguagens matemáticas - mas o
Raymond Duval está tentando criar um modelo mental que nos permita
entender pessoas que NÃO SABEM resolver certos problemas, e
ajudá-las...

  [[]],
    Eduardo



#####
#
# redmat
# 2023dec11
#
#####

# «redmat»  (to ".redmat")

Olá
Vc conhece o projeto REDMAT do IME/UFF?
Os produtos passados e projetos de ensino podem ser encontrados nos
seguintes links:

https://linktr.ee/redmatuff
http://gma.uff.br/wordpress/redmat/ Site oficial do projeto
https://redmatuff.github.io/site/ Site em desenvolvimento do projeto
https://www.instagram.com/redmatuff Instagram




#####
#
# rodrigo-renji
# 2023dec26
#
#####

# «rodrigo-renji»  (to ".rodrigo-renji")
# https://www.facebook.com/groups/261270077250430/posts/7385436411500392/
# https://apoia.se/atelierdesonhos/contents/view/Textos-de-Matematica-C4hBUeFaN
# (code-c-d "renjimat" "~/usrc/rodrigo_renji/")
# (find-renjimatfile "")




#####
#
# puc-rio-videos
# 2024jan30
#
#####

# «puc-rio-videos»  (to ".puc-rio-videos")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-fline "/tmp/mat/")
rm -Rv /tmp/mat/
mkdir  /tmp/mat/
cd     /tmp/mat/
yt-dlp
yt-dlp --help
yt-dlp --yes-playlist "https://www.youtube.com/playlist?list=PLJ0-wyS54HHq5aim8U4SpCfTJ-zk4vZju#ext=777"

50 anos Doutorado Matematica PUC - Short [mHzqqlEi1y0].mkv
# (find-yttranscript-links "{c}" "mHzqqlEi1y0")

CTC PUC Rio apresenta 50 anos do Programa de Doutorado em Matematica – ep1, Ecos do princípio [92qF_4aPmVc].mkv
# (find-yttranscript-links "{c}" "92qF_4aPmVc")

CTC PUC Rio apresenta 50 anos do Programa de Doutorado em Matematica – ep2, Programa em progressão [8bbOw2p5QTk].mkv
# (find-yttranscript-links "{c}" "8bbOw2p5QTk")

CTC PUC Rio apresenta 50 anos do Programa de Doutorado em Matematica – ep3, Construção de futuro [2bbC38mwDfE].mkv
# (find-yttranscript-links "{c}" "2bbC38mwDfE")

CTC PUC Rio apresenta 50 anos do Programa de Doutorado em Matematica – o documentário [ZtK1furoVKI].mkv
# (find-yttranscript-links "{c}" "ZtK1furoVKI")





;; <andrini>
;; https://acervoleonardoportal.wordpress.com/wp-content/uploads/2019/12/livro-de-matematica-alvaro-andrini-9-ano-pdf-leonardoportal.pdf
;; (find-fline "$S/https/acervoleonardoportal.wordpress.com/wp-content/uploads/2019/12/")
(code-pdf-page "andrini" "$S/https/acervoleonardoportal.wordpress.com/wp-content/uploads/2019/12/livro-de-matematica-alvaro-andrini-9-ano-pdf-leonardoportal.pdf")
(code-pdf-text "andrini" "$S/https/acervoleonardoportal.wordpress.com/wp-content/uploads/2019/12/livro-de-matematica-alvaro-andrini-9-ano-pdf-leonardoportal.pdf")
;; (find-andrinipage)
;; (find-andrinitext)





https://haskell.pesquisa.ufabc.edu.br/
https://haskell.pesquisa.ufabc.edu.br/teoria-das-categorias/





Geometria Analítica para todos 
https://web.icmc.usp.br/SCATUSU/Boletim_aquisicao/Boletim_Novembro_2017/Capas/Baldin_Geometria0001.pdf

Ripoll/Ripoll/Silveira: "Números racionais, reais e complexos"
(find-books "__analysis/__analysis.el" "ripolls-silveira")
https://www.lume.ufrgs.br/handle/10183/212829
https://www.lume.ufrgs.br/bitstream/handle/10183/212829/000783342.pdf

;; <ddnprecalc>
;; Doering/Doering/Nacul: "Pré-cálculo"
;; https://www.lume.ufrgs.br/handle/10183/212741
;; https://www.lume.ufrgs.br/bitstream/handle/10183/212741/000874807.pdf
;; https://www.lume.ufrgs.br/bitstream/handle/10183/212741/000874807.pdf
(code-pdf-page "ddnprecalc" "$S/https/www.lume.ufrgs.br/bitstream/handle/10183/212741/000874807.pdf")
(code-pdf-text "ddnprecalc" "$S/https/www.lume.ufrgs.br/bitstream/handle/10183/212741/000874807.pdf")
;; (find-ddnprecalcpage)
;; (find-ddnprecalctext)
;; (find-ddnprecalcpage (+ 1 51) "Polinomios")
;; (find-ddnprecalctext (+ 1 51) "Polinomios")



https://www.youtube.com/channel/UCb1D0skt2pc26e5XMP9A1HQ Fábio Freitas Ferreira
https://www.youtube.com/c/MatemáticaAplicadaMétodosComputacionais


João Marcos: conjuntos e funções 2021jan25
https://www.youtube.com/playlist?list=PLekOxW8qKsV-nKSww7St_IvZj_nRutDEv
https://sites.google.com/site/sequiturquodlibet/courses/tdc
https://sites.google.com/site/sequiturquodlibet/

https://www.youtube.com/playlist?list=PLekOxW8qKsV-pLZf5dSA37BBd1nrMQaNz especificações algébricas

https://dercuano.github.io/notes/raph-io.html

https://news.ycombinator.com/item?id=29653572 Germany is closing half of its reactors before the end of the year (bnnbloomberg.ca)
https://news.ycombinator.com/item?id=29652755 FDA authorizes first antiviral pill for Covid, Paxlovid (npr.org)


https://news.ycombinator.com/item?id=29652139 How to draw S-curved arrows between boxes (dragonman225.js.org) ***
https://dragonman225.js.org/curved-arrows.html How to Draw S-Curved Arrows Between Boxes / Rectangles ***





https://www.prg.usp.br/iq-disponibiliza-guia-na-transposicao-de-disciplinas-presenciais-para-o-modo-online/



https://math.hmc.edu/su/writing-math-well/
https://math.hmc.edu/su/wp-content/uploads/sites/10/2020/06/Writing-Math-Well-HMC-Math.pdf
https://math.hmc.edu/su/wp-content/uploads/sites/10/2019/11/good-math-writing.pdf



https://medium.com/q-e-d/the-burn-it-down-and-start-again-mathematics-curriculum-2c313fcfe1c9
http://www.matthewoldridge.com/


https://genereporter.blogspot.com/2020/07/divulgacao-cientifica-deve-ser.html



# https://itsfoss.com/best-linux-screen-recorders/
# https://mail.google.com/mail/ca/u/0/#inbox/FMfcgxwJXCFxKvrRkHGPHGwtXnVzsdfp
# (find-es "screencasts" "obsstudio")
# (find-es "screencasts" "simplescreenrecorder")


# "Solving Inductive Reasoning Problems in Mathematics: Not-so-Trivial Pursuit":
# https://onlinelibrary.wiley.com/doi/pdf/10.1207/s15516709cog2402_3



https://yourlogicalfallacyis.com/br

http://www.uff.br/?q=cursos-google-education-nas-praticas-de-ensino-remoto-de-ciencias-e-docencia-online-em-tempo-de

http://www.im-uff.mat.br/cineclube/r.html?fbclid=IwAR2PQ3xJ4aM4SExXWNGLZ0b3cr0X4P-eo8U45brKVJE0OIr0Dvlnjh_5730

https://www.youtube.com/user/ogeogebra

https://www.youtube.com/watch?v=DjI1NICfjOk&t=9s


https://www.theguardian.com/us-news/2020/nov/08/alexandria-ocasio-cortez-ends-truce-by-warning-incompetent-democratic-party

http://uff.br/?q=gt-cepex-divulga-volume-2-do-e-book-boas-praticas-para-o-ensino-online
http://www.uff.br/sites/default/files/boas_praticas_para_o_ensino_online_-_prograd-uff.pdf

https://www.unicef.org/stories/radio-based-learning-gets-its-day-sun-mali


https://umlivroaberto.org/producao/atividades-de-introducao-as-funcoes/
https://en.wikipedia.org/wiki/Burkard_Polster
https://www.reddit.com/r/math/comments/f28u5z/all_mathologer_videos_are_gone/


https://miro.com/l/work-from-home miro whiteboard
https://www.youtube.com/watch?v=_EqhjlxgG88

https://www.jota.info/coberturas-especiais/liberdade-de-expressao/planalto-rebate-acao-contra-uso-do-sistema-penal-para-limitar-liberdade-de-imprensa-18062021?fbclid=IwAR3PpM0pa9bNCp9o13Demq7a0HNKOUs0RsAEFkeWq6ohv6pwW4l-4l01uJc

https://www.youtube.com/watch?v=NtLgbyGUu0E
https://www.youtube.com/watch?v=XepJPxPMdN4


;; <mitmcs>
;; Lehman/Leighton/Meyer: "Mathematics for Computer Science" (2010)
;; https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/readings/MIT6_042JF10_notes.pdf
;; (find-fline "$S/https/ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/readings/")
(code-pdf-page "mitmcs" "$S/https/ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/readings/MIT6_042JF10_notes.pdf")
(code-pdf-text "mitmcs" "$S/https/ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/readings/MIT6_042JF10_notes.pdf")
;; (find-mitmcspage)
;; (find-mitmcstext)


https://wakelet.com/wake/0YFTaopH6fi6gODKu0-Pg Recursos Educacionais Abertos

http://textbooks.math.gatech.edu/ila/index.html Interactive Linear Algebra

https://news.ycombinator.com/item?id=28168339 Interactive Linear Algebra (2019) (gatech.edu)

https://betterexplained.com/

https://theconversation.com/why-we-remember-more-by-reading-especially-print-than-from-audio-or-video-159522

https://news.ycombinator.com/item?id=31717007 Lorien – Infinite canvas drawing/whiteboarding app (github.com/mbrlabs)

Escola não é empresa:
https://edisciplinas.usp.br/pluginfile.php/5719086/mod_resource/content/1/LavalEscNEEmpCaps1a4-2.pdf

http://www.ime.unicamp.br/~sandra/CCA/index.html
http://www.ime.unicamp.br/~sandra/CCA/escada/index.html
http://www.ime.unicamp.br/~sandra/CCA/lagrange/lagrange.html

https://www.youtube.com/c/Matem%C3%A1ticaUniversit%C3%A1riaProfRenan

https://news.ycombinator.com/item?id=34374251 ChatGPT: 4000 word University assignment hot caught out. Wtf do I do. (reddit.com) - such that sitting and reading the book will run you out of time ***
https://old.reddit.com/r/ChatGPT/comments/10acv6k/4000_word_university_assignment_hot_caught_out/

https://news.ycombinator.com/item?id=34485871 Rotation with three shears (cohost.org)

https://math.mit.edu/classes/proofsiap/ 18.S097 Special Subject in Mathematics: Introduction to Proofs
https://news.ycombinator.com/item?id=35511357 Effective Spaced Repetition (borretti.me)
https://borretti.me/article/effective-spaced-repetition
http://talmo.uk/2023/generativeai.html





#  Local Variables:
#  coding:               utf-8-unix
#  End: