P.E. - Modelagem e Simulação Matemática

Prévia do material em texto

Curso de Graduação 
Plano de Ensino – PE 
 
 
 
 
Universidade Veiga de Almeida - UVA Página 1 de 4 
 
Disciplina: Modelagem e Simulação Matemática 
Código: SIF2002_22 Matriz: CURR_CMP_20202MI Período: 1º Modo: Presencial 
Carga Horária: 66h 
Cursos ofertados: Ciência da Computação 
 
 
Ementa 
Teoria elementar de conjuntos. Simulação. Noções de lógica e técnicas de demonstração. 
Álgebra de Boole. Geração de números aleatórios. Sequências, Progressão Aritmética e 
Geométrica. Teoria de Filas. 
Competências e Habilidades 
Realizar estudo sobre a base conceitual de matemática elementar e da lógica matemática para 
posterior aprofundamento em disciplinas mais avançadas de matemática e da própria 
informática. 
 
 
Objetivo da Disciplina 
Desenvolver a capacidade analítica e crítica através do estudo da matemática e da lógica. 
 
Conteúdos Programáticos 
 
Unidade 1 – Teoria elementar de conjuntos e simulação 
Objetivo Específico (Habilidades): 
Aplicar a teoria de conjuntos e elementos no desenvolvimento do raciocínio lógico. 
Identificar uma simulação. 
 
Conteúdo 
1.1 - Conjuntos e elementos; conjunto vazio, conjunto unitário; conjuntos numéricos 
Objetivo: identificar um conjunto e os seus elementos, identificar os tipos de conjunto. 
1.2 – Pertinência, contingência e operações 
Objetivo: identificar as relações de pertinência e contingência; realizar operações com 
conjuntos 
1.3 - Simulação 
Objetivo: reconhecer o uso da simulação no quotidiano da sociedade como ferramenta 
computacional em diversas áreas do conhecimento. 
 
Unidade 2 – Noções de lógica e técnicas de demonstração 
Objetivo Específico (Habilidades): entender o uso de proposições e conectivos lógicos. 
Curso de Graduação 
Plano de Ensino – PE 
 
 
 
 
Universidade Veiga de Almeida - UVA Página 2 de 4 
 
 
Conteúdo 
2.1 - Proposições 
Objetivo: reconhecer a diferença entre frase e proposição dentro da lógica. 
2.2 - Conectivos lógicos e tabelas-verdade 
Objetivo: entender como atua um conectivo lógico e identificar a sua tabela-verdade 
2.3 – Sentenças compostas (fórmulas) – tautologia, contingência e contradição; 
quantificador universal e quantificador existencial 
Objetivo: empregar os conectivos lógicos em sentenças compostas e aplicar quantificador 
existencial e universal em sentenças abertas 
 
 
Unidade 3 – Álgebra de Boole e geração de números aleatórios 
Objetivo Específico (Habilidades): 
Reconhecer a estrutura da álgebra booleana e praticar a geração de números aleatórios. 
 
Conteúdo 
3.1 – Conceito e estrutura da álgebra de Boole 
Objetivo: identificar o conceito e utilização da álgebra booleana 
3.2 - Propriedades da álgebra de Boole 
Objetivo: aplicar as propriedades da álgebra boolena nas expressões, nos conjuntos e nos 
circuitos lógicos. 
3.3 – Geração de números aleatórios 
Objetivo: aplicar métodos para a geração de números aleatórios. 
 
Unidade 4 – Sequências e teoria de filas 
Objetivo Específico (Habilidades): 
Identificar uma sequência, seus tipos mais comuns (P.A. e P.G.) e respectivas características 
principais. Compreender os elementos que compõem a Teoria de Filas e sua importância 
na simulação. 
 
Conteúdo 
4.1 – Definir Sequências, Progressão Aritmética (P.A.) e Progressão Geométrica (P.G.) 
Objetivo: identificar o conceito e a utilização da P.A. e da P.G. 
4-2 – Calcular o termo geral e a soma dos termos de uma Progressão Aritmética e de uma 
Progressão Geométrica (P.G.) 
Objetivo: aplicar as fórmulas do termo geral e da soma de uma P.A. e de uma P.G. 
4.3 – Teoria de filas 
Objetivo: aplicar conceitos gerais sobre Teoria de Filas. 
 
 
 
Curso de Graduação 
Plano de Ensino – PE 
 
 
 
 
Universidade Veiga de Almeida - UVA Página 3 de 4 
 
Metodologia 
Aulas expositivas, podendo contar com o apoio de apresentações, além do desenvolvimento de 
trabalhos, individuais ou em grupos. 
Avaliação 
Avaliação processual e contínua, priorizando aspectos qualitativos e quantitativos relacionados 
com o processo de ensino-aprendizagem e o desenvolvimento do aluno observado durante a 
realização das atividades propostas, individualmente e/ou em grupo. 
 
 
Referências Básicas 
 
1. BARBIERI FILHO, Plinio; HETEM JUNIOR, Annibal. Lógica para computação. Rio de Janeiro: LTC, 
c2013. ISBN: 9788521621331. 
2. BATEMAN, Robert E. et all. Simulação de sistemas: aprimorando processos de logística, 
serviços e manufatura. Rio de Janeiro: Elsevier, 2013. ISBN: 8535271635. (MB) 
3. SOUZA, João Nunes de. Lógica para ciência da computação e áreas afins: uma introdução 
concisa. 3. ed. ampl. Rio de Janeiro: Elsevier, c2015. ISBN: 9788535278248. 
 
Referências Complementares 
 
1. CARDOSO, Domingos Moreira; SYMANSKI, Jerry; ROSTAMI, Mohammad. Matemática discreta: 
combinatória: teoria dos grafos: algoritmos. São Paulo: Escolar, 2009. ISBN: 9789725922378. 
2. HEGENBERG, Leônidas. Lógica: cálculo sentencial, cálculo de predicados, cálculo com 
igualdade. 3. ed. Rio de Janeiro: Forense Universitária, 2012. ISBN: 9788530939205. 
Curso de Graduação 
Plano de Ensino – PE 
 
 
 
 
Universidade Veiga de Almeida - UVA Página 4 de 4 
 
3. GREGÓRIO, Gabriela Fonseca Parreira. Simulação de sistemas produtivos. Porto Alegre: 
SAGAH, 2019. ISBN: 9788595029194. (MB) 
4. MENEZES, Paulo Blauth; TOSCANI, Laira Vieira; GARCÍA LÓPEZ, Javier. Aprendendo 
matemática discreta com exercícios. Porto Alegre: Bookman, 2009. ISBN: 9788577804719. 
 5. SCHEINERMAN, Edward R. Matemática discreta: uma introdução. São Paulo: Cengage 
Learning, 2011. ISBN: 9788522107964. 
6. IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matemática Elementar – Volume1: 7. ed. 
São Paulo: Atual, 2002