Topic outline
-
PROVA DE RECUPERAÇÃO:
Dia: 11/02/2019
Horário: 14:00h
Sala: B2-08
Docentes
Anarosa Alves Franco Brandão
sala C2-50 - anarosa.brandao@usp.brAnna Helena Reali Costa
sala C2-50 - anna.reali@usp.brEduardo Raul Hruschka
sala C2-50 - hruschka@usp.br
Horário e sala
As aulas serão no prédio de Engenharia Elétrica, sala B2-08, às 2as. e 4as., das 14h00 às 15h40.
Monitores
Henrique D. Rodrigues (sala C2-50)Cyntia Eico (sala C2-50)Horários da Monitoria
A monitoria será realizada na sala C2-50 no prédio da Engenharia Elétrica.
-
-
-
Ler e resumir o artigo "Regulating automated decision making" em uma página.
Entrega deve ser feita via eDisciplinas até 22h de 08/08/2018 em arquivo PDF.
-
Entrega da solução de exercícios de busca dados em aula com o mapa da Romênia (arquivo em anexo). Sempre que aplicável, escolher a ordem lexicográfica.
1) Busca em Largura (BFS); 2) Busca de Custo Uniforme; 3) Busca em Profundidade Limitada com l=4; 4) Busca em Largura com Encadeamento Reverso (inicie da meta, efetuando BFS reversamente).
Para todas as buscas: não representar nós repetidos. Fornecer: (a) sequência de nós visitados (testados e expandidos), (b) solução encontrada, (c) custo da solução (dado em quilômetros, associados às arestas do grafo de cidades).
Entrega deve ser feita via eDisciplinas até 14h de 15/08/2018 em arquivo PDF (pode ser manuscrito, porém BEM legível).
-
Estes exercícios deverão ser submetidos em um arquivo pdf, preferencialmente digitado em Latex, mas pode ser o scan ou a foto de um documento manuscrito, desde que esteja legível. A submissão deve ser feita até segunda-feira, 17/09, 22h.
É importante que você indique as regras de inferência e as propriedades lógicas usadas na resolução.
1. (7.2 Russel and Norvig) Dada a sentença a seguir, você poderia demonstrar que o unicórnio é mítico? E que é mágico? E que tem chifre?
- Se o unicórnio é mítico, então é imortal; porém, se ele não é mítico, então é um mamífero mortal. Se o unicórnio é imortal ou um mamífero, então ele tem chifre. O unicórnio é mágico se tem chifre.
a) Se α|= γ ou β|= γ (ou ambos) então (α AND β) |= γ
b) Se α|= (β AND γ) então α|= β e α|= γ
c) Se α|= (β OR γ) então α|= β ou α|= γ (ou ambos)
- Se o unicórnio é mítico, então é imortal; porém, se ele não é mítico, então é um mamífero mortal. Se o unicórnio é imortal ou um mamífero, então ele tem chifre. O unicórnio é mágico se tem chifre.
-
-
Neste tópico disponibilizaremos textos, videos e outros materiais de interesse para a disciplina e para a formação geral do Engenheiro de Computação.
-
-
Matéria do NYT sobre iniciativa de Harvard and MIT sobre o ensino de ética em cursos de Computação.
O mote da matéria, e da iniciativa das universidades, é o paralelo com cursos de medicina:
"The medical profession has an ethic: First, do no harm. Silicon Valley has an ethos: Build it first and ask for forgiveness later."
-
Simulação dos algoritmos BFS e DFS
-
-
-
-
-
-