INF_____ - Arquitetura e Organização de Computadores I
 

Carga Horária Semanal:	Teoria	Exercícios	Laboratório
	4	0	0

Carga Horária Semestral:	Horas	Créditos
	60	04

Pré-requisito(s): Elementos de Lógica Digital.

Ementa:

Introdução a organização dos computadores digitais: linguagens, níveis, máquinas virtuais; Hardware e Software: máquinas multiníveis; Tradutores, Compiladores e Interpretadores; Histórico da evolução das arquiteturas de computadores; Organização básica da UCP e variações: conjunto de instruções: memória principal; memória secundária; Entrada/Saída; dispositivos periféricos; O nível convencional de máquina: tipos de instruções, modos de endereçamento, formatos de instruções; Exemplo de nível convencional de máquina; Números binários de ponto flutuante; aritmética computacional.

Bibliografia:

• Andrew S. Tanembaum, "Organização Estruturada de Computadores - 3ª Edição", Prentice Hall do Brasil. <$>
• Aumentar <$>

Pré-requisito(s): Programação I.

Ementa:

Introdução à construção de algoritmos. Tipos de dados elementares e estruturados. Estruturas de controle. Modularização de programas: unidades de programação e passagem de parâmetros. Estudo de uma linguagem de programação procedural.
Bibliografia:

• N. Wirth, "Algoritmos e Estruturas de Dados", Prentice-Hall, 1986.
• N. Wirth, "Programação em Modula-2", 3rd edition, Springer Verlag. <$>
• J. Bentley, "More Programming Pearls - Confessions of a coder", Addison Wesley. <$>
• D. Gries, "The Science of Programming", Springer Verlag. <$>

 

Pré-requisito(s): Não tem.

Ementa:
Linguagem Natural e Linguagem Lógica. Cálculo Proposicional: Sintaxe e Semântica. Cálculo de Predicados de Primeira Ordem: Sintaxe e Semântica.Sistemas Dedutivos.

Bibliografia:

• Gallier, J. Logic for Computer science:Fondations of axiomatic Theorem Proving. John Wiley and Sons, 1987.
• Manna, Z.; Waldinger, R. "The Logical Basis for Computer Programming, Vol 1", Deductive Reasoning, Addison Wesley, USA. 1985.
• Costa, M M.C. "Introdução a Lógica Modal Aplicada à Computação" . VIII escola de Computação, 1992. 200p
• H. B. Enderton, "A Mathematical Introduction to Logic", New York, Academic Press. 1972
• E. Mendelson, "Introduction to Mathematical Logic", New York, D. Van Nostrand, 1964.
• Wilfrid, H. An Introduction Elementary Logic, Pinguin Books- 1977.
• Mortari,C. "Introdução à Lógica", Editora Unesp-2001.

Pré-requisito(s): Não tem.

Ementa:
Referenciais. Cinética do ponto. Mudança de referencial. Mecânica da partícula: trabalho, energia. Leis de conservação. Sistemas de partículas: centro de massa, momento angular, torque. Colisões. Movimento do corpo rígido. Introdução à cinética de gases. Leis da termodinâmica. Noções de máquinas térmicas.

Bibliografia:

• BIBLIOGRAFIA A DEFINIR <$>

Pré-requisito(s): Cálculo I.

Ementa:

Funções Vetoriais. Funções reais de várias variáveis. Continuidade. Derivadas parciais. Fórmula de Taylor. Máximos e mínimos. Mulriplicadores de Lagrange. Integral múltipla. Coordenadas cilíndrica e esféricas. Campos vetoriais. Integrais de linha e de superfície. Gradiente e rotacional. Teoremas de Green, de Gauss e de Stokes.

Bibliografia:

• BIBLIOGRAFIA A DEFINIR <$>