MAC0329 - Álgebra Booleana e Aplicações
Primeiro semestre de 2003 --- Última atualização: 09/Ago/03
Nina S. T. Hirata / sala 300-A / nina at ime . usp . br
Prova de recuperacao (REC):
Data: 31/07/2003 (quinta-feira)
Horario: 10hs
Local: sala 259 - Bloco A
MF2 = (MF1+2PRec)/3
Veja as notas da PREC (04/08/2003)
Lista de NOTAS FINAIS (10/07/03)
Você está PERDIDO??? Veja
este GUIA que traz um resumo do curso: o que
se espera e os tópicos que foram cobertos, bem como onde estão as
notas de aula e tal.
Veja a ementa da disciplina no Sistema Jupiter.
Horário / local das
aulas : Terça das 8:00 às 9:40, e
quinta das 10:00 às 11:40, sala B-9
Avaliação : 2 provas e exercícios.
Lista de __NOTAS__ parciais ... (06/07/03) <===== ***
Lista de exercícios :
Data das provas :
- Primeira prova (P1) : 24/04/2003 (quinta-feira) ---> Gabarito (indisponibilizado em 19/04/2004)
- Segunda prova (P2) : 26/06/2003 (quinta-geira) pdf
- Prova Substitutiva (PSub)* : 03/07/2003 (quinta-feira) pdf
Critério :
- ME = média ponderada dos exercícios (listas e mini-projeto (?))
- MP = (P1 + 2P2) / 3
- * Poderão fazer a PSub:
- (a) aqueles que perderam uma das provas.
- (b) aqueles com média de provas entre 4.0 e 5.0 (4.0 <= MP < 5.0)
Se a PSub substituir a P1, a MP será a média aritmética.
A média da provas
(MP) daqueles que se enquadram no caso (b) não será
superior a 5.0
- Média final (MF) = (ME + 3MP) / 4, se ME>=5.0 e MP>=5.0
Média final (MF) = min{4.5, (ME + 3MP) / 4}, se ME<5.0 ou MP<5.0
Material didático /notas de aula
PASTA eletrônica da disciplina:
contém notas de aulas e outros materiais em formato eletrônico e
lista de materiais disponíveis no xerox do bloco B.
Dúvidas ?
- PARTICIPE da Lista de Discussão de MAC0329 ! (Link eliminado em 02/08/2005)
- Contacte-me via e-mail (nina at ime . usp . br)
- Procure-me na sala 300-A,
Cronograma das aulas
Obs.: As descrições para as aulas que ainda não ocorreram são apenas
previsões !
- 18/02: Introdução. Conjuntos, operações com conjuntos, leis fundamentais.
- 20/02: Lista 1 (errata)
Propriedades da relação de inclusão de conjuntos, prova de igualdade
de conjuntos, simplificação de expressões,
exemplos de simplificação de expressões.
- 25/02: Conclusão da parte de conjuntos (produto cartesiano,
relações binárias e funções). Introdução à Logica (ou
Cálculo) proposicional: proposições; conectivos E, OU, NÃO;
implicação condiconal e bicondicional; expressões lógicas;
tabela-verdade; tautologia e contradições; implicação e
equivalência lógicas.
- 27/02: Lista 2
Equivalências lógicas e implicações lógicas básicas; como
mostrar equivalências lógicas e implicações lógicas; barra
de Sheffer e Negação conjunta; sistemas adequados de
conectivos; breve discussão sobre lógica proposiconal nos
métodos de prova
- 04/03: Break 1 (Semana de Carnaval) Não haverá aula.
- 06/03: Break 1 (Semana de Carnaval) Não haverá aula.
- 11/03: Entrega lista 1 Álgebra boolena --
definição axiomática; algumas leis fundamentais.
- 13/03: Mais leis fundamentais; discussão sobre prova por
contradição; ...
- 18/03: Entrega lista 2
Relação de ordem parcial, elementos notáveis de um poset,
reticulados, reticulados booleanos.
- 20/03: Lista 3a
Relação de ordem parcial em uma álgebra booleana, átomos,
expressão de qualquer elemento como supremo de átomos.
- 25/03: Expressões e funções booleanas.
- 27/03: Formas canônicas (SOP canônica) e unicidade da mesma (notas
de aula na pasta 12).
- 01/04: Comentários sobre listas 1 e 2.
- 03/04: Entrega lista 3a
Circuitos de chaveamentos (não há notas de aula)
- 08/04: Circuitos lógicos. Portas lógicas, inversores. Conjuntos de
portas funcionalmente completos.
Circuitos lógicos de 2 níveis (não há notas de aula).
- 10/04: Lista 3b+4
Circuitos lógicos
multi-níveis. Circuitos lógicos de múltiplas saídas.
- 15/04: break 2 (semana santa) Não haverá aula.
- 17/04: break 2 (semana santa) Não haverá aula.
- 22/04: Aula de exercícios. Gabarito
(indisponibilizado em 19/04/2004) da lista 3
- 24/04: P1 + Entrega lista 3b+4
- 29/04: Minimização de funções booleanas
- 01/05: Feriado (dia do trabalho) Não haverá aula.
- 06/05: Algoritmo QM
- 08/05: Minimização de funções incompletamente especificadas. Algoritmo ISI
- 13/05: Minimização de múltiplas funções. PLA
- 15/05: Método tabular para minimização de múltiplas funções.
- 20/05: ESPRESSO (Man pages: espresso.1 e espresso.5)
- 22/05: Lista 5
Aula de exercícios
- 27/05: Break 3
- 29/05: Break 3
- 03/06: Minimização lógica muti-níveis: decodificadores
- 05/06: Entrega lista 5
Minimização lógica muti-níveis: multiplexadores, codificadores,
memória ROM
- 10/06: Minimização lógica muti-níveis: Teclado. Circuitos
seqüenciais, flip-flop R-S.
- 12/06: Flip-flop J-K, flip-flop D, flip-flop T. Por que circuitos
seqüenciais?
- 17/06: Flip-flops "master-slave", projeto de circuitos seqüenciais
(contador, visão superficial do processo de síntese)
- 19/06: Feriado (Corpus Christi) Não haverá aula.
- 24/06: Aula de exercícios, tira-dúvidas. Problemas em aberto.
- 26/06: P2
- 01/07: Encerramento das aulas (não haverá aula)
- 03/07: PSub