• Nenhum resultado encontrado

Semestre 6 Semestre 7 Semestre 8

No documento Reformula¸c˜ao do BCC-IME-USP (páginas 165-194)

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

Proposta de Ementa

Introdu¸c˜ao `a L´ogica e `a Verifica¸c˜ao de Programas

No documento Reformula¸c˜ao do BCC-IME-USP (páginas 165-194)

Documentos relacionados