[INCLUDE TH/speedbar.blogme] [SETFAVICON dednat4/dednat4-icon.png] [SETFAVICON IMAGES/forthsun.png] [# (defun c () (interactive) (find-blogme3-sh0-if "2009.1-MD")) ;; http://angg.twu.net/2009.1-MD.html ;; file:///home/edrx/TH/L/2009.1-MD.html #] [lua: LR = R ] [lua: def [[ SCAN 3 cod,date,ext R("2009.1/$cod/$date.$ext", "$date") ]] def [[ ^ 1 text "$text" ]] def [[ \subseteq 1 _ "⊆" ]] ] [htmlize [J 2009.1 - Matemática Discreta] [_TARGETS http://www.danielclemente.com/logica/dn.pdf 2009.1 -> (find-TH "2009.1") ] [P O livro oficial do curso é o do Edward Scheinerman. No início eu tentei usar o da Judith Gersting, mas desisti (e decretei que ele era péssimo).] [P Existem dois modos principais de representar derivações em Dedução Natural: um "vertical" ("Fitch") e outro em árvore. No curso nós estamos usando a representação em árvore, e de vez em quando fazendo traduções entre as duas representações. [IT Não conheço nenhum livro básico que use a representação em árvore,] mas mesmo assim acho que ela vai acabar sendo mais fácil de usar que a representação à là Fitch...] [P Horários, sala, etc: veja a [__ 2009.1 página sobre os cursos que eu estou dando].] [P Alguns [R 2009.1/MD/ scans]: [BR] [SCAN MD 2009-apr-03 pdf]: regras para Dedução Natural (proposicional) [BR] [SCAN MD 2009-apr-08 pdf]: regras para os quantificadores, e uma derivação grande [BR] [SCAN MD 2009-apr-29 pdf]: um monte de exercícios pequenos sobre indução ] [# # http://angg.twu.net/2009.1/MD/2009-apr-03.pdf # http://angg.twu.net/2009.1/MD/2009-apr-08.pdf # http://angg.twu.net/2009.1/MD/2009-apr-29.pdf # ainda não -> (find-LATEX "2009may12-MD-gab.tex") # -> (find-LATEX "2009may13-MD.tex") #] [P Monitora: Aline Rodrigues Souza [BR] Horário de atendimento: 2ªs, 3ªs e 5ªs das 10:00-12:00, na sala 4B ] [br] [P A profª Adriana Vivacqua me pediu pra dar um tutorial de Lua no curso dela de ICC... parece que vai ser na terça, 28/abril, das 18-20hs, ou no auditório ou na sala onde as aulas de ICC acontecem...] [P Esse tutorial de Lua vai ser meio uma introdução à linguagem, meio uma introdução ao λ-cálculo, e vai ser uma espécie de preparação pra apresentação que eu vou fazer no curso dela em 26/maio sobre teorias de tipos e "esqueletos de demonstrações".] [# [P Dois livros [IT bem] avançados que tratam (um pouco) de Dedução Natural em árvore] http://en.wikipedia.org/wiki/Natural_deduction http://sixwingedseraph.wordpress.com/2009/05/15/variables/ http://www.abstractmath.org/MM/MMVarSub.htm http://www.abstractmath.org/MM/MMMathObj.htm #] [# % % (eedn4a-bounded) % (find-sh0 "cd ~/LATEX/ && dvips -D 300 -P pk -o tmp.ps tmp.dvi") % (find-sh0 "cd ~/LATEX/ && dvips -D 600 -P pk -o tmp.ps tmp.dvi") % (find-sh0 "cd ~/LATEX/ && dvired -D 300 -P pk -o tmp.ps tmp.dvi") % (find-pspage "~/LATEX/tmp.ps") {\myttchars \footnotesize \begin{verbatim} Conteúdo programático: 1 - Construções indutivas. 2 - Provas por indução. 3 - Relações de Recorrência: Torre de Hanói 4 - Conjuntos: Conjuntos numéricos (N, Z, Q, R); Famílias de conjuntos e conjuntos das partes; Operações unárias e binárias; Operações entre conjuntos; Álgebra de conjuntos; Cardinalidade de conjuntos; Conjuntos finitos, infinitos e enumeráveis 5 - Métodos de contagem: princípio da multiplicação e da adição; árvores de decisão; princípio de inclusão e exclusão; princípio das casas do pombo; permutação e combinação 6 - Relações binárias; fecho reflexivo, fecho simétrico e fecho transitivo; relação de equivalência (inteiros módulo n); ordem parcial (diagrama de Hasse); ordenação topológica (diagrama PERT) 7 - Funções (parciais e totais): função sobrejetiva, injetiva, bijetiva; composição de funções; função inversível; permutações de um conjunto, ciclos 8 - Ordem de grandeza de funções; notação f=O(g) 9 - Estruturas algébricas: semigrupos, monóides, grupos; grupos de permutação, homomorfismo de grupos, reticulados \end{verbatim} } % Calendário de Matemática Discreta (com datas corridas, incluindo dias sem aulas) March 2009 Su Mo Tu We Th Fr Sa 1 2 3 4 5 6 7 8 9 10<11>12<13>14 aulas 1 e 2 15 16 17<18>19<20>21 aulas 3 e 4 22 23 24<25>26<27>28 aulas 5 e 6 29 30 31 April 2009 Su Mo Tu We Th Fr Sa < 1> 2< 3> 4 aulas 7 e 8 5 6 7< 8> 9[10]11 aula 9 e [10] (sexta-feira santa) 12 13 14<15>16<17>18 aulas 11 e 12 19 20 21<22>23<24>25 aulas 13 e 14 26 27 28<29>30 aula 15 May 2009 Su Mo Tu We Th Fr Sa [ 1] 2 aula 16 3 4 5< 6> 7< 8> 9 aulas 17 e 18 10 11 12<13>14<15>16 aulas 19 e 20 17 18 19<20>21<22>23 aulas 21 e 22 24 25 26<27>28<29>30 aulas 23 e 24 31 June 2009 Su Mo Tu We Th Fr Sa 1 2< 3> 4< 5> 6 aulas 25 e 26 7 8 9<10>11<12>13 aulas 27 e 28 14 15 16<17>18<19>20 aulas 29 e 30 21 22 23<24>25<26>27 aulas 31 e 32 28 29 30 July 2009 Su Mo Tu We Th Fr Sa < 1> 2< 3> 4 aulas 33 e 34 5 6 7< 8> 9<10>11 aulas 35 (prova de reposição), aula 36 (VS) 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 #] [MES MARÇO [AULA 1 2009-mar-11 ] [AULA 2 2009-mar-13 ] [AULA 3 2009-mar-18 ] [AULA 4 2009-mar-20 ] [AULA 5 2009-mar-25 ] [AULA 6 2009-mar-27 ] ] [br] [MES ABRIL [AULA 7 2009-abr-01 ] [AULA 8 2009-abr-03 [SCAN MD 2009-apr-03 pdf]: regras para Dedução Natural (proposicional) ] [AULA 9 2009-abr-08 [SCAN MD 2009-apr-08 pdf]: regras para os quantificadores, e uma derivação grande ] [AULA 10 2009-abr-10 ] [AULA 11 2009-abr-15 Álgebras de subconjuntos ] [AULA 12 2009-abr-17 ] [AULA 13 2009-abr-22 ] [AULA 14 2009-abr-24 ] [AULA 15 2009-abr-29 [SCAN MD 2009-apr-29 pdf]: um monte de exercícios pequenos sobre indução [# (find-LATEX "2009apr29-MD.tex") #] ] ] [br] [MES MAIO [AULA 16 2009-mai-01 ] [AULA 17 2009-mai-06 ] [AULA 18 2009-mai-08 ] [AULA 19 2009-mai-13 ] [AULA 20 2009-mai-15 ] [AULA 21 2009-mai-20 Exercícios sobre definições e indutivas (caminhos num tabuleiro com uma casa proibida, valor de strings que representam expressões aritméticas) ] [AULA 22 2009-mai-22 Continuação da aula anterior. ] [AULA 23 2009-mai-27 Revisão antes da prova: problema de adivinhar um número de 1 a 1023; como escrever a indução da busca binária. ] [PROVA 24 2009-mai-29 Primeira prova. ] ] [br] [MES JUNHO [AULA 25 2009-jun-03 Aula cancelada por causa da banca do concurso de lógica - mas eu passei uma folha sobre relações, funções e grafos. ] [AULA 26 2009-jun-05 Relações, funções, grafos. ] [AULA 27 2009-jun-10 Relações, funções, grafos. ] [AULA 28 2009-jun-12 Relações, funções, grafos. ] [AULA 29 2009-jun-17 Cardinalidade. ] [AULA 30 2009-jun-19 Revisão de tipos e objetos; um exercício pra aumentar a nota da P1: identificar os objetos e relações da prova e do gabarito. ] [AULA 31 2009-jun-24 Os alunos pediram pra cancelar porque achavam que é feriado (mas só é em Niterói!) e eles não vão ter uma certa outra aula... mas também tem uma reunião de departamente nesse dia e horário, então aula cancelada... ] [AULA 32 2009-jun-26 P2 ] ] [br] [MES JULHO [AULA 33 2009-jul-01 VR ] [AULA 33 2009-jul-03 ] [AULA 33 2009-jul-08 VS ] [AULA 33 2009-jul-10 ] ] ] [# # Local Variables: # coding: raw-text-unix # modes: (fundamental-mode blogme-mode) # End: #]