Introdução. Matemática Discreta. Prof Marcelo Maraschin de Souza
|
|
- Therezinha Campelo
- 5 Há anos
- Visualizações:
Transcrição
1 Introdução Matemática Discreta Prof Marcelo Maraschin de Souza
2 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 (primeira parte do conteúdos será baseada nos livros de Gersting e Garcia et al).
3 Conteúdos Introdução; Lógica Proposicional e de primeira ordem; Conjuntos; Relações; Sequências e somas; Indução e recursão; Análise Combinatória; Elementos da teoria dos números.
4 Matemática Discreta É o estudo das estruturas algébricas discretas, em vez de contínuas; Os objetos estudados em matemática discreta (números inteiros, grafos, afirmações lógicas, etc) não variam suavemente, mas tem valores distintos separados (discrete); A matemática discreta tem sido caracterizada como o ramo da matemática que lida com conjuntos contáveis. É o estudo matemático baseado em conjuntos contáveis, finitos ou infinitos (ex: números naturais x reais).
5 Matemática Discreta x Computação Segundo Diretrizes Curriculares do MEC, A matemática, para a área de computação, deve ser vista como uma ferramenta a ser usada na definição formal de conceitos computacionais. Os modelos formais permitem definir suas propriedades e dimensionar suas instâncias, dadas suas condições de contorno. (...) Considerando que a maioria dos conceitos computacionais pertencem ao discreto, a matemática discreta é fortemente empregada. Qualquer sistema computacional possui limitações finitas como, por exemplo, tamanho de memória, arredondamento, etc.
6 Contínuo x Discreto
7 Contínuo x Discreto Contínuo: álgebra linear e geometria analítica (fase 2); cálculo diferencial e integral (fase 3); Discreto: Aritmética básica em computadores; Programação; Estrutura de dados; Grafos; Inteligência artificial; Cálculo numérico (fase 4); Simulação (pesquisa científica), etc.
8 Outros Exemplos Velocidade de uma Ferrari 430 Scuderia 2008
9 Imagens digitais Outros Exemplos
10 Mapas (exemplo de grafo) Outros Exemplos
11 Outros Exemplos Simulação computacional (elementos finitos)
12 Reforçando o entendimento 1) Seja a função f x = x + 1 com x N, então o conjunto de valores de f é finito ou infinito? Este conjunto é contável? Essa função é contínua? 2) Agora, no exemplo 1 considere x R. Responda as mesmas perguntas.
13 Lógica A lógica matemática é a base pra qualquer estudo em computação, em particular, para o estudo da matemática discreta; Para desenvolver qualquer algoritmo e consequentemente, qualquer software computacional, são necessários conhecimentos básicos de lógica. Por isso, nosso primeiro tópico da disciplina será a lógica formal.
14 Lógica Em uma palestra no Simpósio Brasileiro de Engenharia de Software, David Parnas, importante pesquisador internacional e um dos pioneiros da engenharia de software afirmou, O maior avanço da engenharia de software nos últimos dez anos foram os provadores de teoremas. Exemplos de problemas: Pitágoras, Báskara, caminho até o IFSC, tese de doutorado, etc.
15 Problema dos dois exércitos Considere um campo de batalha com o seguinte cenário:
16 Problema dos dois exércitos O exército Azul está em maior número que o Branco, porém dividido em dois; Cada metade do exército Azul está em menor número; Objetivo do Azul: coordenar ataque em conjunto ao exército Branco; O general do Azul 1 envia seu melhor soldado para entregar a seguinte mensagem para o Azul 2: Vamos atacar conjuntamente o exército Branco amanhã às 6hs. Obs: ambos generais tem os relógios perfeitamente sincronizados e a única forma de comunicação entre os generais é o mensageiro. O soldado entrega a mensagem pro general do Azul 2, que concorda com o ataque, após isso, o soldado retorna até o Azul 1 e confirma com seu general o ataque no dia seguinte. Sabendo disso, o que houve no dia seguinte?
17 Para pensar: (CESPE 2014) Determine a negação da proposição Lívia é estudiosa e Marcos decora. a) Lívia é estudiosa ou Marcos decora b) Lívia não é estudiosa e Marcos não decora. c) Lívia não é estudiosa ou Marcos decora. d) Lívia não é estudiosa ou Marcos não decora. e) Marcos não decora e Lívia é estudiosa.
18 Para pensar: ALTERNATIVA D Para uma conjunção ser FALSA, basta que apenas UMA das proposições que a forma também seja. Logo, para negar uma conjunção basta que uma OU OUTRA proposição seja falsa.
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:
Leia maisCURSO 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
Leia maisSERVIÇ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
Leia maisMINISTÉ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
Leia maisEngenharia de Computação
1º A 1S/2016 Noturno Central 2S/2016 (1º) Cálculo Instrumental Algoritmos Computacionais Geometria Analítica Química Aplicada à Engenharia Metodologia da Pesquisa Cálculo Instrumental Algoritmos Computacionais
Leia maisSERVIÇ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
Leia maisSERVIÇ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
Leia maisSERVIÇ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
Leia maisSERVIÇ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
Leia maisCURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR CURRÍCULO PLENO SEMESTRALIZADO 10 SEMESTRES
CURSO DE CIÊNCIA DA COMPUTAÇÃO MATRIZ CURRICULAR CURRÍCULO PLENO SEMESTRALIZADO 10 SEMESTRES Situação Legal: Reconhecido Integralização: Mínimo 5 anos / Máximo 8 anos Carga Horária: 2.820h (188 créditos)
Leia maisSERVIÇ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
Leia maisGRADE CURRICULAR E CORPO DOCENTE. Fase 1 Carga horária total: 360h
Ciência da Computação CÂMPUS LAGES Instrumentos Regulatórios (Resolução CEPE e CONSUP ou Portaria de reconhecimento do curso pelo MEC) RESOLUÇÃO CEPE/IFSC Nº 39, DE 13 DE AGOSTO DE 2014. RESOLUÇÃO CONSUP/IFSC
Leia maisSERVIÇ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
Leia maisSERVIÇ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 -
Leia maisA 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
Leia maisUNIVERSIDADE 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
Leia maisSERVIÇ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 -
Leia maisHORÁ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
Leia maisGrade Curricular do Curso de Graduação em Engenharia de Computação
Grade Curricular do Curso de Graduação em Engenharia de Computação Currículo 6 Aprovado pelo CDI em 30/05/16 - Carga Horária - Carga Horária Núcleo Básico 1.280h Carga Horária Núcleo Profissionalizante
Leia maisPontifícia Universidade Católica de São Paulo Graduação em Matemática Empresarial
Ciências Humanas e Sociais 36 30 -- -- -- -- -- -- 30 -- 2 36 30 Economia 1 36 30 18 15 -- -- -- -- 45 -- 3 54 45 Fundamentos de Matemática 72 60 -- -- -- -- -- -- -- 60 4 72 60 1º Introdução à Geometria
Leia maisUFV Catálogo de Graduação SISTEMAS DE INFORMAÇÃO. COORDENADORA Liziane Santos Soares
UFV Catálogo de Graduação 2014 103 SISTEMAS DE INFORMAÇÃO COORDENADORA Liziane Santos Soares liziane.soares@ufv.br 104 Currículos dos Cursos UFV Bacharelado ATUAÇÃO Sistemas de Informação é um curso da
Leia maisCurrículos dos Cursos UFV CIÊNCIA DA COMPUTAÇÃO. COORDENADOR José Augusto Miranda Nacif
64 CIÊNCIA DA COMPUTAÇÃO COORDENADOR José Augusto Miranda Nacif jnacif@ufv.br UFV Catálogo de Graduação 2014 65 Bacharelado ATUAÇÃO O curso de Bacharelado em Ciência da Computação tem por objetivo formar
Leia maisCOORDENAÇÃO DO CURSO DE ENGENHARIA ELÉTRICA DATAS DAS AVALIAÇÕES DO PERÍODO LETIVO 2017/1
I 1 PERÍODO Química Geral I 05/04/2017 07/06/2017 21/06/2017 28/06/2017 Cálculo I 06/04/2017 08/06/2017 22/06/2017 29/06/2017 Vetores e Geometria Analítica 11/04/2017 13/06/2017 20/06/2017 27/06/2017 Sociologia
Leia maisANEXO 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
Leia maisUFV Catálogo de Graduação CIÊNCIA DA COMPUTAÇÃO. COORDENADOR José Augusto Miranda Nacif
UFV Catálogo de Graduação 2015 65 CIÊNCIA DA COMPUTAÇÃO COORDENADOR José Augusto Miranda Nacif jnacif@ufv.br 66 Currículos dos Cursos UFV Bacharelado ATUAÇÃO O curso de Bacharelado em Ciência da Computação
Leia maisHORÁ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
Leia mais1º PERÍODO Carga horária Teórica Prática Total
MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DOS VALES DO JEQUITINHONHA E MUCURI FACULDADE DE CIÊNCIAS EXATAS E SOCIAIS APLICADAS CURSO DE GRADUAÇÃO EM SISTEMAS DE INFORMAÇÃO ESTRUTURA CURRICULAR 2008/1
Leia maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia maisFundamentos 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
Leia mais1º 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
Leia maisMATRIZ CURRICULAR BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO. 1º Período
MATRIZ CURRICULAR BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO 1º Período Código Disciplina CHT 1 CHP 2 CH Total Pré-requisitos Dados I 40 40 80 - Cálculo I 80-80 - Fundamentos da Computação 40-40 - Fundamentos
Leia maisMatemá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
Leia maisProf. 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
Leia maisUNIVERSIDADE FEDERAL DO ESPÍRITO SANTO Data: 05/07/2013 Currículo de Cursos Hora: 12:10:07
UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO Data: 05/07/2013 Currículo de Cursos Hora: 12:10:07 Curso: Ciencia da Computacao Nível: Ensino Superior Grau Conferido: Bacharel em Ciência da Computação Turno: Integral
Leia maisFigura 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
Leia maisCÓD CURSO DE ENGENHARIA DE COMPUTAÇÃO MATRIZ CURRICULAR Currículo nº1
Aprovado no CONGRAD de: 29.08.2017 Vigência: ingressos a partir de 2018/1 CÓD. 6570- CURSO DE ENGENHARIA DE COMPUTAÇÃO MATRIZ CURRICULAR Currículo nº1 ÁREAS DE FORMAÇÃO Créditos Acadêmicos Carga Horária
Leia maisBACHARELADO EM SISTEMAS DE INFORMAÇÃO MATEMÁTICA DISCRETA Aula 1 - Apresentação da disciplina
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)
Leia maisCRÉ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
Leia maisCurrículos dos Cursos UFV CIÊNCIA DA COMPUTAÇÃO. COORDENADOR Alcione de Paiva Oliveira
86 Currículos dos Cursos UFV CIÊNCIA DA COMPUTAÇÃO COORDENADOR Alcione de Paiva Oliveira alcione@dpi.ufv.br UFV Catálogo de Graduação 2012 87 Bacharelado ATUAÇÃO A Ciência da Computação caracteriza-se
Leia maisDELIBERAÇÃO CONSEP Nº 151/2012
DELIBERAÇÃO CONSEP Nº 151/2012 Altera o Currículo do Curso de Engenharia de Computação para regime seriado semestral. O CONSELHO DE ENSINO E PESQUISA, na conformidade do Processo nº INF- 105/2012, aprovou
Leia maisENGENHARIA DE COMPUTAÇÃO Bacharelado. ANEXO I - Matriz Curricular de Disciplinas- Modelo. NÚCLEO (Res CNE 11/2002) Presencial.
AXO I Matriz Curricular de Disciplinas Modelo 1º SEMESTRE B.MATTRI.001 Cálculo Diferencial e Integral I B.MATTRI.002 Geometria Analítica B.ENGTRI.003 Desenho Técnico 3 7 2,2 42,7 B.ECPTRI.003 Introdução
Leia maisUNIVERSIDADE FEDERAL DE MINAS GERAIS
UNIVERSIDADE FEDERAL DE MINAS GERAIS Configuração Curricular Relatório de percurso curricular Curso: MATEMATICA COMPUTACIONAL Versão curricular: D-20131 Identificador: 01-01 Situação: Vigente Nome: MATEMATICA
Leia maisUNIVERSIDADE FEDERAL DE MINAS GERAIS
UNIVERSIDADE FEDERAL DE MINAS GERAIS Configuração Curricular Relatório de percurso curricular Curso: MATEMÁTICA COMPUTACIONAL Versão curricular: D-20181 Identificador: 01-02 Situação: Vigente Nome: BACHARELADO
Leia maisFACULDADE DE CIÊNCIA DE ENGENHARIA DE SOFTWARE MATRIZ CURRICULAR DO CURSO DE ENGENHARIA DE SOFTWARE PRIMEIRO PERÍODO SEGUNDO PERÍODO
FACULDADE DE CIÊNCIA DE ENGENHARIA DE SOFTWARE MATRIZ CURRICULAR DO CURSO DE ENGENHARIA DE SOFTWARE PRIMEIRO PERÍODO ESW200 Introdução à Engenharia de Software 2 36 30 - ESW201 Prática de Programação I
Leia maisGrade Horária Engenharia de Telecomunicações (2º Semestre de 2013)
1º PERÍODO Quimica Geral sala (205.4) Grade Horária Engenharia de Telecomunicações (2º Semestre de 2013) ENT100 Introdução à Engenharia de Telecomunicações sala (205.5) Geometria Analitica e Algebra Linear
Leia maisUniversidade Estadual de Maringá
/ Horário de Atividades 2018 Primeira Série Horário A 07:45-08:35 1 5260-01 5262-01 5260-01 5269-01 5267-01 5269-01 08:35-09:25 2 5260-01 5262-01 5260-01 5269-01 5267-01 5269-01 09:40-10:30 3 199-01 5263-01
Leia maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia maisCurso Gestão Períodos Formação Turno Vagas Anuais. Engenharia de Computação Vanderlea Queiroz 10 períodos Bacharel Manhã ou Noite 80 vagas
FAVIÇOSA - Faculdade de Ciências e Tecnologia de Viçosa Mantida pela Univiçosa. União de Ensino Superior de Viçosa Ltda Credenciada pela Portaria MEC: 2569 de 24/08/2004 e Redenominação pela Portaria 194/2017.
Leia maisUNIVERSIDADE FEDERAL DE LAVRAS PRÓ-REITORIA DE GRADUAÇÃO. Currículo Pleno
UNIVERSIDADE FEDERAL DE LAVRAS PRÓ-REITORIA DE GRADUAÇÃO Currículo Pleno Curso: G022 - Engenharia de Controle e Automação (Bacharelado) Base Curricular: 2013/02 Disciplinas Obrigatórias Código Nome Período
Leia maisEXAME ESPECIAL ICEx 2018/1º CURSOS DIURNOS. PERÍODO: 09, 12 e 13 de julho de 2018 DISCIPLINAS CÓDIGO DIA HORÁRIO SALA
EXAME ESPECIAL ICEx 2018/1º CURSOS DIURNOS PERÍODO: 09, 12 e 13 de julho de 2018 DISCIPLINAS CÓDIGO DIA HORÁRIO SALA Álgebra A MAT034 A CRITÉRIO DO PROFESSOR Álgebra Linear I MAT048 13/07/18 16h 2030 Álgebra
Leia maisCurrículos dos Cursos do CCE UFV CIÊNCIA DA COMPUTAÇÃO. COORDENADOR André Gustavo dos Santos
210 Currículos dos Cursos do CCE UFV CIÊNCIA DA COMPUTAÇÃO COORDENADOR André Gustavo dos Santos andre@dpi.ufv.br UFV Catálogo de Graduação 2014 211 Bacharelado ATUAÇÃO A Ciência da Computação caracteriza-se
Leia maisDesvendando o futuro: Matemática Computacional
Desvendando o futuro: Matemática Computacional L. Felipe Bueno lfelipebueno@gmail.com Universidade Federal de São Paulo (UNIFESP) São José dos Campos 11/03/15 Resumo O que é Matemática Computacional Habilidades
Leia maisCurrículos dos Cursos UFV CIÊNCIA DA COMPUTAÇÃO. COORDENADOR Alcione de Paiva Oliveira
82 Currículos dos Cursos UFV CIÊNCIA DA COMPUTAÇÃO COORDENADOR Alcione de Paiva Oliveira alcione@dpi.ufv.br UFV Catálogo de Graduação 2013 83 Bacharelado ATUAÇÃO A Ciência da Computação caracteriza-se
Leia maisCurso de Engenharia Formação Geral 1º e 2º anos
Curso de Engenharia Formação Geral 1º e 2º anos DISCIPLINA 1º Bimestre Introdução à Engenharia 40 Informática 40 Matemática 80 Produção de Textos 40 2º Bimestre Cálculo I 80 Física I 80 Inglês 20 Metodologia
Leia maisRESOLUÇÃO - CEPEC Nº 765
MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE GOIÁS RESOLUÇÃO - CEPEC Nº 765 Altera o Anexo I da Resolução CEPEC nº 692, que fixa o currículo pleno do Curso de Graduação em Engenharia de Computação para
Leia maisCURSO 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
Leia maisMATRIZ CURRICULAR DO CURSO DE LICENCIATURA EM COMPUTAÇÃO
MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS CAMPUS OURO BRANCO COORDENAÇÃO DO CURSO DE LICENCIATURA EM COMPUTAÇÃO
Leia maisMatriz Curricular do Curso de Engenharia de Computação. PRIMEIRO SEMESTRE Carga horária Componente curricular Código Prérequisito
Matriz Curricular do Curso de Engenharia de Computação PRIMEIRO SEMESTRE horária Introdução à Engenharia de ECO 01-15 - 15 1 Computação Metodologia Científica LET 01-30 - 30 2 Física Geral I FSC 01-60
Leia maisAlgoritmos Distribuídos. AD Modelo Computacional 1
Algoritmos Distribuídos Modelo Computacional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro AD Modelo Computacional 1 Modelo Computacional Modelo: Esquema que possibilita
Leia maisEng. Computação / Matriz G55. 1 o A 2S/2017 Noturno
Eng. Computação / Matriz G55 1 o A 2S/2017 Noturno Turma: 2S2017 Pré-Aula 18:00 18:50 G5 22:00 Química Aplicada à Engenharia ECA++ECV+ELE+ EME+EPD Algoritmos Computacionais ECA++ECV+ELE+ EME+EPD Geometria
Leia maisMatriz 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
Leia maisPágina 1 de 5 PRÓ-REITORIA DE GRADUAÇÃO ANEXO "F" ESCOLA POLITÉCNICA CURRÍCULO IDEAL (EC3-2018) Curso: Engenharia de Computação.
Ano de início de validade deste currículo: 201 s em Sequência Aconselhada Obrigatórias 1º semestre MAT253 Cálculo Diferencial e Integral I 6 0 6 90 MAT357 Álgebra Linear I 0 MAC2166 Introdução à Computação
Leia maisCONDIÇÕES DE OFERTA PARA CADASTRO DO CURSO PARA ACOMPANHAMENTO E CONTROLE ACADÊMICO Nome do curso Ciência da Computação Condições de Oferta do Curso
CONEP UFSJ Parecer N o 066/2009 Aprovado em 02/12/2009 ANEXO A: ORIENTAÇÕES PARA OFERTA E CADASTRO DO CURSO CONDIÇÕES DE OFERTA PARA CADASTRO DO CURSO PARA ACOMPANHAMENTO E CONTROLE ACADÊMICO Nome do curso
Leia maisGRADE HORÁRIA ENGENHARIA DE TELECOMUNICAÇÕES 2º SEMESTRE DE 2017
GRADE HORÁRIA ENGENHARIA DE TELECOMUNICAÇÕES 2º SEMESTRE DE 2017 1º PERÍODO Cálculo Diferencial e Integral I Metodologia Científica Geometria Analítica e Álgebra Linear Sala 105.6 Algoritmos e Estruturas
Leia maisSUGESTÃO DE FLUXO PARA INTEGRALIZAÇÃO CURRICULAR MATUTINO PRIMEIRO SEMESTRE
MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE GOIÁS ESCOLA DE ENGENHARIA ELÉTRICA, MECÂNICA E DE COMPUTAÇÃO ENGENHARIA DE COMPUTAÇÃO SUGESTÃO DE FLUXO PARA INTEGRALIZAÇÃO CURRICULAR MATUTINO PRIMEIRO
Leia maisAula de Apresentação. Prof. Túlio Toffolo BCC501 Aula 02 Introdução à Ciência da Computação
Aula de Apresentação Prof. Túlio Toffolo http://www.toffolo.com.br BCC501 Aula 02 Introdução à Ciência da Computação Objetivos (ementa) do Curso Apresentação da Grade Curricular do Curso de Ciência da
Leia maisPágina 1 de 7 PRÓ-REITORIA DE GRADUAÇÃO ANEXO "F" ESCOLA POLITÉCNICA CURRÍCULO IDEAL (EC3-2018) Curso: Engenharia Elétrica - Ênfase em Computação
s em Sequência Aconselhada Obrigatórias 1º semestre 4323101 Física I 3 0 3 45 MAC2166 Introdução à Computação MAT2453 Cálculo Diferencial e Integral I 6 0 6 90 MAT3457 Álgebra Linear I PCC3100 Representação
Leia maisSUGESTÃO DE FLUXO PARA INTEGRALIZAÇÃO CURRICULAR MATUTINO E NOTURNO PRIMEIRO SEMESTRE
MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE GOIÁS ESCOLA DE ENGENHARIA ELÉTRICA, MECÂNICA E DE COMPUTAÇÃO ENGENHARIA DE COMPUTAÇÃO SUGESTÃO DE FLUXO PARA INTEGRALIZAÇÃO CURRICULAR MATUTINO E NOTURNO
Leia maisMatemática Discreta. SLIDE 1 Professor Júlio Cesar da Silva. site:
Matemática Discreta SLIDE 1 Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva Apresentação Professor Júlio Cesar da Silva Mestre em Administração
Leia maisCiência da Computação 2017/1º Horário 1º Período HORA SEGUNDA TERÇA QUARTA QUINTA SEXTA 8:00 8:55 8:55 9:50 10:00 10:55 10:55 11:50
Ciência da Computação 2017/1º Horário 1º Período Introdução a Ciência da Computação Dárlinton Barbosa Cálculo I Marianna Oliveira Matemática Discreta Michellli Loureiro Geometria Analítica Erasmo Fonseca
Leia mais1º 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
Leia maisSERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
Matriz Curricular FGGELET - Bacharelado em Engenharia Elétrica 00. Disciplinas Obrigatórias FGGELET.00 FGGELET.00 Algoritmos e Programação I Cálculo I 0,00 FGGCOMP.0 - Algoritmos I / FGGELET.0 - Algoritmos
Leia mais978 DIÁRIO DA REPÚBLICA I SÉRIE-B N. o 33 8 de Fevereiro de 2002
978 DIÁRIO DA REPÚBLICA I SÉRIE-B N. o 33 8 de Fevereiro de 2002 Expressão e Educação Plástica... Anual... 30 90 Expressão e Educação Físico-Motora... Anual... 90 30 Linguagem Oral e Escrita... Anual...
Leia maisEXAME ESPECIAL ICEx 2018/1º CURSOS DIURNOS. PERÍODO: 09, 12 e 13 de julho de 2018 DISCIPLINAS CÓDIGO DIA HORÁRIO SALA
EXAME ESPECIAL ICEx 2018/1º CURSOS DIURNOS PERÍODO: 09, 12 e 13 de julho de 2018 DISCIPLINAS CÓDIGO DIA HORÁRIO SALA Álgebra A MAT034 A CRITÉRIO DO PROFESSOR Álgebra Linear I MAT048 13/07/18 16h 2030 Álgebra
Leia maishttps://www1.ufrgs.br/portalensino/graduacaocurriculos/ajax/relatori...
Período Letivo: 2016/1 Curso: ESTATÍSTICA Habilitação: BACHARELADO EM ESTATÍSTICA Currículo: BACHARELADO EM ESTATÍSTICA Créditos Obrigatórios: 134 Créditos Eletivos: 48 Créditos Complementares: 10 Total:
Leia maisUniversidade Estadual de Maringá
/ Universidade Estadual de Maringá Horário de Atividades 2017 Primeira Série Horário A 07:45-08:35 1 5260-01 5262-01 5260-01 5269-01 5267-01 5269-01 08:35-09:25 2 5260-01 5262-01 5260-01 5269-01 5267-01
Leia maisDISCIPLINA/ATIVIDADE. Total disciplinas Atividades Complementares DISCIPLINA/ATIVIDADE
Fundação Educacional de Ituverava Faculdade Dr. Francisco Maeda O Diretor da Faculdade Dr. Francisco Maeda de Ituverava-SP, mantida pela Fundação Educacional de Ituverava, tendo em vista o disposto nas
Leia maisATUALIZAÇÃO DE MATRIZES CURRICULARES CURSO DE ENGENHARIA DE COMPUTAÇÃO
ATUALIZAÇÃO DE MATRIZES CURRICULARES CURSO DE ENGENHARIA DE COMPUTAÇÃO Prezado estudante, Em 2018.1, os cursos da UNIFACS passaram por uma atualização de matrizes curriculares. As informações sobre os
Leia maisPRÓ-REITORIA DE GRADUAÇÃO
1º Semestre Disciplinas em Sequência Aconselhada Obrigatórias Disciplina Requisito Disciplina Conjunto Créditos Aula Trab. Tot. Carga Horária MAC2166 Introdução à Computação 4 0 4 60 1 FIS-1 Física Experimental
Leia maisLICENCIATURA EM ENGENHARIA DE REDES DE COMUNICAÇÃO E INFORMAÇÃO EQUIVALÊNCIAS ENTRE PLANOS CURRICULARES. Plano Curricular
LICENCIATURA EM ENGENHARIA DE REDES DE COMUNICAÇÃO E INFORMAÇÃO EQUIVALÊNCIAS ENTRE PLANOS CURRICULARES Plano Curricular de 2005-2006 ECTS Plano Curricular ECTS LERCI LERC / MERC (Bolonha) Análise Matemática
Leia maisLicenciatura - Noturno - Formação Livre Versão curricular: N Identificador do Percurso: 01-01
Licenciatura - Noturno - Formação Livre Versão curricular: N-20131 Identificador do Percurso: 01-01 Conclusão do curso em semestres: mínimo: 6 padrão: 8 máximo: 13 Carga horária mínima de matrícula por
Leia maishttps://www1.ufrgs.br/portalensino/graduacaocurriculos/ajax/relatori...
Período Letivo: 2016/1 Curso: ESTATÍSTICA Habilitação: BACHARELADO EM ESTATÍSTICA Currículo: BACHARELADO EM ESTATÍSTICA - V 1 Créditos Obrigatórios: 136 Créditos Eletivos: 40 Créditos Complementares: 6
Leia maisGRADE HORÁRIA ENGENHARIA DE TELECOMUNICAÇÕES 1º SEMESTRE DE 2017
1º PERÍODO GRADE HORÁRIA ENGENHARIA DE TELECOMUNICAÇÕES 1º SEMESTRE DE 2017 Turma B - Algoritmos e Estruturas de Dados I - Turma B - Eperimental Cálculo Diferencial e Integral I Algoritmos e Estruturas
Leia maisEXAME ESPECIAL ICEx /1º CURSOS DIURNOS. PERÍODO:12, 13 e 14 de julho de 2016
EXAME ESPECIAL ICEx - 2016/1º CURSOS DIURNOS PERÍODO:12, 13 e 14 de julho de 2016 Disciplinas Código Dia Horário Sala Administração CAD011 14/07/16 16h 2009 Administração TGA CAD103 14/07/16 13h30 2027
Leia maisASSOCIAÇÃO DE ENSINO E CULTURA "PIO DÉCIMO" S/C LTDA FACULDADE PIO DÉCIMO. Relatório horário Disciplinas por Curso
Curso: LÉTRICA Período: 2 Turma: B Ano: 2012 Semestre: 1 Currículo: 20101 18:00-18:45 FI101002 - FISICA GERAL E EXPERIMENTAL II - 18:45-19:35 MA100003 - ALGEBRA LINEAR - 19:35-20:25 MA100003 - ALGEBRA
Leia maisSistemas de Informação Campus de Três Lagoas
Resultados da Autoavaliação Institucional - 1º/2018 Sistemas de Informação Campus de Três Lagoas UFMS CPTL TODOS OS CURSOS (PERCEPÇÃO GERAL) Coordenações de Curso Meta-Avaliação Disciplinas Desempenho
Leia maisENGENHARIA ELÉTRICA 1o Período
1o Período Introdução à Engenharia / Elétrica (2) - 13001 /Geometria às Descritiva (2) - 70049 50015 50001 Álgebra Linear e Geometria Analítica (4) - 70002 50003 Integral I (4) - 70006 50016 Integral I
Leia maisFACULDADE DE COMPUTAÇÃO E INFORMÁTICA CURSO: CIÊNCIA DA COMPUTAÇÃO HORÁRIOS DO 1º SEM/2017
AGRUPADORES ESPECIAIS ENEC00055 TECNOLOGIA WEB II 4 4 02 P 03-06 051GA02H11 ENEC00239 MATEMATICA DISCRETA 4 4 02 051GA02H ENEC00239 MATEMATICA DISCRETA 4 4 02 19-20 15-16 051GA02Y ENEC00273 LINGUAGEM DE
Leia maisSERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG
LEI Nº., DE //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: () - - Site: http://www.formiga.ifmg.edu.br Matriz Curricular FGGELET
Leia maisUniversidade Federal do Espírito Santo
Nível: Grau Conferido: Turno: Tipo: Modalidade: Funcionamento: Data de Início: 05/01/ Data de Término: Número de Trancamentos: 2 Seriado: NÃO Situação da Versão: ATIVA ANTERIOR Ensino Superior Engenheiro
Leia maisFaculdade do Centro Leste 1º PERÍODO DE ENGENHARIA OPÇÃO A NOTURNO /2
1º PERÍODO DE ENGENHARIA OPÇÃO A Cálculo I* / Introdução ao Cálculo* 87/104 Projeto Interdisciplinar de Engenharia I* 92 Lógica Matemática e Computacional* 340 Geometria Analítica 91 Desenho Técnico 88
Leia maisAlgoritmos Distribuídos Modelo Computacional
Algoritmos Distribuídos Modelo Computacional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro UFMG/ICEx/DCC 1 Modelo Computacional Modelo: Esquema que possibilita
Leia maisUniversidade Estadual de Santa Cruz UESC Colegiado de Matemática ColMat
Universidade Estadual de Santa Cruz UESC Colegiado de Matemática ColMat Quadro de disciplinas de Matemática-Bacharelado que convalidam com disciplinas de outros cursos do DCET Legenda: Não convalida Não
Leia maisINSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE GOIÁS CAMPUS GOIÂNIA PRÓ-REITORIA DE ENSINO Matrizes Curriculares
Matriz 2161 - Engenharia de Controle e Automação - Matriz Vigente (2008/1) Curso CECAUT - Bacharelado em Engenharia de Controle e Automação Nível Periodicidade Regime Situação Superior Período Não Seriado
Leia maisINSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE GOIÁS CAMPUS GOIÂNIA PRÓ-REITORIA DE ENSINO Matrizes Curriculares
Matriz 2161 - Engenharia de Controle e Automação - Matriz Vigente (2008/1) Curso CECAUT - Bacharelado em Engenharia de Controle e Automação Nível Periodicidade Regime Situação Superior Período Não Seriado
Leia maisFACULDADE 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
Leia maisCURSO DE CIÊNCIAS EXATAS HABILITAÇÃO: BACHARELADO EM CIÊNCIAS EXATAS INGRESSANTES 2009
CURSO DE CIÊNCIAS EXATAS HABILITAÇÃO: BACHARELADO EM CIÊNCIAS EXATAS INGRESSANTES 2009 Período Atividade Acadêmica Caráter Cr CH Pré-requisito Código Denominação 1º MAT154 Cálculo I Disciplina de Formação
Leia mais