[INCLUDE TH/speedbar.blogme]
[SETFAVICON dednat4/dednat4-icon.png]
[SETFAVICON IMAGES/forthsun.png]
[# 
(defun c () (interactive) (find-blogme3-sh0-if "2009.2-MD"))
;;    http://angg.twu.net/2009.2-MD.html
;; file:///home/edrx/TH/L/2009.2-MD.html
#]
[lua: LR = R ]
[lua:
  -- (find-equailfile "latin-ltx.el.gz")
  -- (find-equailfile "latin-ltx.el")
  -- (find-blogme3 "charset.lua")
  -- (find-eev "eev-math-glyphs.el")
  sgmlify_table["ý"] = "Ɐ"
  sgmlify_table["Î"] = "∃"
  sgmlify_table["Ý"] = "∈"
  sgmlify_table["‚"] = "∞"
  sgmlify_table["Ì"] = "∩"
  sgmlify_table["þ"] = "∪"


  def [[ SCAN 3 cod,date,ext R("2009.1/$cod/$date.$ext", "$date") ]]
  def [[ \aa  1 _ "α" ]]
  def [[ \bb  1 _ "β" ]]
  def [[ \cc  1 _ "γ" ]]
  def [[ \fa  1 _ "Ɐ" ]]
  def [[ \ex  1 _ "∃" ]]
  def [[ \in  1 _ "∈" ]]
  def [[ \neq 1 _ "≠" ]]
  def [[ \notin 1 _ "∉" ]]
  def [[ \subseteq  1 _ "⊆" ]]
  def [[ \subsetneq 1 _ "⊊" ]]
  def [[ \nsubseteq 1 _ "⊈" ]]
  def [[ \Pts       1 _ "℘" ]]
  def [[ \infty 1 _ "∞" ]]
]

[htmlize [J 2009.2 - Matemática Discreta]

[_TARGETS
  Courant => http://gigapedia.org/items/80541/introduction-to-calculus-and-analysis--vol-1---1965-
  Spivak  => http://gigapedia.com/items/107053/calculus
  Schey   => http://www.amazon.com/Div-Grad-Curl-All-That/dp/0393925161
  Schey   => http://gigapedia.com/items/116337/div--grad--curl--and-all-that--an-informal-text-on-vector-calculus--3ed
  Malta-G => http://books.google.com/books?id=MbxCf9v3z78C
  Malta-1 => http://www.livrariadafisica.com.br/detalhe_produto.aspx?id=20048
  2009.1  -> (find-TH "2009.1")
  2009.2  -> (find-TH "2009.2")
  C2-old  -> (find-TH "2009.1-C2")
  MD-old  -> (find-TH "2009.1-MD")
  P1.tex  -> (find-angg     "LATEX/2009-2-MD-prova-1.tex")
  P1.pdf  -> (find-anggfile "LATEX/2009-2-MD-prova-1.pdf")
  hjb     => http://www.professores.uff.br/hjbortol/
  hjbc2   => http://www.professores.uff.br/hjbortol/disciplinas/2007.1/gma06074/index.html
    http://www.professores.uff.br/hjbortol/disciplinas/2007.1/gma06074/gma06074.cronograma.html
    http://www.professores.uff.br/hjbortol/disciplinas/2007.1/gma06074/gma06074.listas.html
  comp.tex -> (find-angg     "LATEX/2009-2-MD-comparacao.tex")
  comp.pdf -> (find-anggfile "LATEX/2009-2-MD-comparacao.pdf")
]

[P O livro oficial do curso é o Scheinerman.]

[P Horários, sala, etc: veja a [__ 2009.2 página sobre os cursos que
eu estou dando].]

[P Página do curso do semestre passado: [__ MD-old aqui].]

[br]

[P [BF Cronograma] (o que foi dado nas aulas que já aconteceram):]

[br]

[MES AGOSTO
  [AULA 1 2009-aug-24
    Noção de "redução" para calcular os valores de expressões; valores
    podem ser números, valores de verdade ([BF F], [BF V]), conjuntos,
    etc; "=" como comparação; contextos, valores de variáveis,
    definições; as operações lógicas "e" e "ou"; como interpretar
    "para todo" e "existe" sobre conjuntos finitos.
    [BR]
    Exercícios pra casa: para A={1,2,3}, B={2,3,4}, C={2,3}, calcule
    aÝA.aÝC, ýaÝA.aÝB, ÎbÝB.3<b, ýaÝA.ÎbÝB.a<b.
  ]
  [AULA 2 2009-aug-26
    Aula cancelada (por causa de um concurso).
  ]
  [AULA 3 2009-aug-31
    Mais operações lógicas: implicação, biimplicação, negação.
  ]
]

[br]

[MES SETEMBRO
  [AULA 4 2009-sep-02
    Tabelas de verdade; tautologias; contra-exemplos; seguimos a prova
    da p.18 do Scheinerman (a soma de dois pares é par) e fizemos uma
    correspondente para o exercício 3 da p.24 (o produto de dois pares
    é par), começando com um idéia em uma linha: "se x=2a e y=2b então
    xy=2(2ab)"; pedi pra todo mundo ler o capítulo 1 e descobrir o que
    ele diz sobre o nível de detalhe correto de provas.
  ]
  [AULA 5 2009-sep-07
    Feriado.
  ]
  [AULA 6 2009-sep-09
    Definições equivalentes; substituição de iguais por iguais; três
    definições diferentes de "divide" (chamei elas de divide, divide',
    divide''; só uma delas tinha expansão finita)
  ]
  [AULA 7 2009-sep-14
    Começamos o capítulo 2 do Scheinerman. Introduzi algumas operações
    que vamos usar e que não estão definidas explicitamente no livro:
    comprimento de uma lista e extração de uma componente de uma
    lista. A definição formal de "a=b" quando a e b são listas. Os
    problemas de contagem do Scheinerman usam duas outras operações
    implicitamente que nós vimos em detalhes na aula: {(a,b) | aÝA,
    bÝB, P(a,b)} e contagem dos elementos de um conjunto. A
    correspondência entre B={(a,b) | a,bÝ{1,...,4}, b[\neq]a} e
    C={(a',b') | a'Ý{1,2,3,4}, b'Ý{1,2,3}} - em C o b' diz qual dos
    elementos que "ainda não foi escolhido" (i.e., que é diferente de
    a) é escolhido para ser o b.
  ]
  [AULA 8 2009-sep-16
    Auto-teste: pedi pros alunos escolherem ou o problema 4 da p.43 ou
    o 4 da p.24 do Scheinerman, resolverem do modo mais claro possível
    (30 mins pra isso) e depois trocarem com um colega pra cada um
    "corrigir" o do outro, apontando o que estava errado ou pouco
    claro e indicando melhorias possíveis. Não valia nota, então todos
    deveriam ficar à vontade pra apontar todos os erros e melhorias
    possíveis.
    [BR]
    Depois os alunos que quisessem mais dicas de correções e melhorias
    deveriam se juntar em grupos de no mínimo 4 pessoas, preparar uma
    só folha com a melhor resposta que conseguissem, e me entregar pra
    eu "corrigir" ela fazendo comentários por escrito.
  ]
  [AULA 9 2009-sep-21
    Conjuntos, A=B, [\in], [\subseteq], [\subsetneq], [\nsubseteq],
    [\Pts](A), A×B
  ]
  [AULA 10 2009-sep-23
    Como construir [\Pts](A) por uma árvore de decisões; tipos de
    objetos; conjuntos e listas podem ter elementos de vários tipos;
    avisei que vamos ver outros tipos depois, mas que eles geralmente
    vão poder ser [IT representados] por conjuntos, listas, etc;
    definição formal de interseção; conjuntos definidos por
    propriedades: por enquanto vimos [\Pts](A) = {B|B[\subseteq]A},
    A×B = {(a,b)|aÝA, bÝB} e AÌB = {aÝA|aÝB} - as propriedades que vão
    nos interessar mais retornam conjuntos finitos quando recebem
    conjuntos finitos. Mencionei que R = {A conjunto | A[\notin]A} é
    contraditório - RÝR e R[\notin]R (vamos ver isto com detalhes
    depois). Pedi pra todo mundo tentar fazer todos os problemas das
    páginas 55 e 56.
  ]
  [AULA 11 2009-sep-28
    Produtórios, somatórios, fatoral, (¬ÎaÝA.P(a))=(ýaÝA.¬P(a)),
    (¬ýaÝA.P(a))=(ÎaÝA.¬P(a)).
  ]
  [AULA 12 2009-sep-30
    (Aula pra muito poucas pessoas, porque foi depois da prova de
    Cálculo 2, que acabou tarde). 
    [BR]
    O que é uma "proposição qualquer"; como encontrar todas as
    proposições sobre um conjunto de 4 elementos.
  ]
]

[br]

[MES OUTUBRO
  [AULA 13 2009-out-05
    (Revisão)
  ]
  [PROVA 14 2009-out-07
    P1 ([__ P1.pdf PDF], [__ P1.tex LaTeX]; inclui uma versão
    preliminar do gabarito). Matéria: seções 1-6 e 9 do Scheinerman.
  ]
  [AULA 15 2009-out-12
    Feriado.
  ]
  [AULA 16 2009-out-14
    Poucos alunos vieram, aí a gente só discutiu as questões da prova.
  ]
  [AULA 17 2009-out-19
    Semana acadêmica.
  ]
  [AULA 18 2009-out-21
    Semana acadêmica.
  ]
  [AULA 19 2009-out-26
    Feriado.
  ]
  [AULA 20 2009-out-28
    Aula sobre definir proposições... não deu muito certo, vamos
    voltar a esse assunto depois.
  ]
]

[br]

[MES NOVEMBRO
  [AULA 21 2009-nov-02
    Feriado.
  ]
  [AULA 22 2009-nov-04
    Começamos o capítulo 3 do Scheinerman; vimos a seção 11
    ("Relações"), e eu pedi pros alunos fazerem os problemas das págs
    81 a 83. Estou tentando insistir bastante na idéia de que uma
    relação pode ser representada de vários modos.
    [BR] Estou devendo um texto comparando matematiquês, Pascal, C e
    linguagens como Ruby, Python e Lua.
  ]
  [AULA 23 2009-nov-09
  ]
  [AULA 24 2009-nov-11
  ]
  [AULA 25 2009-nov-16
    Passei um exercício pra ser feito em grupos de no máximo 3 pessoas
    e entregue na aula seguinte, valendo nota; passamos a aula tirando
    dúvidas do exercício.
  ]
  [AULA 26 2009-nov-18

    Defini (em Português) uma função "delete" que recebe uma particão
    de um conjunto e retorna uma partição de um conjunto menor; usei
    ela (e a inversa dela) pra mostrar como conseguir a árvore de
    decisão que resolve o problema de encontrar todas as partições no
    conjunto {1,2,3,4,5}. Passei um exercício pra casa pra esclarecer
    isto: T_3 é o conjunto de todas as partições de {1,2,3}, T_4 o das
    partições de {1,2,3,4}, etc; delete4 é uma função de T_4 em T_3, e
    pedi que as pessoas encontrassem delete3^{-1} e mostrassem como
    usar essa relação pra construir a "segunda escolha" da árvore de
    decisão que encontra todas as partições de conjuntos cada vez
    maiores.

    [BR] Exercícios pra casa, do livro: p.182, 2, 3, 4.

    [BR] Vimos que listas podem ser vistas como funções (o domínio é o
         conjunto de índices), e vimos como listas infinitas
         ("seqüências") costumam ser definidas ("definição indutiva"),
         e calculamos (a_1, a_2, a_3, a_4, ...) para um caso simples.

    [BR] Avisei que o [__ comp.pdf texto sobre a comparação] ([__
    comp.tex src]) entre matematiquês, Pascal, C e Lua estava pronto.
  ]
  [AULA 27 2009-nov-23
  ]
  [AULA 28 2009-nov-25
  ]
  [AULA 29 2009-nov-30
  ]
]

[#

[br]

[MES DEZEMBRO
  [AULA 30 2009-dez-02
  ]
  [AULA 31 2009-dez-04
  ]
  [AULA 32 2009-dez-07
  ]
  [AULA 33 2009-dez-09
  ]
  [AULA 34 2009-dez-14
  ]
  [AULA 35 2009-dez-16
  ]
]

#]


[#
 # (find-angg       "LUA/puro-calendario.lua")
 # (find-sh "lua51 ~/LUA/puro-calendario.lua")
#]



[#
http://groups.google.com/group/engenharia-de-producao-uff-puro-22008/browse_thread/thread/c2956bcd27f6509f
#]



]
[#
 # Local Variables:
 # coding: raw-text-unix
 # modes: (fundamental-mode blogme-mode)
 # End:
#]