Objetivos
Semestre 5 Semestre 6 Semestre 7 Semestre 8
Conceitos 4 TCC 8 TCC 8
Português 3
7 0 8 8
Créditos Discip.
Obrigatório: 123 30.75
Optativas: 76 19
Total: 199 49.75
Disciplinas
Page 5
Algoritmos e Complexidade Básica/Avançada
B MAC0315
B MAC0328
B MAC0414
B MAC0327
B MAC0330
B MAC0331
B MAC0427
B MAC0418
A MAC0430
B MAC0423
A MAC0325
A MAC0452
A MAC0450
B MAC0465
B MAC04xx
B MAC0461
Arquitetura e Organização
B MAC0412
Aspectos Sociais e Prática Profissional (Social Issues and Professional Practice)
B MAC0339
B MAC0424
B MAC0335
B MAC0458
Ciência Computacional (Computational Science)
B MAC0300
B MAC0337
B MAC0317
A MAC0419
B MAC0437
B MAC0453
B MAC04xx
Disciplinas
Page 6
A MAC0459
B MAC0460
Computação Gráfica e Visualização (Graphics and Visual Computing)
B MAC0317
B MAC0337
B MAC0331
B MAC0420
A MAC0421
B MAC0417
B MAC0432
B MAC0447
B MAC0460
Computação Paralela e Distribuida (Parallel and Distributed Computing)
B MAC0431
B MAC0416
A MAC0440
B MAC0449
Engenharia de Software (Software Engineering)
B MAC0332
A MAC0340
A MAC0342
B MAC0455
A MAC0451
Estruturas Discretas (Discrete Structures)
B MAC0228
B MAC0230
B MAC0310
B MAC0320
B MAC0436
Fundamentos de Desenvolvimento de Software (Software Development Fundamentals)
A MAC0435
Fundamentos de Sistemas (Systems Fundamentals)
B MAC0242
B MAC0438
B MAC0434
Disciplinas
Page 7
B MAC0410
A MAC0415
B MAC0426
A MAC0439
B MAC0461
Interação Homem-Máquina (Human-Computer Interation)
B MAC0446
B MAC0464
Information Management (Information Management)
B MAC0322
B MAC0333
Linguagens de Programação (Programming Languages)
A MAC0319
A MAC0441
A MAC0413
B MAC0442
B MAC0443
B MAC0445
Platform-based Development (Platform-based Development)
A MAC0454
A MAC0462
B MAC0463
Redes e Comunicação (Networking and Communication)
B MAC0448
Segurança de Dados (Security and Information Assurance)
B MAC0336
Sistemas Inteligentes (Intelligent Systems)
B MAC0318
B MAC0425
B MAC0444
Sistemas Operacionais (Operating Systems)
Disciplinas
Page 8
A MAC0433
B MAC0449
Outros
B MAC0326
De volta à lista de disciplinas em ordem de siglas Last modified: Mon Oct 7 12:03:53 BRT 2013
Disciplinas
Page 9 Algoritmos e Complexidade
Programação Linear
Algoritmos em Grafos [A disciplina deixará de ser obrigatória]
Linguagens Formais e Autômatos [A disciplina deixará de ser obrigatória]
Desafios de Programação Algoritmos Algébricos [Quem pode dar?]
Geometria Computacional Programação não-Linear
Tópicos Especiais de Programação Matemática Algoritmos e Complexidade de Computação
Introdução à Teoria da Computabilidade Otimização Combinatória Tópicos de Otimização Combinatória
Algoritmos de Aproximação Biologia Computacional Teoria do Jogos Algorítmica
Introdução ao Escalonamento e Aplicações Arquitetura e Organização
Organização de Computadores [A disciplina deixará de ser obrigatória]
Aspectos Sociais e Prática Profissional (Social Issues and Professional Practice) Informação, Comunicação e a Sociedade do Conhecimento [Imre Simon]
O Computador na Sociedade e na Empresa [Valdemar W. Setzer]
Leitura Dramática [Jolanda Gentilezza]
Direito e Software [Eduardo]
Ciência Computacional (Computational Science)
Métodos Numéricos da Álgebra Linear Computação Musical
Algoritmos para Processamento de Áudio, Imagem e Vídeo Métodos de Otimização em Finanças
Redes de Dados [Carlos Humes]
Princípios de Pesquisa Operacional e Logística [Carlos Humes]
Teoria do Jogos Algorítmica
Disciplinas
Page 10 Ciência e Engenharia de Dados
Aprendizagem Computacional: Modelos, Algoritmos e Aplicações Computação Gráfica e Visualização (Graphics and Visual Computing)
Algoritmos para Processamento de Áudio, Imagem e Vídeo Computação Musical [Marcelo Queiroz]
Geometria Computacional Introdução à Computação Gráfica
Computação Gráfica
Visão e Processamento de Imagens
Processamento Digital de Imagens: Teoria e Aplicações Análise e Reconhecimento de Formas: Teoria e Prática Aprendizagem Computacional: Modelos, Algoritmos e Aplicações Computação Paralela e Distribuida (Parallel and Distributed Computing)
Introdução à Computação Paralela e Distribuída [Gubi]
Tópicos de Sistemas Distribuídos [Quem pode dar?]
Sistemas de Objetos Distribuídos [Reverbel]
Sistemas Operacionais Distribuídos [Quem pode dar?]
Engenharia de Software (Software Engineering) Engenharia de Software
Laboratório de Engenharia de Software Laboratório de Programação eXtrema
Desenvolvimento de Sistemas Colaborativos [Gerosa]
Tópicos Especiais em Desenvolvimento para Web Estruturas Discretas (Discrete Structures)
Combinatória e Teoria dos Grafos Elementos de Matemática Discreta
Matemática Concreta Introdução à Teoria do Grafos Tópicos de Matemática Discreta
Fundamentos de Desenvolvimento de Software (Software Development Fundamentals)
Métodos Formais para Especificação e Construção de Programas [Ana Cristina]
Fundamentos de Sistemas (Systems Fundamentals)
Laboratório de Programação II [A disciplina deixará de ser obrigatória]
Programação Concorrente [A disciplina deixará de ser obrigatória]
Tópicos de Sistemas de Computação
Disciplinas
Page 11 Introdução à Compilação Projeto de Compiladores
Sistemas de Bancos de Dados [A disciplina deixará de ser obrigatória]
Laboratório de Bancos de Dados Introdução ao Escalonamento e Aplicações Interação Homem-Máquina (Human-Computer Interation)
Princípios de Interação Humano-Computador [Hitoshi]
Sistemas Humano-Computacionais [Carlos Humes, Claudio Santos Pinhanez]
Information Management (Information Management)
Introdução à Análise de Sistemas [Quem pode dar isso?]
Armazenamento e Recuperação de Informação [Alair]
Linguagens de Programação (Programming Languages)
Programação Funcional Contemporânea [Reverbel]
Programação Orientada a Objetos Tópicos de Programação Orientada a Objetos
Análise Orientada a Objetos Projeto Orientado a Objetos
Laboratório de Análise e Projeto Orientado a Objetos Platform-based Development (Platform-based Development)
Sistemas de Middleware [Reverbel]
Sistemas de Middleware Avançados [Reverbel]
Computação Móvel [Marcelo Queiroz]
Redes e Comunicação (Networking and Communication)
Programação para Redes de Computadores [Daniel]
Segurança de Dados (Security and Information Assurance)
Criptografia para Segurança de Dados [Routo]
Sistemas Inteligentes (Intelligent Systems)
Introdução à Programação de Robôs Móveis [Leliane]
Inteligência Artificial
Sistemas Baseados em Conhecimento Sistemas Operacionais (Operating Systems)
Disciplinas
Page 12 Administração de Sistemas UNIX [Arnaldo]
Sistemas Operacionais Distribuídos [Quem pode dar?]
Outros
Computação, Cibernética e Sistemas Cognitivos [Nunca foi oferecida, Julio Stern]
De volta à lista de disciplinas em ordem de siglas Last modified: Mon Oct 7 12:03:53 BRT 2013
Grupos
Page 1
Disciplinas Oferecimentos
2013/2 2013/1 2012/2 2012/1
AL – Algoritmos e Complexidade 16 3 4 5 4
AR – Arquitetura e Organização 1 1 1
SP – Aspéctos Sociais e Prática Profissional 4 1 2 1 2
CN – Ciência Computacional 9 3 1 2 1
GV – Computação Gráfica e Visualização 9 2 2
PD – Computação Paralela e Distribuida 4 1 1
SE – Engenharia de Software 5 1 1 3 1
DS – Estruturas Discretas 5 1
SDF – Fundamentos de Desenvolvimento de Software1
SF – Fundamentos de Sistemas 9 1 2 1 2
HCI – Interação Homem-Máquina 2 1
IM – Information Management 2 1 1
PL – Linguagens de Programação 6 1 2
PBD – Platform-based Development 3 1 1
NC – Redes e Comunicação 1 1 1
IAS – Segurança de Dados 1 1 1
IS – Sistemas Inteligentes 3 2 1 1 2
OS – Sistemas Operacionais 2
Outros 1
Total 84 13 18 18 19
# Blocos Créditos
Opções Trilha Eletivos Livres Total
BCC atual 5 38 32 6 76
Grupos
Page 2 CS2013 (Carga horária)
Tier 1 Tier 2 BCC atual (Ex-obrigatórias)
19 9 3 Grafos, Autômatos, ProgLin
0 16 1 OrgComp
11 5
1 0 1 MAC0300
2 1
5 10
6 22 1 EngSoft
37 4
43 0 3 LabProg II, BD, Concorrente
18 9
4 4
1 9
8 20
0 0
3 7
3 6
0 10
4 11
0 0
165 143 9
Disciplinas (4 Créditos)
Trilha Eletivos Livres Total
9.5 8 1.5 19
CurriculoNovo
Page 3
Semestre 1 Semestre 2 Semestre 3 Semestre 4
MAC0110 4 MAC0122 4 ED 6 Análise 4
Estat I 4 Estat II 4 Slot Estat 4 SO 6
Cálculo I 6 Cálculo II 6 Desenvolvimento Software 6 Cálculo IV 4 Vetores e Geometria 4 Álgebra Linear 4 Álgebra Booleana 4 Formais 4 Fundamentos Matemática 4 Técnicas Prog. I 6 Slot Ciência 6
Introdução ao BCC 4 Slot Ciência 6
26 30 26 18
CurriculoNovo
Page 4
Semestre 5 Semestre 6 Semestre 7 Semestre 8
Conceitos 4 TCC 8 TCC 8
Português 3
7 0 8 8
Créditos Discip.
Obrigatório: 123 30.75
Optativas: 76 19
Total: 199 49.75
Disciplinas
Page 5
Algoritmos e Complexidade Básica/Avançada
B MAC0315
B MAC0328
B MAC0414
B MAC0327
B MAC0330
B MAC0331
B MAC0427
B MAC0418
A MAC0430
B MAC0423
A MAC0325
A MAC0452
A MAC0450
B MAC0465
B MAC04xx
B MAC0461
Arquitetura e Organização
B MAC0412
Aspectos Sociais e Prática Profissional (Social Issues and Professional Practice)
B MAC0339
B MAC0424
B MAC0335
B MAC0458
Ciência Computacional (Computational Science)
B MAC0300
B MAC0337
B MAC0317
A MAC0419
B MAC0437
B MAC0453
B MAC04xx
Disciplinas
Page 6
A MAC0459
B MAC0460
Computação Gráfica e Visualização (Graphics and Visual Computing)
B MAC0317
B MAC0337
B MAC0331
B MAC0420
A MAC0421
B MAC0417
B MAC0432
B MAC0447
B MAC0460
Computação Paralela e Distribuida (Parallel and Distributed Computing)
B MAC0431
B MAC0416
A MAC0440
B MAC0449
Engenharia de Software (Software Engineering)
B MAC0332
A MAC0340
A MAC0342
B MAC0455
A MAC0451
Estruturas Discretas (Discrete Structures)
B MAC0228
B MAC0230
B MAC0310
B MAC0320
B MAC0436
Fundamentos de Desenvolvimento de Software (Software Development Fundamentals)
A MAC0435
Fundamentos de Sistemas (Systems Fundamentals)
B MAC0242
B MAC0438
B MAC0434
Disciplinas
Page 7
B MAC0410
A MAC0415
B MAC0426
A MAC0439
B MAC0461
Interação Homem-Máquina (Human-Computer Interation)
B MAC0446
B MAC0464
Information Management (Information Management)
B MAC0322
B MAC0333
Linguagens de Programação (Programming Languages)
A MAC0319
A MAC0441
A MAC0413
B MAC0442
B MAC0443
B MAC0445
Platform-based Development (Platform-based Development)
A MAC0454
A MAC0462
B MAC0463
Redes e Comunicação (Networking and Communication)
B MAC0448
Segurança de Dados (Security and Information Assurance)
B MAC0336
Sistemas Inteligentes (Intelligent Systems)
B MAC0318
B MAC0425
B MAC0444
Sistemas Operacionais (Operating Systems)
Disciplinas
Page 8
A MAC0433
B MAC0449
Outros
B MAC0326
De volta à lista de disciplinas em ordem de siglas Last modified: Mon Oct 7 12:03:53 BRT 2013
Disciplinas
Page 9 Algoritmos e Complexidade
Programação Linear
Algoritmos em Grafos [A disciplina deixará de ser obrigatória]
Linguagens Formais e Autômatos [A disciplina deixará de ser obrigatória]
Desafios de Programação Algoritmos Algébricos [Quem pode dar?]
Geometria Computacional Programação não-Linear
Tópicos Especiais de Programação Matemática Algoritmos e Complexidade de Computação
Introdução à Teoria da Computabilidade Otimização Combinatória Tópicos de Otimização Combinatória
Algoritmos de Aproximação Biologia Computacional Teoria do Jogos Algorítmica
Introdução ao Escalonamento e Aplicações Arquitetura e Organização
Organização de Computadores [A disciplina deixará de ser obrigatória]
Aspectos Sociais e Prática Profissional (Social Issues and Professional Practice) Informação, Comunicação e a Sociedade do Conhecimento [Imre Simon]
O Computador na Sociedade e na Empresa [Valdemar W. Setzer]
Leitura Dramática [Jolanda Gentilezza]
Direito e Software [Eduardo]
Ciência Computacional (Computational Science)
Métodos Numéricos da Álgebra Linear Computação Musical
Algoritmos para Processamento de Áudio, Imagem e Vídeo Métodos de Otimização em Finanças
Redes de Dados [Carlos Humes]
Princípios de Pesquisa Operacional e Logística [Carlos Humes]
Teoria do Jogos Algorítmica
Disciplinas
Page 10 Ciência e Engenharia de Dados
Aprendizagem Computacional: Modelos, Algoritmos e Aplicações Computação Gráfica e Visualização (Graphics and Visual Computing)
Algoritmos para Processamento de Áudio, Imagem e Vídeo Computação Musical [Marcelo Queiroz]
Geometria Computacional Introdução à Computação Gráfica
Computação Gráfica
Visão e Processamento de Imagens
Processamento Digital de Imagens: Teoria e Aplicações Análise e Reconhecimento de Formas: Teoria e Prática Aprendizagem Computacional: Modelos, Algoritmos e Aplicações Computação Paralela e Distribuida (Parallel and Distributed Computing)
Introdução à Computação Paralela e Distribuída [Gubi]
Tópicos de Sistemas Distribuídos [Quem pode dar?]
Sistemas de Objetos Distribuídos [Reverbel]
Sistemas Operacionais Distribuídos [Quem pode dar?]
Engenharia de Software (Software Engineering) Engenharia de Software
Laboratório de Engenharia de Software Laboratório de Programação eXtrema
Desenvolvimento de Sistemas Colaborativos [Gerosa]
Tópicos Especiais em Desenvolvimento para Web Estruturas Discretas (Discrete Structures)
Combinatória e Teoria dos Grafos Elementos de Matemática Discreta
Matemática Concreta Introdução à Teoria do Grafos Tópicos de Matemática Discreta
Fundamentos de Desenvolvimento de Software (Software Development Fundamentals)
Métodos Formais para Especificação e Construção de Programas [Ana Cristina]
Fundamentos de Sistemas (Systems Fundamentals)
Laboratório de Programação II [A disciplina deixará de ser obrigatória]
Programação Concorrente [A disciplina deixará de ser obrigatória]
Tópicos de Sistemas de Computação
Disciplinas
Page 11 Introdução à Compilação Projeto de Compiladores
Sistemas de Bancos de Dados [A disciplina deixará de ser obrigatória]
Laboratório de Bancos de Dados Introdução ao Escalonamento e Aplicações Interação Homem-Máquina (Human-Computer Interation)
Princípios de Interação Humano-Computador [Hitoshi]
Sistemas Humano-Computacionais [Carlos Humes, Claudio Santos Pinhanez]
Information Management (Information Management)
Introdução à Análise de Sistemas [Quem pode dar isso?]
Armazenamento e Recuperação de Informação [Alair]
Linguagens de Programação (Programming Languages)
Programação Funcional Contemporânea [Reverbel]
Programação Orientada a Objetos Tópicos de Programação Orientada a Objetos
Análise Orientada a Objetos Projeto Orientado a Objetos
Laboratório de Análise e Projeto Orientado a Objetos Platform-based Development (Platform-based Development)
Sistemas de Middleware [Reverbel]
Sistemas de Middleware Avançados [Reverbel]
Computação Móvel [Marcelo Queiroz]
Redes e Comunicação (Networking and Communication)
Programação para Redes de Computadores [Daniel]
Segurança de Dados (Security and Information Assurance)
Criptografia para Segurança de Dados [Routo]
Sistemas Inteligentes (Intelligent Systems)
Introdução à Programação de Robôs Móveis [Leliane]
Inteligência Artificial
Sistemas Baseados em Conhecimento Sistemas Operacionais (Operating Systems)
Disciplinas
Page 12 Administração de Sistemas UNIX [Arnaldo]
Sistemas Operacionais Distribuídos [Quem pode dar?]
Outros
Computação, Cibernética e Sistemas Cognitivos [Nunca foi oferecida, Julio Stern]
De volta à lista de disciplinas em ordem de siglas Last modified: Mon Oct 7 12:03:53 BRT 2013
Algoritmos e Complexidade
B MAC0315 Programação Linear B MAC0328 Algoritmos em Grafos [A disciplina deixará de ser obrigatória] B MAC0414 Linguagens Formais e Autômatos [A disciplina deixará de ser obrigatória]
B MAC0327 Desafios de Programação B MAC0330 Algoritmos Algébricos [Quem pode dar?] B MAC0331 Geometria Computacional
B MAC0427 Programação não-Linear B MAC0418 Tópicos Especiais de Progra-mação Matemática
A MAC0430 Algoritmos e Complexidade de Computação B MAC0423 Introdução à Teoria da Computabilidade
A MAC0325 Otimização Combinatória A MAC0452 Tópicos de Otimização Combinatória A MAC0450 Algoritmos de Aproximação
B MAC0465 Biologia Computacional B MAC04xx Teoria do Jogos Algorítmica B MAC0461 Introdução ao Escalonamento e Aplicações
Arquitetura e Organização
B MAC0412 Organização de Computadores [A disciplina deixará de ser obri-gatória]
Aspectos Sociais e Prática Profissional (Social Issues and Professional Practice) B MAC0339 Informação, Comunicação e a Sociedade do Conhecimento [Imre Simon] B MAC0424 O Computador na Sociedade e na Empresa [Valdemar W.
Setzer] B MAC0335 Leitura Dramática [Jolanda Gentilezza] B MAC0458 Direito e Software [Eduardo]
Ciência Computacional (Computational Science) B MAC0300 Métodos Numéricos da Álgebra Linear
B MAC0337 Computação Musical B MAC0317 Algoritmos para Processamento de Áudio, Imagem e Vídeo
A MAC0419 Métodos de Otimização em Finanças B MAC0437 Redes de Dados [Carlos Humes] B MAC0453 Princípios de Pesquisa Operacional e Logística [Carlos Humes]
B MAC04xx Teoria do Jogos Algorítmica
A MAC0459 Ciência e Engenharia de Dados B MAC0460 Aprendizagem Com-putacional: Modelos, Algoritmos e Aplicações
Computação Gráfica e Visualização (Graphics and Visual Computing)
B MAC0317 Algoritmos para Processamento de Áudio, Imagem e Vídeo B MAC0337 Computação Musical [Marcelo Queiroz]
1
B MAC0331 Geometria Computacional B MAC0420 Introdução à Computação Gráfica A MAC0421 Computação Gráfica
B MAC0417 Visão e Processamento de Imagens B MAC0432 Processamento Digital de Imagens: Teoria e Aplicações B MAC0447 Análise e Reconhecimento de Formas: Teoria e Prática B MAC0460 Aprendizagem Computacional: Modelos, Algoritmos e Aplicações
Computação Paralela e Distribuida (Parallel and Distributed Computing) B MAC0431 Introdução à Computação Paralela e Distribuída [Gubi] B MAC0416 Tópicos de Sistemas Distribuídos [Quem pode dar?] A MAC0440 Sistemas de Objetos Distribuídos [Reverbel] B MAC0449 Sistemas Operacionais Distribuídos [Quem pode dar?]
Engenharia de Software (Software Engineering)
B MAC0332 Engenharia de Software A MAC0340 Laboratório de Engenharia de Software A MAC0342 Laboratório de Programação eXtrema B MAC0455 Desen-volvimento de Sistemas Colaborativos [Gerosa] A MAC0451 Tópicos Especiais em Desenvolvimento para Web
Estruturas Discretas (Discrete Structures)
B MAC0228 Combinatória e Teoria dos Grafos B MAC0230 Elementos de Matemática Discreta B MAC0310 Matemática Concreta B MAC0320 Introdução à Teoria do Grafos B MAC0436 Tópicos de Matemática Discreta
Fundamentos de Desenvolvimento de Software (Software Development Funda-mentals)
A MAC0435 Métodos Formais para Especificação e Construção de Programas [Ana Cristina]
Fundamentos de Sistemas (Systems Fundamentals)
B MAC0242 Laboratório de Programação II [A disciplina deixará de ser obri-gatória] B MAC0438 Programação Concorrente [A disciplina deixará de ser obrigatória] B MAC0434 Tópicos de Sistemas de Computação
B MAC0410 Introdução à Compilação A MAC0415 Projeto de Compiladores B MAC0426 Sistemas de Bancos de Dados [A disciplina deixará de ser obri-gatória] A MAC0439 Laboratório de Bancos de Dados B MAC0461 Introdução ao Escalonamento e Aplicações
Interação Homem-Máquina (Human-Computer Interation)
B MAC0446 Princípios de Interação Humano-Computador [Hitoshi] B MAC0464 Sistemas Humano-Computacionais [Carlos Humes, Claudio Santos Pinhanez]
Information Management (Information Management)
B MAC0322 Introdução à Análise de Sistemas [Quem pode dar isso?] B MAC0333 Armazenamento e Recuperação de Informação [Alair]
2
Linguagens de Programação (Programming Languages)
A MAC0319 Programação Funcional Contemporânea [Reverbel] A MAC0441 Programação Orientada a Objetos A MAC0413 Tópicos de Programação Orien-tada a Objetos B MAC0442 Análise OrienOrien-tada a Objetos B MAC0443 Projeto Orientado a Objetos B MAC0445 Laboratório de Análise e Projeto Orientado a Objetos
Platform-based Development (Platform-based Development)
A MAC0454 Sistemas de Middleware [Reverbel] A MAC0462 Sistemas de Mid-dleware Avançados [Reverbel] B MAC0463 Computação Móvel [Marcelo Queiroz]
Redes e Comunicação (Networking and Communication)
B MAC0448 Programação para Redes de Computadores [Daniel]
Segurança de Dados (Security and Information Assurance) B MAC0336 Criptografia para Segurança de Dados [Routo]
Sistemas Inteligentes (Intelligent Systems)
B MAC0318 Introdução à Programação de Robôs Móveis [Leliane] B MAC0425 Inteligência Artificial B MAC0444 Sistemas Baseados em Conhecimento Sistemas Operacionais (Operating Systems)
A MAC0433 Administração de Sistemas UNIX [Arnaldo] B MAC0449 Sistemas Operacionais Distribuídos [Quem pode dar?]
Outros
B MAC0326 Computação, Cibernética e Sistemas Cognitivos [Nunca foi oferecida, Julio Stern]
De volta à lista de disciplinas em ordem de siglas Last modified: Mon Oct 7 12:03:53 BRT 2013
3
Relato da reunião do dia 02/DEZ/2013 Presentes:
Lucas (1o. BCC), Gustavo(1o. BCC), Daniel (4o. BCC), Pedro (4o. BCC), Will (4o. BCC), Wilson (4o. BCC) Igor (ex-BCC), Toshi (ex-BCC), André (prof), Arnaldo (prof), Carlinhos (prof), Cris (prof), Daniel (prof), Marcelo Finger (prof), Routo (prof), Zé (prof) e Coelho (prof).
Daniel:
Relatou sobre as discussões da comissão de profs.
- Cálculo I e II: usar os da Poli (são mais operacionais?!)
- Estatística: falar com o pessoal da estatística sobre a disciplina
- Conceito de Linguagens: foi aceita no núcleo Will e Wilson:
Comentaram sobre Cálculo III que eles cursaram e deverá sair da grade.
Carlinhos:
Tem a sensação que o Cálculo oferecido na Poli é mais operacional.
Pedro:
Na reunião o Júnior comentou que nos EUA há disciplinas de cálculo que são operacionais e outras que ensinam a demonstrar. Ele (Júnior) acha melhor que o BCC tenha um cálculo mais operacional como o da Poli.
Hirata:
Acha que o cálculo para o BCC deve ser aquele que é oferecido para os matemáticos [interpretação:
não deve ser um cálculo operacional].
Arnaldo:
Questiona se cálculo IV deve fazer parte do núcleo.
Definir o núcleo é difícil e talvez, as vezes, devemos "cortar na carne".
Carlinhos:
1
Concorda com o Arnaldo sobre séries ser
um tópico importante de ser visto em Cálculo IV e acha que equações diferenciais não são fundamentais para o BCC.
Arnaldo:
Gostaria de cortar de 3 cálculos para 2.
Isto é possível? Essa foi a pergunta dele.
Pedro:
Tem os cálculos da UFSC que talvez sirvam
aos propósitos que o Arnaldo deseja. São 2 cálculos de quatro créditos cada.
Toshi:
Falou da importância de séries de Fourier.
Comentou que nas disciplinas que precisam disso, como computação musical, os profs dão o necessário no início da disciplina.
Marcelo:
Concordou com o Toshi.
Comentou que teve transformada de Laplace em cálculo e que só foi aprender mesmo em circuitos e que o que viu em cálculo não ajudou.
Carlinhos:
Acha que ter visto antes ajuda.
Hirata:
Acha legal o questionamento, mas gostou
de estudar convergência de séries em Cálculo IV.
Marcelo:
2
Apresentou as ementas das disciplinas
Introdução a Lógica e Verificação de Programas
---Foi uma atualização da ementa de Métodos Formais.
- cálculo proposicional - lógica de 1a. ordem - verificação de programas - incomputabilidade
- lógica de Horn
- Verificação de invariantes e correção, - completude
Carlinhos:
Perguntou se já havia alguma ementa de Álgebra Booleana.
Cris, Carlinhos, Wilson:
Tem interseção com Álgebra Boolena (tabela verdade)
Arnaldo:
Acha que o núcleo da disciplina é verificação de programas. E bom ter invariantes nas disciplinas.
Carlinhos:
Quanto tiver a ementa de booleana devemos comparar com a desta disciplina.
Alunos presentes:
Metade teve Verificação de Programas em Métodos e metade não teve.
Pedro:
3
Comentou sobre a ordem das coisas e se não tiver tempo apertar a parte de lógica de primeira ordem.
Coelho (para Daniel):
Já são 12h52.
Marcelo:
Descreveu IA
A disciplina foi dividida em:
- buscas determinística e heurísticas - representação de conhecimento e
planejamento (=algoritmo Pop) [Prolog não será dado em IA]
- ontologias
- tomadas de decisão
- Aprendizado, árvores de decisão (1/3 da disciplina)
A disciplina é bem abrangente.
Daniel:
A proposta é que a disciplina de IA faça parte do núcleo (=obrigatória)?
Marcelo:
Acha que a disciplina deveria fazer parte do núcleo.
Carlinhos:
Achou a disciplina muito legal.
Entretanto, acha que não deveria fazer parte do núcleo.
Coelho:
4
IA era (é ainda?) uma disciplina feita por vários alunos (a maioria?) do BCC como mostram as pesquisas
http://www.ime.usp.br/~coelho/horario/h99sem1/enquete99sem1.html http://www.ime.usp.br/~coelho/resultados02sem2/
http://www.ime.usp.br/~coelho/resultados02sem1/
http://www.ime.usp.br/~coelho/resultados01sem2/
http://www.ime.usp.br/~coelho/resultados01sem1/
http://www.ime.usp.br/~coelho/resultados00sem2/
http://www.ime.usp.br/~coelho/enquete00/
http://www.ime.usp.br/~coelho/horario/h00sem1/enquete00sem1.html http://www.ime.usp.br/~coelho/horario/h00sem2/optativas00sem2.html O Coelho acha que IA deve continuar ser optativa.
Marcelo:
A disciplina foi pensada para ser núcleo.
Um das razões da grade curricular do BCC ser engessada é a carga didática. Por isso, uma proposta é pensar na nova grade junto com mudanças na atribuição de carga didática.
Coelho:
Seria legal continuarmos, mas já são 13h06...
Continuamos na próxima reunião...
5