BACHARELADO EM SISTEMAS DE INFORMAÇÃO MATEMÁTICA DISCRETA Aula 1 - Apresentação da disciplina
|
|
|
- Ana Clara Estrada Teves
- 5 Há anos
- Visualizações:
Transcrição
1 BACHARELADO EM SISTEMAS DE INFORMAÇÃO MATEMÁTICA DISCRETA Aula 1 - Apresentação da disciplina Prof. Marcelo Gama Universidade Federal Rural de Pernambuco - DM 16 de Agosto de 2011 Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
2 Sumário 1 O que é matemática discreta? Definição Objetos de estudo 2 Sobre o curso Metodologia Ementa do curso Sistema de avaliação Bibliografia Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
3 O que é matemática discreta? Matemática discreta (ou finita) É o estudo das estruturas matemáticas que são fundamentalmente discretas, no sentido de não suportarem ou requererem a noção de continuidade. Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
4 O que é matemática discreta? Alguns dos objetos de estudo Lógica: Raciocínio, linguagem matemática. Técnicas de prova: Validade (ou não) de uma afirmação. Indução finita: Provar afirmações sobre inteiros. Teoria dos conjuntos: Aplicações diversas Relações: Banco de dados Funções: Programação, complexidade, criptografia. Funções geradoras: Recorrência, combinatória. Teoria dos númmeros: Criptografia. Combinatória: Contagem, recursos finitos (memória). Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
5 O que é matemática discreta? Alguns dos objetos de estudo Grafos: Roteamento, fluxo em redes. Algoritmos: Complexidade. Recursividade: Algoritmos recursivos. Recursividade Teoria da informação: Transmissão de dados, criptografia, codificação, compressão de dados. Computabilidade e Complexidade: O que um computador pode fazer? Quanto tempo gasta? Probabilidades: Algoritmos probabilísticos, teoria dos jogos, inteligência artificial. Otimização: Aplicações diversas. Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
6 O que é recursividade? Recursividade VER RECURSÃO Recursão Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
7 O que é recursão? Recursão SE VOCÊ NÃO ENTENDEU AINDA, VEJA RECURSIVIDADE Recursividade Voltar para Aula1 Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
8 Metodologia Dinâmica do curso Em sala de aula) Aulas expositivas Estudo dirigido Aulas de exercícios Para casa Pesquisa 6 listas de exercícios Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
9 Sobre o curso Ementa Noções de lógica e técnicas de demonstração Teoria dos conjuntos Relações e funções Indução e recursão Introdução a teoria dos números Análise combinatória Grafos Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
10 Sobre o curso Sistema de avaliação 1 a Verificação de aprendizagem 2 testes (4, 0+4, 0 = 8, 0 pontos) 3 listas de exercícios (2, 0 pontos) 2 a. Verificação de aprendizagem 2 testes (4, 0+4, 0 = 8, 0 pontos) 3 listas de exercícios (2, 0 pontos) 3 a. Verificação de aprendizagem Prova única com o conteúdo do semestre Avaliação final Prova única com o conteúdo do semestre Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
11 Bibliografia Bibliografia básica 1 Edward R. Scheinerman: Matemática Discreta Uma Introdução. Thomson Pioneira, Paulo Blauth Menezes: Matemática discreta para computação e informática - Série UFRGS, n 16, Editora Sagra-Luzzatto, Judith L. Gersting. Fundamentos Matemáticos para a Ciência da Computação. 5 a Edição, Editora LTC, Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
12 Bibliografia Bibliografia complementar 1 Graham, Knuth e Patashnik, Matemática Concreta: Fundamentos para Ciência da Computação. Addison-Wesley, Skvarcius and Robinson, Discrete Mathematics with Computer Science Applications. Benjamin/Cummings, Evaristo Jaime, Introdução à Álgebra com Aplicações à Ciência da Computação. EdUFAL, Roman, Steven, An Introduction to Discrete Mathematics. HBJ, S. C. Coutinho, Números inteiros e criptografia RSA. IMPA, Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
13 Bom estudo Bom estudo a todos! Marcelo Gama (DM - UFRPE) Mat. Discreta - Aula 1 16 de Agosto de / 13
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
MINISTÉRIO DA EDUCAÇÃO CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS DIRETORIA DE GRADUAÇÃO
DISCIPLINA: Matemática Discreta CÓDIGO: 2ECOM.008 Validade: a partir do 1º Semestre de 2009 Término: Carga Horária: Total: 60 h/a Semanal: 04 aulas Créditos: 04 Modalidade: Teórica Classificação do Conteúdo
PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO Pró-Reitoria de Ensino de Graduação Coordenação do Curso de Bacharelado em Sistemas de Informação Site: http://www.bsi.ufrpe.br E-mail: coordenacao@bsi.ufrpe.br
Matemática Discreta. Gabriel David Gil Coutinho José Costa Pereira Renato Soeiro MESTRADO INTEGRADO EM ENGENHARIA INFORMÁTICA E COMPUTAÇÃO
MESTRADO INTEGRADO EM ENGENHARIA INFORMÁTICA E COMPUTAÇÃO Matemática Discreta Gabriel David Gil Coutinho José Costa Pereira Renato Soeiro DEPARTAMENTO DE ENGENHARIA INFORMÁTICA FACULDADE DE ENGENHARIA
Fundamentos de Matemática
Fundamentos de Matemática Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 1 7 de janeiro de 2013 Aula 1 Fundamentos de Matemática 1 Apresentação Aula 1
PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos
UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GBC052 PERÍODO:
CRÉDITOS DO CURSO. Carga Horária Créditos IN1030 Seminários 30 2
UNIVERSIDADE FEDERAL DE PERNAMBUCO PRÓ-REITORIA PARA ASSUNTOS DE PESQUISA E PÓS-GRADUAÇÃO ESTRUTURA CURRICULAR STRICTO SENSU (baseada na Res. 10/2008 do CCEPE) NOME DO CURSO: Pós-Graduação em Ciência da
Plano de Ensino IDENTIFICAÇÃO EMENTA
Plano de Ensino IDENTIFICAÇÃO EIXO TECNOLÓGICO: Informação e Comunicação CURSO: Tecnologia em Sistemas para Internet FORMA/GRAU:( )integrado ( )subsequente ( ) concomitante ( ) bacharelado ( ) licenciatura
TEORIA: 60 LABORATÓRIO: 0
Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA: BC1435 - Análise de Algoritmos
1º Período. Horário Início Término CAD103 ADMINISTRAÇÃO TGA ALGORITMOS E ESTRUTURAS DE DADOS III
CAD103 DCC003 ADMINISTRAÇÃO TGA ALGORITMOS E ESTRUTURAS DE DADOS I DCC044 FUNDAMENTOS DE SISTEMAS DE INFORMAÇÃO 6ª MAT001 MAT038 6ª DCC004 DCC111 ALGORITMOS E ESTRUTURAS DE DADOS II MATEMÁTICA DISCRETA
PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos
UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Análise de Algoritmos ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GBC052 PERÍODO:
Turma A - Segundas e Quartas das 8h30min - 10h10min Turma B - Segundas e Quartas das 10h30min - 12h10min
UNIVERSIDADE DEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA DEPARTAMENTO DE INFORMÁTICA TEÓRICA 2 Semestre 2008 04/08/2008 a 12/12/2008 DISCIPLINA: TEORIA DA COMPUTAÇÃO N CÓDIGO: INF05501. Horário:
PLANO DE ENSINO. Ano: 2015 Semestre Letivo: ( ) Primeiro ( x ) Segundo Total de Créditos (se for o caso): 4 Carga Horária: 60 horas
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br PLANO DE ENSINO
UNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática
2 a ETAPA exclusivo de curso (X) Eixo Comum ( ) Eixo Universal ( ) Curso: CIÊNCIA DA COMPUTAÇÃO ALGORITMOS E PROGRAMAÇÃO II ( 02 ) Sala de Aula 04 h/a ( 02 ) Laboratório ALGORITMOS E PROGRAMAÇÃO Estudo
ESTRUTURA DE DADOS DCC013
ESTRUTURA DE DADOS DCC013 1 o sem./2018 Professor: Itamar Leite de Oliveira itamar.leite@ufjf.edu.br Professor: Bernardo Martins Rocha bernardomartinsrocha@ice.ufjf.br Total de Créditos: 4 Turma: A Pré-requisitos:
Introdução. Matemática Discreta. Prof Marcelo Maraschin de Souza
Introdução Matemática Discreta Prof Marcelo Maraschin de Souza Disciplina Aulas: Segunda-feira e terça-feira: 8:00 até 9:50 Avaliações: listas de exercícios e três provas; Livros disponíveis na biblioteca
UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO
PLANO DE ENSINO UNIVERSIDADE FEDERAL RURAL DE PERNAMBUCO PRÓ-REITORIA DE ENSINO DE GRADUAÇÃO Rua Dom Manoel de Medeiros, s/n Dois Irmãos 52171-900 Recife-PE Fone: 0xx-81-332060-40 proreitor@preg.ufrpe.br
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
Matriz Curricular FGGCOMP - Bacharelado em Ciência da Computação 0. Disciplinas Obrigatórias FGGCOMP.00 Cálculo I FGGELET.00 - Cálculo I / FGGMATE.00 - Cálculo Diferencial e Integral I FGGCOMP.00 Geometria
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
Matriz Curricular FGGCOMP - Bacharelado em Ciência da Computação 0. Disciplinas Obrigatórias FGGCOMP.00 Cálculo I FGGELET.00 - Cálculo I / FGGMATE.00 - Cálculo Diferencial e Integral I FGGCOMP.00 Geometria
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
Matriz Curricular FGGCOMP - Bacharelado em Ciência da Computação 0. Disciplinas Obrigatórias FGGCOMP.00 Cálculo I FGGELET.00 - Cálculo I / FGGMATE.00 - Cálculo Diferencial e Integral I FGGCOMP.00 Geometria
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
Matriz Curricular FGGCOMP - Bacharelado em Ciência da Computação 0. Disciplinas Obrigatórias FGGCOMP.00 Cálculo I FGGELET.00 - Cálculo I / FGGMATE.00 - Cálculo Diferencial e Integral I FGGCOMP.00 Geometria
Instituto de Matemática e Estatística, UFF Março de 2011
,,,,, Instituto de Matemática e Estatística, UFF Março de 2011 ,, Sumário,,. finitos,. conjunto: por lista, por propriedade.. Igualdade,. Propriedades básicas.. ,, Christos Papadimitriou, Autor dos livros
MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DO NORTE DE MINAS GERAIS CAMPUS MONTES CLAROS 1 PERÍODO
6.4 Matriz Curricular do Curso de Ciência da Computação 6.4.1 Componentes curriculares obrigatórios 1 PERÍODO Teórica Prática Hora-aula Horas Cálculo I 6 2 8 144 120 - Geometria Analítica e Vetores - Dados
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
Matriz Curricular FGGMATE - Licenciatura em Matemática 0. Disciplinas Obrigatórias FGGMATE.090 Filosofia da Educação Matemática FGGMATE.00 Fundamentos de Cálculo FGGMATE.00 Fundamentos de Matemática Elementar
CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR MATUTINO Fase N.
CURSO DE GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR MATUTINO Fase N. Ordem Código COMPONENTE CURRICULAR Créditos Horas Prérequisitos 01 Introdução à informática 04 60 02 Matemática instrumental
UNIDADE UNIVERSITÁRIA:
UNIDADE UNIVERSITÁRIA: Faculdade de Ciências e Tecnologia/UNESP CURSO: Ciência da Computação Vespertino-Noturno HABILITAÇÃO: Bacharelado OPÇÃO: DEPARTAMENTO RESPONSÁVEL: Departamento de Matemática e Computação
PLANO DE CURSO. 3. OBJETIVO GERAL DA DISCIPLINA: Desenvolver no aluno uma metodologia de análise de problemas e formulação de algoritmos.
1. DADOS DE IDENTIFICAÇÃO: Curso: Bacharelado em Sistemas de Informação Disciplina: Fundamentos da Programação Professor: Esp. Edemilton Alcides Galindo PLANO DE CURSO Código: SIF29 E-mail: edemilton.junior@fasete.edu.br
MATEMÁTICA DISCRETA. Área Científica Engenharia Informática 2º / 1º 2016/2017 Matemática Matemática. Co-Responsável Carla Rodrigues
MATEMÁTICA DISCRETA Curso Ano/Semestre Ano Lectivo Área Científica Engenharia Informática 2º / 1º 2016/2017 Matemática Matemática Dpt. Responsável da Unidade Curricular (UC) Artur Cruz Co-Responsável Carla
Algoritmos para Automação e Sistemas
Universidade Federal do Amazonas Departamento de Eletrônica e Computação Algoritmos para Automação e Sistemas Lucas Cordeiro lucascordeiro@ufam.edu.br Notas de Aula Estes slides estão baseados livro do
MATEMÁTICA DISCRETA. Cursos Ano/Semestre Ano Letivo Área Científica Dpt. Tipo de Aulas T TP P L Tipo de disciplina ECTS
MATEMÁTICA DISCRETA Cursos Ano/Semestre Ano Letivo Área Científica Dpt. Engenharia Informática Língua de Ensino 2º / 1º 2017/2018 Matemática Matemática Português Responsável da Unidade Curricular (UC)
PLANO DE DISCIPLINA DISCIPLINA: Estrutura de Dados 2
UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM SISTEMAS DE INFORMAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Estrutura de Dados 2 ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GSI011 PERÍODO:
PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação
UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM GESTÃO DA INFORMAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GGI026 PERÍODO:
MATEMÁTICA DISCRETA. Cursos Ano/Semestre Ano Letivo Área Científica Dpt. Tipo de Aulas T TP P L Tipo de disciplina ECTS
MATEMÁTICA DISCRETA Cursos Ano/Semestre Ano Letivo Área Científica Dpt. Engenharia Informática Língua de Ensino 2º / 1º 2017/2018 Matemática Matemática Português Responsável da Unidade Curricular (UC)
Programa Analítico de Disciplina SIN213 Projeto de Algoritmos
Programa Analítico de Disciplina Campus Rio Paranaíba - Campus Rio Paranaíba Número de créditos: 6 Teóricas Práticas Total Duração em semanas: 15 Carga horária semanal 4 2 6 Períodos - oferecimento: II
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
Matriz Curricular FGGMATE - Licenciatura em Matemática 0. Disciplinas Obrigatórias FGGMATE.090 Filosofia da Educação Matemática FGGMATE.00 Fundamentos de Cálculo FGGMATE.00 Fundamentos de Matemática Elementar
A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação
A Matemática como Serviço a Ciência da Computação Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação A Matemática e Ciência da Computação A Matemática faz parte do DNA
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
LEI Nº.9, DE 9//00, PUBLICADA NO DOU DE 0//00, SEÇÃO I, PAGS. I - Rua São Luiz Gonzaga, s/n - São Luiz - Formiga - MG - CEP: 0-000 Tel: ()-09 - Site: www.formiga.ifmg.edu.br Matriz Curricular FGGCOMP -
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
LEI Nº.9, DE 9//00, PUBLICADA NO DOU DE 0//00, SEÇÃO I, PAGS. I - Rua São Luiz Gonzaga, s/n - São Luiz - Formiga - MG - CEP: 70-000 Tel: (7)-09 - Site: www.formiga.ifmg.edu.br Matriz Curricular FGGCOMP
Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 22 de Fevereiro de 2018
22 de Fevereiro de 2018 Motivação O que é um computador? O que é um algoritmo? Para que serve um algoritmo? Quando um algoritmo é bom? A análise de um algoritmo depende do computador? Motivação Em teoria
Linguagens Formais e Autômatos P. Blauth Menezes
Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes
DISCIPLINA: Programação de Computadores I
DISCIPLINA: Programação de Computadores I CÓDIGO: 2ECOM.001 Validade: a partir do 1º Semestre de 2007 Carga Horária: Total: 30 horas-aula Semanal: 02 aulas Créditos: 02 Modalidade: Teórica Classificação
SCC Introdução à Teoria da Computação
SCC-0505 João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis/ joaoluis@icmc.usp.br
Programa Analítico de Disciplina INF333 Programação Competitiva
0 Programa Analítico de Disciplina Departamento de Informática - Centro de Ciências Exatas e Tecnológicas Número de créditos: Teóricas Práticas Total Duração em semanas: 15 Carga horária semanal 2 2 Períodos
SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
LEI Nº.9, DE 9//00, PUBLICADA NO DOU DE 0//00, SEÇÃO I, PAGS. I - Rua São Luiz Gonzaga, s/n - São Luiz - Formiga - MG - CEP: 0-000 Tel: ()-09 - Site: www.formiga.ifmg.edu.br Matriz Curricular FGGCOMP -
Instituto de Matemática, UFF Outubro de 2010
Instituto de Matemática, UFF Outubro de 2010 Sumário... De Roever Semântica relacional de programas. De Roover (1943 ****) Motivação Objetos podem ser especificados de acordo com a maneira como eles se
1º Semestre. Algoritmos e Programação Orientada a Objetos I. Fundamentos de Teoria da Computação. Introdução à Administração
RESOLUÇÃO Nº 9, DE 3 DE JANEIRO DE 2018. O PRESIDENTE DO CONSELHO DE GRADUAÇÃO da Fundação Universidade Federal de Mato Grosso do Sul, no uso de suas atribuições legais, e considerando o contido no Processo
SCC-501 Introdução à Ciência de Computação II
SCC-501 João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis 2011 João
Análise de Algoritmos. Prof. Sérgio Carlos Portari Júnior
Análise de Algoritmos Prof. Sérgio Carlos Portari Júnior 2016 Plano de Ensino EMENTA: Desenvolvimento de Algoritmos. Medidas de Complexidade. Estratégias Básicas. Divisão e Conquista. Método Guloso. Programação
HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO 2017 Atualizado 02/02/2017 INGRESSANTES A PARTIR DE 2010
HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO 2017 Atualizado 02/02/2017 INGRESSANTES A PARTIR DE 2010 1 0 ANO - 1 0. SEMESTRE (Grade Curricular Nova) Cálculo Diferencial e Lógica Matemática Discreta Integral
Universidade Federal do ABC Rua Santa Adélia, Bairro Bangu - Santo André - SP - Brasil CEP Telefone/Fax:
Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA MC3201 - COMPILADORES 2. DISCIPLINA
PLANO DE APRENDIZAGEM
PLANO DE APRENDIZAGEM 1. DADOS DE IDENTIFICAÇÃO Curso: Bacharelado em Sistemas de Informação Disciplina: Linguagens Formais e Compiladores Código: SIF5N191 Professor: Jamilson Ramalho Dantas e-mail: jamilson.dantas@fasete.edu.br
Instituto de Matemática e Estatística, UFF Março de 2011
e e Instituto de Matemática e Estatística, UFF Março de 2011 e Sumário.. e Turing Matemático, lógico, criptoanalista e cientista da computação inglês. Formalizou os conceitos de algoritmo e de computação
UNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA - UESB DEPARTAMENTO DE CIÊNCIAS EXATAS - DCE PLANO DE CURSO DISCIPLINA
UNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA - UESB DEPARTAMENTO DE CIÊNCIAS EXATAS - DCE PLANO DE CURSO DISCIPLINA CÓDIGO DENOMINAÇÃO CRÉDITOS C. HORÁRIA DCE241 Teoria da Computação 04 75 horas TEM COMO
SCC-201 Introdução à Ciência de Computação II
SCC-201 João Luís Garcia Rosa 1 Ricardo J. G. B. Campello 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br
INSTITUTO FEDERAL CEARÁ - IFCE CAMPUS AVANÇADO DE ARACATI CURSO: BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO PROGRAMA DE UNIDADE DIDÁTICA PUD.
PROGRAMA DE UNIDADE DIDÁTICA PUD DISCIPLINA: INTRODUÇÃO A COMPUTAÇÃO Código: Carga Horária: 40h Número de Créditos: 2 Código pré-requisito: Semestre: Nível: EMENTA S1 Bacharelado PARTE A: 1) Introdução
Linguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma C01 Engenharia da Computação e Ciência da Computação Horário: Segunda e Quinta:
Introdução à Matemática Discreta
Introdução à Matemática Discreta Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Condução da disciplina Aulas: Quartas: 10:10 12:00 Sextas: 08:00 09:50 Haverá troca de professores:
HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO 2016 Atualizado 26/01/2016 INGRESSANTES A PARTIR DE 2010
HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO 2016 Atualizado 26/01/2016 INGRESSANTES A PARTIR DE 2010 1 0 ANO - 1 0. SEMESTRE (Grade Curricular Nova) Vespertino Lógica Matemática Discreta Integral I (Almir
2. DISCIPLINA REQUISITO (RECOMENDAÇÃO) 3. INDICAÇÃO DE CONJUNTO (BCC) Obrigatória TEORIA: 60 LABORATÓRIO: 30
Universidade Federal do ABC Rua Santa Adélia, 166 - Bairro Bangu - Santo André - SP - Brasil CEP 09.210-170 - Telefone/Fax: +55 11 4996-3166 1. CÓDIGO E NOME DA DISCIPLINA MC3106 - LINGUAGENS FORMAIS E
Prof. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Matemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
Matemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
SCC-5832 Teoria da Computação
Teoria da Computação SCC-5832 Teoria da Computação João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos
SIN5013 Análise de Algoritmos e Estrutura de Dados - 1o Semestre de 2019
SIN5013 Análise de Algoritmos e Estrutura de Dados - 1o Semestre de 2019 Luciano Antonio Digiampietri Escola de Artes, Ciências e Humanidades Programa de Pós-graduação em Sistemas de Informação (PPgSI)
PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação
UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM GESTÃO DA INFORMAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Algoritmos e Programação ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GGI026 PERÍODO:
Mecanismos de Interrupção e de Exceção, Barramento, Redes e Sistemas Distribuídos. Sistemas Operacionais, Sistemas
Arquitetura de Computadores, Arquitetura de Computadores Organização de Computadores, Conjunto de Instruções, Sistemas Operacionais, Sistemas Operacionais, Sistemas Mecanismos de Interrupção e de Exceção,
CURSO DE CIÊNCIA DA COMPUTAÇÂO (65C) HABILITAÇÃO: BACHARELADO TURNO: DIURNO (a partir de 2014)
CURSO DE CIÊNCIA DA COMPUTAÇÂO (65C) HABILITAÇÃO: BACHARELADO TURNO: DIURNO (a partir de 2014) Equivalência 1 o Período 24 créditos 360 horas MAT154 Cálculo I 04 60 ------- MAT154E MAT155 Geometria Analítica
DISCIPLINA: MATEMÁTICA DISCRETA
Semestre 1 Cód. Disciplina Créditos Horas Nat. Prérequisitos Teóricos Práticos TELM.003 Matemática Discreta 4-80 OBR - TELM.005 Cálculo I 4-80 OBR - TELM.009 Lógica de Programação I 4 2 120 OBR - TELM019
Linguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma A01 Engenharia da Computação e Ciência da Computação Horário: Segunda, Terça e Quinta.
Um livro texto para Álgebra Aplicada à Computação
Um livro texto para Álgebra Aplicada à Computação Jaime Evaristo Departamento de Tecnologia da Informação Universidade Federal de Alagoas jaime@ccen.ufal.br Resumo O ensino de matemática discreta (ou álgebra
Matriz Curricular Curso de Licenciatura em Computação Habilitação: Licenciatura em Computação
Matriz Curricular Curso de Licenciatura em Habilitação: Licenciatura em LC101 Leitura e produção textual 30-10 40 2 - LC102 Informática e sociedade 30-10 40 2 - LC103 Inglês básico 50-10 60 3-1º LC104
UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR
UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR FORMULÁRIO PARA CRIAÇÃO E/OU REGULAMENTAÇÃO DE DISCIPLINA
UNIDADE ACADÊMICA: Faculdade de
UNIVERSIDADE FEDERAL DE UBERLÂNDIA FACULDADE DE COMPUTAÇÃO BACHARELADO EM SISTEMAS DE INFORMAÇÃO PLANO DE DISCIPLINA DISCIPLINA: Programação Lógica ( X ) SEMESTRAL - ( ) ANUAL CÓDIGO: GSI010 PERÍODO: 2
SERVIÇO PÚBLICO FEDERAL INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO AMAPÁ IFAP CÂMPUS MACAPÁ
13 específica, de segunda-feira a sexta-feira e aos sábados, caso seja necessário para complementação do período letivo e/ou carga horária curricular. Cada aula tem durafao de 50min (cinquenta minutos),
MATRIZ CURRICULAR E DIMENSIONAMENTO DA CARGA HORÁRIA POR PERÍODO LETIVO CARGA HORÁRIA. Teoria Prática. Matemática Discreta 4-80
E DIMENSIONAMENTO DA POR PERÍODO LETIVO - 2019 (A APRESENTADA NAS TABELAS REFEREM-SE À HORA AULA DE 50 MINUTOS) PRIMEIRO SEMESTRE / 1 O ANO Leitura e Interpretação de Textos 2-40 Matemática Discreta 4-80
SCC Teoria da Computação e Linguagens Formais
SCC-0205 João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis/ joaoluis@icmc.usp.br
DOCUMENTO DE ADEQUAÇÃO MESTRADO EM ENGENHARIA INFORMÁTICA FACULDADE DE CIÊNCIAS E TECNOLOGIA UNIVERSIDADE NOVA DE LISBOA PEÇA B
DOCUMENTO DE ADEQUAÇÃO DO MESTRADO EM ENGENHARIA INFORMÁTICA FACULDADE DE CIÊNCIAS E TECNOLOGIA UNIVERSIDADE NOVA DE LISBOA (ESTRUTURA CURRICULAR E PLANO DE ESTUDOS) B2 FORMULÁRIO 1. Estabelecimento de
Plano de Estudos Mestrado em Matemática e Aplicações Ramo Atuariado, Estatística e Investigação Operacional. 1º ano/ 1º semestre
Plano de Estudos Mestrado em Matemática e Aplicações Ramo Atuariado, Estatística e Investigação Operacional 1º ano/ 1º semestre Atuariado Vida M S 168 TP: 56 6 Estatística Numérica Computacional M S 168
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO. Prof.ª Danielle Casillo
UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO TEORIA DA COMPUTAÇÃO Aula 01 Apresentação da Disciplina Prof.ª Danielle Casillo PLANO DE ENSINO Nome: Teoria da Computação Créditos:
Faculdade de Informática e Tecnologia de Pernambuco
Faculdade de Informática e Tecnologia de Pernambuco Plano de Ensino Disciplina: INF101 - Álgebra Aplicada à Computação; Professor: Diego Machado Dias; Curso: Ciência da Computação; Carga horária: 72h;
Figura 4.2: Matriz Curricular
Figura 4.2: Matriz Curricular 3660 Fundamentos de Matemática e Estatística Física Eletrônica Algoritmos e Programação Arquitetura de Computadores Metodologias e Técnicas de Computação Engenharia e Sistemas
Obrigatórias diurnas dos grupos. Outras obrigatórias BCC. Carga Didática Planilha COMPADI Sigla Nome Semestre Professor
Carga Didática 2017 - Planilha COMPADI Sigla Nome Semestre Professor Obrigatórias diurnas dos grupos MAC0329 Álgebra Booleana e Aplicações 1o sem Nina MAC0323 Algoritmos e Estruturas de Dados II 1o sem
BACHARELADO EM SISTEMAS DE INFORMAÇÃO
BACHARELADO EM SISTEMAS DE INFORMAÇÃO 2009 1. Resumo do Curso Disciplinas Disciplinas Obrigatórias N. de Créditos Carga horária Disciplinas do CB/CTC 30 450 Obrigatórias Religiosas 12 180 Obrigatórias
TURMA CC2TA Sala: Computação e Informática Segunda Terça Quarta Quinta Sexta. Noções de Eletricidade e Eletrônica (Alex Santos) Lab.
TURMA CC2TA Sala: 14:50 / Matemática Discreta I (Eliane Laboratório de I Prolog Noções de Eletricidade e Eletrônica (Alex Santos) Lab. 4D Projeto Integrado I Iniciação Científica (Andracir Arquitetura
Projeto e Análise de Algoritmos. Introdução. Prof. Ademir Constantino Universidade Estadual de Maringá Departamento de Informática
Projeto e Análise de Algoritmos Introdução Prof. Ademir Constantino Universidade Estadual de Maringá Departamento de Informática Projeto e Análise de Algoritmos Eu penso que o projeto de algoritmos eficientes
PROJETO PARA O CICLO AVANÇADO TÉCNICAS MODERNAS EM COMBINATÓRIA
PROJETO PARA O CICLO AVANÇADO TÉCNICAS MODERNAS EM COMBINATÓRIA LEONARDO NAGAMI COREGLIANO E YOSHIHARU KOHAYAKAWA Resumo. Este é o projeto de pesquisa para o Ciclo Avançado de Leonardo Nagami Coregliano,
DIVISÃO DE ASSUNTOS ACADÊMICOS Secretaria Geral de Cursos PROGRAMA DE DISCIPLINA
DIVISÃO DE ASSUNTOS ACADÊMICOS Secretaria Geral de Cursos PROGRAMA DE DISCIPLINA DEPARTAMENTO DE CIÊNCIAS EXATAS CÓDIGO: EXA804 DISCIPLINA: PROGRAMAÇÃO CARGA HORÁRIA: 180h EMENTA: Estudo aprofundado de
Linguagens Formais e Autômatos
Linguagens Formais e Autômatos Contextualização Prof.ª Aracele Garcia de Oliveira Fassbinder IFSULDEMINAS Campus Muzambinho Muzambinho, Fevereiro de 2012 Sobre esta disciplina O que é uma linguagem formal?
Sistema de Controle Acadêmico. Grade Curricular. Curso : MATEMÁTICA
Universidade Federal Rural do Rio de Janeiro Pró-reitoria de Graduação - DAARG DRA - Divisão de Registros Acadêmicos Sistema de Controle Acadêmico 18/04/2017-19:33:27 CÓD. REGISTRO INEP: 12918/31918/323847
CURRÍCULO DO CURSO TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO (noturno) [Campus Araranguá] 20171
![CURRÍCULO DO CURSO TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO (noturno) [Campus Araranguá] 20171](/thumbs/88/115762671.jpg "CURRÍCULO DO CURSO TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO (noturno) [Campus Araranguá] 20171")
Documentação: Objetivo: Titulação: Diplomado em: Reconhecimento do Curso - Port.nº 122, de 05/07/2012/MEC Autorizado Portaria nº 322/SESU/2011, de 02/08/2011. Resolução nº 022/CEG/2008 de 10/12/2008,(Criação
BIOLOGIA 0 DB MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY SATURDAY S 08:00-10:00 10:00-12:00 14:00-16:00 16:00-18:00 18:00-20:00 20:00-22:00
BIOLOGIA 0 DB Educ_AmbientalT1 @ Sala 04 FISICA1 0 DF Elet Mag @ Sala 04 Elet Mag @ Sala 04 Elet Mag @ Sala 05 INGLES 0 DL Ingles tecnico @ Sala 03 Ingles tecnico @ Sala 03 MATEMATICA1 0 DM Calculo I -
ANEXO I SEQÜÊNCIA ACONSELHADA DE DISCIPLINAS Ciência da Computação
ANEXO I SEQÜÊNCIA ACONSELHADA DE DISCIPLINAS Ciência da Computação 1º SEMESTRE DEPTo. CÓDIGO CRÉDITOS CH TIPO DISCIPLINA - Pré-Requisito FIL 0725-0 4 0 0 60 OBR Metodologia Científica INF 5587-8 3 0 0
Algoritmos e Estruturas de Dados II LEIC
Algoritmos e Estruturas de Dados II Licenciatura em Engenharia Informática e Computação www.fe.up.pt/ rcamacho/cadeiras/aed2 LIACC/FEUP Universidade do Porto rcamacho@fe.up.pt Fevereiro 2005 Conteúdo da
Linguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma C01 Engenharia da Computação e Ciência da Computação Horário: Terça e Sexta: 20:30
Lógica Computacional
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RN CAMPUS NATAL ZONA NORTE LICENCIATURA EM INFORMÁTICA Aula 01: Apresentação da Disciplina Francisco Júnior E-mail: francisco.junior@ifrn.edu.br Website:
UNIVERSIDADE FEDERAL DE ALFENAS
Curso: Ciência da Computação Versão: 4 Descrição: Ano: 2011 Semestre: Primeiro não vinculado à disciplina ou a Tipo de estágio: NÃO Exame de Qualificação: NÃO Exame de Proficiência em Inglês: NÃO Exame
Fundamentos de Fundamentos de Sistemas de Geometria Analítica. Comunicação e Expressão I
4.7.2 Representação Gráfica do Perfil de Formação Quadro I dos núcleos de formação do Curso de Sistemas de Informação para ingressantes a partir do 2º semestre de 2014 Período 1º 2º 3º Algoritmos e Programação
Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 1
Curso: Ciência da Computação Turma: 6ª Série Teoria da Computação Aula 1 Apresentação da Disciplina e Metodologia de Trabalho. Introdução a Teoria da Computação. Apresentação do Professor André Luís Bordignon
FACULDADE DE COMPUTAÇÃO E INFORMÁTICA CURSO: CIÊNCIA DA COMPUTAÇÃO HORÁRIOS DO 2º SEM/2017
AGRUPADORES ESPECIAIS ENEC00275 LINGUAGEM DE PROGRAMACAO III 6 4 2 02 051GA04K11 AGRUPADOR: 051AG01G (G11/G12) - MATUTINO ENEC00091 INGLES TECNICO COMPUTACAO I 2 2 01 T 05-06 051GA01G ENEC00204 FUNDAM