Ementáriodeinfo

1º Ano

ALGORITMOS E PROGRAMAÇÃO (136 h - 4 aulas por semana)
Desenvolvimento de algoritmos. Tipos de dados básicos e estruturados. Comandos de uma linguagem de programação. Metodologia de desenvolvimento de programas: programação estruturada e orientada a objetos. Modularidade e abstração. Desenvolvimento, implementação, depuração, testes e documentação de programas. Arquivos.

CÁLCULO DIFERENCIAL E INTEGRAL (102 h - 3 aulas por semana)
Números reais. Funções reais de uma variável real. Funções de várias variáveis reais. Limites. Continuidade. Derivação. Integração simples, dupla e tripla. Áreas. Volumes. Seqüências. Séries.

INGLÊS TÉCNICO (68 h - 2 aulas por semana)
Estudo metódico de textos na área de informática, software, manuais, através de exercícios de leitura, compreensão e intelecção com vistas à aquisição de um instrumento de comunicação e pesquisa.

INTRODUÇÃO A ORGANIZAÇÃO DE COMPUTADORES (68 h - 2 aulas por semana)
Introdução e dados históricos. Sistemas numéricos: bases decimal, binária, hexadecimal e octal. Conversões de bases. Representação binária: inteiros, ponto fixo, ponto flutuante e negativos. Aritmética binária. Overflow e underflow. Representação de alfanuméricos: ASCII e UNICODE. Funções e portas lógicas. Representações de circuitos lógicos: expressão booleana, diagrama lógico e tabela verdade. Álgebra de Boole. Simplificação de circuitos lógicos. Equivalência entre circuitos. Circuitos combinacionais. Matrizes Lógicas Programáveis (PLA). Circuitos seqüenciais. Organizações de memórias com circuitos seqüenciais. Metodologias de temporização de circuitos. Memórias RAM e ROM: tecnologias e aplicações.

MATEMÁTICA DISCRETA (68 h - 2 aulas por semana)
Tópicos de álgebra: conjuntos, relações, funções, indução, recursão, sistemas algébricos, reticulados, monóides, grupos, anéis; Tópicos de análise combinatória: distribuição, permutação, combinação, enumeração por recursão, cardinalidade de união de conjuntos, enumeração de conjunto; Teoria dos grafos: caminho, planaridade, coloração, grafos infinitos, conectividade, grafos orientados e não-orientados, problemas intratáveis;

GEOMETRIA ANALÍTICA E ÁLGEBRA LINEAR (136 h - 4 aulas por semana)
Sistemas de equações lineares; Matrizes; Vetores; Espaços vetoriais; Dependência e independência linear; Transformações lineares; Curvas e superfícies; Equações diferenciais lineares; Produto escalar e vetorial; Álgebra vetorial; Reta no plano e no espaço; Planos; Posições relativas, interseções, distâncias e ângulos; Círculo e esfera; Coordenadas polares, cilíndricas e esféricas;

LÓGICA COMPUTACIONAL (102 h - 3 aulas por semana)
Caracterização e histórico da lógica matemática; Cálculo proposicional; Operações lógicas fundamentais; Procedimentos de decisão de validade; Equivalência lógica; Álgebra proposicional; Método dedutivo em lógica matemática; Raciocínio lógico e formal; Sintaxe e semântica; Inferência no cálculo proposicional; Forma normal; Notaão clausal; Cálculo de predicados; Teoria de quantificação; Inferência no cálculo de predicados; Forma normal prenex; Forma clausal no cálculo de predicados; A linguagem de programação lógica Prolog; Histórico; Sintaxe da linguagem; Sintaxe de operadores; Listas; Recursividade;

Ementário

2º Ano