O BCC tem 40 docentes
---------------------

EMENTAS DE MAC0122, MAC0323 e MAC0338
=====================================

Paulo Feofiloff está preparando (Carlinhos, Cris, ...)
Próxima reunião trazemos 

Introdução ao BCC  (2 créditos)
=================

Fonte da UFSC: 
https://admrede.inf.ufsc.br/interno/modulos/planos/visualizar.php?disciplina=INE5401

Conteúdo Programático:

    Introdução [2 horas-aula]
        Apresentação da UFSC/CTC/INE
        Corpo docente
        Infraestrutura disponível

    Apresentação do curso [4 horas-aula]
        Cursos de graduação em Computação e Informática no Brasil.
        Caracterização do curso de Ciências da Computação da UFSC.
        Projeto pedagógico do curso de Ciências da Computação da UFSC.

    Representação de informação [10 horas-aula]
        Tipos de dados
        Sistemas de numeração
            Bases
            Principais sistemas de numeração
            Operações em diferentes sistemas de numeração
            Conversões entre diferentes sistemas de numeração

    Computação digital [10 horas-aula]
        Princípios
        Representação de instruções
        Uma máquina hipotética
        Evoluções

    Componentes básicos de um computador [4 horas-aula]
        Conceitos fundamentais
        Hardware
        Linguagens de programação
        Sistemas operacionais
        Tecnologias

    Introdução às diversas áreas relacionadas à Ciência da Computação 
    [6 horas-aula]
        Arquitetura de computador
        Teoria da computação
        Linguagens de computador
        Sistemas operacionais
        Redes de computadores
        Sistemas distribuídos
        Engenharia de software
        Matemática na computação
        Tecnologias da informação: bancos de dados, 
	  computação gráfica, segurança, inteligência artificial
        Computação e ética
        Software livre 

Metodologia: 

-- As aulas são expositivas onde o conteúdo conceitual principal é
   apresentado pelo professor.

-- Objetivando a fixação deste conteúdo conceitual são realizadas
   aulas práticas de resolução de exercícios e utilização de
   ferramentas, com o auxílio de estagiário docência/bolsista PET, que
   monitoram e auxiliam na realização das atividades práticas.

-- O conteúdo referente a "Introdução às diversas áreas relacionadas à
   Ciência da Computação" é ministrado na forma de palestras sobre
   temas de CC e apresentadas por Professores do CCO e convidados.


Fundamentos Matemáticos para Computação (4 créditos)
======================================= 

Fonte: http://www.ic.unicamp.br/node/436


Ementa:

Conceitos básicos de matemática discreta e de lógica para
computação. Técnicas de provas, indução matemática. Relações e
conceitos de teoria de grafos. Modelagem de problemas usando grafos.


Programa:

1. Conjuntos
2. Discurso matemático: leitura e escrita matemática
3. Estratégias de prova
4. Princípio da indução finita
5. Sequências e somas
6. Relações
7. Funções

8. Cardinalidade:
   (a) Conjuntos equinumeráveis
   (b) Conjuntos contáveis e incontáveis

9. Grafos:
   (a) Conceitos básicos
   (b) Grafos eulerianos e hamiltonianos
   (c) Coloração
   (d) Emparelhamentos
   (e) Planaridade

10. (opcional) Lógica Matemática:
   (a) Sintaxe (termos e fórmulas)
   (b) Semântica (interpretações)
   (c) Equivalência, validade e consequência
   (d) Dedução
   (e) Tableaux
   (f) Resolução

 

Bibliografia

• A. Gomide e J. Stolfi, 
  Elementos de Matemática Discreta para a   Computação

   http://www.ic.unicamp.br/~anamaria/.

• D. J. Velleman, How to prove it - A structured approach
  (2a. edição), Cambridge (2006).

• K. H. Rosen, Discrete Mathematics and its applications (7a. edição),
  McGraw-Hill (2011).

• J. L. Gersting, Fundamentos Matemáticos para a Ciência da Computação
  (5a. edição), LTC Editora (2004).

• M. Ben-Ari, Mathematical Logic for Computer Science (3a. edição),
  Springer (2012).

------------------------------------------------------------------

CS103 Mathematical Foundations in Computing (3º quadrimestre)

Fonte: http://www.stanford.edu/class/cs103/

00: Introduction, Set Theory
01: Direct Proofs
02: Indirect Proofs
03: Mathematical Induction I
04: Mathematical Induction II
05: Graphs and Relations
06: Functions and Cardinality
07: Diagonalization and the Pigeonhole Principle
08: Mathematical Logic I
09: Mathematical Logic II
10: Deterministic Finite Automata
11: Nondeterministic Finite Automata
12: The Pumping Lemma
(supplement)
13: Context-Free Languages
14: Turing Machines I
(video)
15: Turing Machines II
16: Decidability
17: RE and co-RE
18: Mapping Reductions
19: Intro to Complexity
20: P and NP
21: NP-Completenes
22: Applications of NP-Completenes

----------------------------------------------------------

Cálculo Numérico 
================

No Brasil, quase todos os BCCs tem Cálculo Numérico.

Fonte: http://bcc.ime.usp.br/principal/documentos/bccs.pdf