Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 1

Tamanho: px
Começar a partir da página:

Download "Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 1"

Transcrição

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.

2 Apresentação do Professor André Luís Bordignon Formado em Matemática Aplicada e Computacional com Mestrado em Engenharia da Computação Trabalho atualmente com Pesquisa e Desenvolvimento na área de Software como Consultor Black Belt Atuo em uma Organização Não Governamental chamada CDI Comitê para Democratização da Informática. Dúvidas? Curiosidades?... Teoria da Computação 2

3 O que é Teoria da Computação? O que vocês esperam dessa disciplina? Qual é a sua expectativa em relação a essa disciplina? Teoria da Computação 3

4 Teoria da Computação 4

5 Ementa Programas, Máquinas e computações, Máquinas Universais, Funções recursivas, Computabilidade, Noção de modelos computacionais, Equivalência entre modelos e tese de Church, Funções não computáveis e o problema da parada, Enumerabilidade, Problemas não decidíveis e semi-decidíveis. Teoria da Computação 5

6 Objetivos Apresentar a importância de se analisar computacionalmente os problemas de processos e sistemas e como se pode modelar matematicamente ou logicamente estes problemas para facilitar sua execução. Teoria da Computação 6

7 Como a Disciplina se Relaciona com as Outras Disciplinas do Curso Lógica (2ª série) Programação (Todas as séries) Inteligência Artificial (8ª série) Compiladores (8ª série) Computação Gráfica (8ª série) Teoria da Computação 7

8 Por que eu preciso aprender Teoria da Computação? Só pelo fato de eu ter um diploma que vai sair com o nome Cientista da Computação eu já deveria saber a teoria. Compreensão do que acontece por trás da máquina é fundamental para bons profissionais. Profissionais que não se preocupam com isso viram meros robozinhos e não conseguem avançar na carreira. A compreensão profunda de algoritmos é fundamental para qualquer profissional da área de Ciência da Computação. Um profissional da área precisa saber como são construídas as linguagens de programação. Hoje o mercado tem uma deficiência muito grande de pessoas com conhecimentos de Ciência da Computação que passa necessariamente pela Matemática. Teoria da Computação 8

9 Sistema de Avaliação 1ª Avaliação Peso 4 Prova: 6,00. Exercícios em sala de aula: 2,00. ATPS: 2,00. 2ª Avaliação Peso 6 Prova escrita oficial: 7,00. Exercícios em sala de aula: 2,00 ATPS: 1,00 Nota = (Nota 1ºBim * 0,4) + (Nota 2ºBim*0,6) >=5 ==> Aprovado. Substitutiva = 10. Substitui a 2ª Avaliação e não conta o trabalho. Teoria da Computação 9

10 Avaliações em Sala de Aula Não decoreba. Trabalhosas. Requerem leitura do livro texto. Teoria da Computação 10

11 Comportamento do Estudante Vocês estão aqui para aprender. Não são obrigados a saber. Portanto façam todas as perguntas que quiserem. Estudem. A oportunidade da graduação normalmente é única. Aproveitem e tirem suas dúvidas. Assistam e participem da aula. Que quiser bater papo não tem problema, mas por favor deixem a sala de aula. Aparentemente o seu comportamento não conta na nota mas não é verdade. Conta e muito!!! Teoria da Computação 11

12 Bibliografia Bibliografia básica LEWIS, Harry R; PAPADIMITRIOU, Christos H. Elementos de Teoria da Computação 2ª ed. Porto Alegre: Bookman, Bibliografia Básica Unidade: Faculdade Anhanguera de Indaiatuba (FAI) SIPSER, Michael. Introdução a Teoria da Computação: Thompson Pioneira, DIVERIO, Tiaraju.A.. Teoria da Computação Máquinas Universais e Computabilidade. 2ª ed. Porto Alegre: Bookman, Bibliografia Complementar LEWIS, Ricki. Elementos da Teoria da Computação. 2ª ed. Porto Alegre: Bookman, MENEZES, Paulo Fernando Blauth. Linguagens Formais e Autômato 5ª ed. Porto Alegre: Bookman, Teoria da Computação 12

13 Cronograma Teoria da Computação 13

14 Meu Objetivo Possibilitar oportunidades para o aprendizado da turma Fazer de tudo para que todo mundo aprenda a disciplina Eu quero e tenho certeza que vocês podem e vão ser muito bons alunos e alunas E depois disso serão muito bons profissionais. Teoria da Computação 14

15 Blog do curso Teoria da Computação 15

16 PAI Geral Nota Excelente Professor Entre os 5 professores desse semestre esse é o melhor. Sabe ensinar o conteúdo, e está disposto a ajudar, seja quem for. Ótimo professor! Ótimo professor...não tenho reclamações Não precisa dar lição de moral em alunos. Acho muito bom professor mas só não concordo com o peso de suas atividades serem maiores que da prova. Professor Bom que ensina muito bem, tanto dentro como fora da sala de aula. Muito bom professor avaliação foi extensa mais muito boa. Peso direcionado a atividades extraclasse supera o peso das avaliações. O que desvaloriza o estudo e/ou conhecimento sobre a matéria ministrada. Muito bom Professor excelente. Bastante motivador. Um dos melhores professores que já tive! Nota 10000, as aulas dele lembra muito as do Ricardo Valim (Java / POO). bom mas as vezes não da atenção aos alunos Excelente professor, muito comprometido. Teoria da Computação 16

17 Próxima Aula Grupos para as atividades em sala de aula No máximo 3 alunos por grupo. Fechado depois de apresentado não poderá ser alterado. (Exceções devem ser discutidas comigo) Teoria da Computação

18 ATPS Teoria da Computação

19 Contato com o Professor Durante as aulas. Após a aula. Através do andre_bordignon@yahoo.com.br Dúvidas, comentários, sugestões??? Teoria da Computação 19

PLANO DE ENSINO. CURSO: Bacharelado em Sistemas de Informação MODALIDADE: PRESENCIAL ( X ) OBRIGATÓRIA ( ) OPTATIVA DEPARTAMENTO: DEINFO

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

Leia mais

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. 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:

Leia mais

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL Instituto de Informática Departamento de Informática Teórica

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL Instituto de Informática Departamento de Informática Teórica Área: Ciência da Computação Teoria da Computação - Linguagem Formais e Autômatos DISPOSIÇÕES GERAIS O processo seletivo para Professor Substituto do do Instituto de Informática constará de 3 provas, nas

Leia mais

Teoria da Computação Aula 01 Revisão de Conjuntos

Teoria da Computação Aula 01 Revisão de Conjuntos Teoria da Computação Aula 01 Revisão de Conjuntos Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Conjuntos Conjunto e uma estrutura que agrupa objetos e constitui uma base para construir estruturas

Leia mais

SCC-5832 Teoria da Computação

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

Leia mais

SCC Introdução à Teoria da Computaçã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

Leia mais

Turma A - Segundas e Quartas das 8h30min - 10h10min Turma B - Segundas e Quartas das 10h30min - 12h10min

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:

Leia mais

Teoria da Computação Aula 8 Noções de Complexidade

Teoria da Computação Aula 8 Noções de Complexidade Teoria da Computação Aula 8 Noções de Complexidade Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Motivação: Por que estudar algoritmos? Perguntas: - Por que estudar algoritmos se os computadores

Leia mais

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 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:

Leia mais

SCC Teoria da Computação e Linguagens Formais

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

Leia mais

Teoria da Computação Aula 02 Introdução

Teoria da Computação Aula 02 Introdução Teoria da Computação Aula 02 Introdução Prof. Esp. Pedro Luís Antonelli Anhanguera Educacional Alfabeto Um alfabeto é um conjunto finito de símbolos ou caracteres, representado pela letra sigma ( ). Portanto:

Leia mais

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 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.

Leia mais

Linguagens Formais e Autômatos. Tiago Alves de Oliveira

Linguagens Formais e Autômatos. Tiago Alves de Oliveira Linguagens Formais e Autômatos Tiago Alves de Oliveira Ementa Linguagens Regulares; Máquinas de Turing; O Problema da Parada da Máquina de Turing; Autômatos Finitos; Linguagens Livres de Contexto; Autômatos

Leia mais

INE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação

INE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação INE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação bas eado em material produzido pelo prof Olinto Jos é Varela Furtado Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br

Leia mais

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 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

Leia mais

MINISTÉRIO DA EDUCAÇÃO CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS DIRETORIA DE GRADUAÇÃO

MINISTÉRIO DA EDUCAÇÃO CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS DIRETORIA DE GRADUAÇÃO DISCIPLINA: Linguagens de Programação CÓDIGO: 2ECOM.031 Data de Elaboração: Janeiro/2012 Carga Horária: Total: 30 h/a; Semanal: 02 aulas; Créditos: 02 Modalidade: Prática Classificação do Conteúdo pelas

Leia mais

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 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

Leia mais

PLANO DE APRENDIZAGEM

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

Leia mais

UNIDADE UNIVERSITÁRIA:

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

Leia mais

Teoria da Computação (BBC244)

Teoria da Computação (BBC244) Teoria da Computação (BBC244) Professor: Anderson Almeida Ferreira anderson.ferreira@gmail.com http://www.decom.ufop.br/anderson Sala COM 10 DECOM-UFOP Ementa Gramáticas. Linguagens. Operações com Linguagens.

Leia mais

PCS3616. Programação de Sistemas (Sistemas de Programação) Visão Geral

PCS3616. Programação de Sistemas (Sistemas de Programação) Visão Geral PCS3616 Programação de Sistemas (Sistemas de Programação) Visão Geral Escola Politécnica da Universidade de São Paulo Objetivos Familiarização com o funcionamento global de software de sistema computacional

Leia mais

I.2 Introdução a Teoria da Computação

I.2 Introdução a Teoria da Computação I.2 Introdução a Teoria da Computação O que é? Fundamento da Ciência da Computação Tratamento Matemático da Ciência da Computação Estudo Matemático da Transformação da Informação Qual sua importância?

Leia mais

Linguagens Formais e Autômatos

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?

Leia mais

2. DISCIPLINA REQUISITO (RECOMENDAÇÃO) 3. INDICAÇÃO DE CONJUNTO (BCC) Obrigatória TEORIA: 60 LABORATÓRIO: 30

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

Leia mais

Linguagens Formais e Autômatos Apresentação da Disciplina

Linguagens Formais e Autômatos Apresentação da Disciplina Linguagens Formais e Autômatos Apresentação da Disciplina Andrei Rimsa Álvares Computação Histórico da Computação O que pode ser computado? Ábaco China Aprox. 3500 a.c. Máquina de Babbage Inglaterra 1823

Leia mais

BACHARELADO 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 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 mais

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. Prof.ª Danielle Casillo UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: CIÊNCIA DA COMPUTAÇÃO Prof.ª Danielle Casillo Nome: Teoria da Computação Créditos: 4 60 horas Período: 2010.2 Horário: segundas e quintas das 20:40 às 22:20

Leia mais

Informática para Engenharia

Informática para Engenharia 1 Informática para Engenharia apresentação com Plano de Ensino 2 professor Weber Martins goianiense, 54 anos, engenheiro eletricista, cientista, doutor em Inteligência Artificial, consultor, professor

Leia mais

IBM1088 Linguagens Formais e Teoria da Computação

IBM1088 Linguagens Formais e Teoria da Computação IBM1088 Linguagens Formais e Teoria da Computação Apresentação da disciplina Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 16 IBM1088 Objetivos Fornecer

Leia mais

URI Câmpus de Frederico Westphalen Curso de Ciência da Computação Período 01/2018

URI Câmpus de Frederico Westphalen Curso de Ciência da Computação Período 01/2018 Banco de Dados II (35-328) Semestre: V André Luís Stefanello Mestre http://lattes.cnpq.br/4507148333233965 Os conteúdos serão 04 anos e 05 tratados ao longo de 60 DA: 01/08/2013 semanal de 4 horas, sendo

Leia mais

Prof. Dr. Marcos Castilho. Departamento de Informática/UFPR. 22 de Fevereiro de 2018

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

Leia mais

Juliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação

Juliana Kaizer Vizzotto. Universidade Federal de Santa Maria. Disciplina de Teoria da Computação Universidade Federal de Santa Maria Disciplina de Teoria da Computação Quais são as capacidades e limitações fundamentais dos computadores? Funções Computáveis Algoritmo: descrição finitade uma computação

Leia mais

HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO INGRESSANTES A PARTIR DE 2010

HORÁRIO ESCOLAR - CIÊNCIA DA COMPUTAÇÃO INGRESSANTES A PARTIR DE 2010 HORÁRIO ESCOLAR CIÊNCIA DA COMPUTAÇÃO INGRESSANTES A PARTIR DE 2010 1 0 ANO 1 0. SEMESTRE (Grade Curricular Nova) Vespertino Algoritmos e Técnicas de Algoritmos e Técnicas de Lógica Matemática Discreta

Leia mais

Computabilidade e Complexidade (ENG10014)

Computabilidade e Complexidade (ENG10014) Sistemas de Informação Computabilidade e Complexidade (ENG10014) Profa. Juliana Pinheiro Campos E-mail: jupcampos@gmail.com Decidibilidade O estudo da decidibilidade objetiva determinar a solucionabilidade

Leia mais

LICENCIATURA 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 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 mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

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

Leia mais

Teoria da Computação. Computabilidade e complexidade computacional

Teoria da Computação. Computabilidade e complexidade computacional Teoria da Computação Computabilidade e complexidade computacional 1 Computabilidade e Complexidade Computabilidade: verifica a existência de algoritmos que resolva uma classe de linguagens trata a possibilidade

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

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

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

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

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

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

Leia mais

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: 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

Leia mais

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DO NORTE DE MINAS GERAIS CAMPUS JANUÁRIA

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DO NORTE DE MINAS GERAIS CAMPUS JANUÁRIA MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL DO NORTE DE MINAS GERAIS CAMPUS JANUÁRIA MATRIZ CURRICULAR UNIFICADA TECNOLOGIA EM ANÁLISE E DESENVOLVIMENTO DE

Leia mais

Programação Estruturada Orientada a Objetos

Programação Estruturada Orientada a Objetos INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE Programação Estruturada Orientada a Objetos Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com eberton.marinho@gmail.com

Leia mais

Sistemas de Informação Instruções para a matrícula

Sistemas de Informação Instruções para a matrícula Sistemas de Informação Instruções para a matrícula 2016-1 Daremos início a mais um período de matrículas de veteranos. Em 2016-1 daremos continuidade à nossa transição para a nova grade curricular e, como

Leia mais

Teoria da Computação

Teoria da Computação Ciência da Computação Teoria da Computação (ENG10395) Profa. Juliana Pinheiro Campos E-mail: jupcampos@gmail.com Máquinas Universais Máquinas Universais podem ser entendidas de duas formas: Se é capaz

Leia mais

MATRIZ CURRICULAR BACHARELADO EM ENGENHARIA DA COMPUTAÇÃO. 1º Período

MATRIZ 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 mais

Teoria da Computação. Aula 01

Teoria da Computação. Aula 01 Teoria da Computação Aula 01 Celso Olivete Júnior olivete@fct.unesp.br www.fct.unesp.br/docentes/dmec/olivete/tc 1 Professor Celso Olivete Júnior Bacharelado em Ciência da Computação (Unoeste-2002) Mestrado

Leia mais

ECO026 TEORIA DA COMPUTAÇÃO. Prof: Rafael Santos Site:

ECO026 TEORIA DA COMPUTAÇÃO. Prof: Rafael Santos   Site: ECO026 TEORIA DA COMPUTAÇÃO Prof: Rafael Santos Email: rafafic@gmail.com Site: http://sites.google.com/site/rafafic Máquinas de Turing Uma linguagem Turing-reconhecível (Linguagem recursivamente enumeravel),

Leia mais

Computação com Mídias na Aprendizagem de Programação Orientada a Objetos em um Curso Técnico de Informática

Computação com Mídias na Aprendizagem de Programação Orientada a Objetos em um Curso Técnico de Informática Computação com Mídias na Aprendizagem de Programação Orientada a Objetos em um Curso Técnico de Informática UEFS Universidade Estadual de Feira de Santana Grupo de Educação em Computação LESS Laboratório

Leia mais

FACULDADE 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 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 mais

Máquinas Universais. Máquina de Turing. Celso Olivete Júnior.

Máquinas Universais. Máquina de Turing. Celso Olivete Júnior. Máquinas Universais Máquina de Celso Olivete Júnior olivete@fct.unesp.br http://www2.fct.unesp.br/docentes/dmec/olivete/ Roteiro Hipótese de Church - Máquinas Universais: Máquina de Máquina de : Noção

Leia mais

Figura 4.2: Matriz Curricular

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

Leia mais

DISCIPLINA: Programação de Computadores I

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

Leia mais

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. 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 mais

Programação Aplicada à. Engenharia de Alimentos

Programação Aplicada à. Engenharia de Alimentos Programação Aplicada à Engenharia de Alimentos Engenharia de Alimentos IFSULDEMINAS Câmpus Inconfidentes Prof. Kleber Rezende kleber.rezende@ifsuldeminas.edu.br Ementa Conceitos Básicos sobre os Computadores.

Leia mais

Universidade de São Paulo

Universidade de São Paulo 91011 e 91010 2º Período RFM0006 Fisiologia Humana 5950106 Cálculo Diferencial e Integral I RFM0006 Fisiologia Humana RCG1026 Introdução à Epidemiologia (2ª até 16ª semanas letivas) RFM0009 Genética Humana

Leia mais

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 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 mais

BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO - 1º PERÍODO - Turma

BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO - 1º PERÍODO - Turma BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO - 1º PERÍODO - Turma 2017-1 08:00-09:00 ALGORITMOS I - Lab Info 01 - Turma A ALGORITMOS I - Lab Info 01 - Turma A CÁLCULO I - Sala 22 09:20-10:20 ALGORITMOS I - Lab

Leia mais

MINISTÉRIO DA EDUCAÇÃO CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS DIRETORIA DE GRADUAÇÃO

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

Leia mais

CIÊNCIA DA COMPUTAÇÃO

CIÊNCIA DA COMPUTAÇÃO CURSO G R A D E C U R R I C U L A R HÍBRIDO + CIÊNCIA DA COMPUTAÇÃO 1 OBJETIVOS DO CURSO Ciência da Computação Você aprende junto a pesquisadores e próximo do mercado de trabalho. As empresas participam

Leia mais

SERVIÇO PÚBLICO FEDERAL INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO AMAPÁ IFAP CÂMPUS MACAPÁ

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),

Leia mais

Computação Eletrônica

Computação Eletrônica Computação Eletrônica Apresentação da Disciplina, Ementa, Bibliografia e Acordo Didático Prof: Luciano Barbosa Resumo da Ementa Computação Eletrônica (IF165) Carga Horária: 60h Objetivos: Ensinar lógica

Leia mais

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Ementa Gramáticas. Linguagens Regulares, Livres-de-Contexto e Sensíveis-ao- Contexto. Tipos de Reconhecedores. Operações

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

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 -

Leia mais

Introdução à Ciência da Computação

Introdução à Ciência da Computação 1 Universidade Federal Fluminense Campus de Rio das Ostras Curso de Ciência da Computação Introdução à Ciência da Computação Professor: Leandro Soares de Sousa e-mail: leandro.uff.puro@gmail.com site:

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

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

Leia mais

Departamento de Matemática, Estatística e Computação - DEMEC

Departamento de Matemática, Estatística e Computação - DEMEC Departamento de Matemática, Estatística e Computação - DEMEC Prof. Dr. Marco Antônio Piteri E-mail: piteri@fct.unesp.br Sala 04 Docente I Fone (Trabalho): (018) 3229 5385 ramal 5378 - Atendimento: Quarta-feira

Leia mais

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 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 mais

Apresentação da Disciplina

Apresentação da Disciplina Apresentação da Disciplina Aula #1.1 EBS 111 ICC Prof. Luiz Fernando S. Coletta luizfsc@tupa.unesp.br Campus de Tupã Roteiro Objetivos da disciplina; Conteúdo; Metodologia de ensino; Bibliografia; Critérios

Leia mais

Sistemas de Informação Instruções para a matrícula

Sistemas de Informação Instruções para a matrícula Sistemas de Informação Instruções para a matrícula 2016-2 Daremos início a mais um período de matrículas de veteranos. Em 2016-2 daremos continuidade à nossa transição para a nova grade curricular e, como

Leia mais

SERVIÇO PÚBLICO FEDERAL MINISTÉRIO DA EDUCAÇÃO INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DE MINAS GERAIS IFMG

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 -

Leia mais

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

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

Leia mais

OFICINA DA PESQUISA PROGRAMAÇÃO APLICADA À CIÊNCIA DA COMPUTAÇÃO

OFICINA DA PESQUISA PROGRAMAÇÃO APLICADA À CIÊNCIA DA COMPUTAÇÃO OFICINA DA PESQUISA PROGRAMAÇÃO APLICADA À CIÊNCIA DA COMPUTAÇÃO Prof. Msc. Carlos José Giudice dos Santos carlos@oficinadapesquisa.com.br www.oficinadapesquisa.com.br IMPORTÂNCIA DO ESTUDO DAS LINGUAGENS

Leia mais

Apresentação da Disciplina

Apresentação da Disciplina Apresentação da Disciplina Aula #1.1 EBS 111 ICC Prof. Luiz Fernando S. Coletta luizfsc@tupa.unesp.br Campus de Tupã Roteiro Objetivos da disciplina; Conteúdo; Metodologia de ensino; Bibliografia; Critérios

Leia mais

SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE PERNAMBUCO Centro de Informática Departamento de Sistemas de Computação

SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE PERNAMBUCO Centro de Informática Departamento de Sistemas de Computação SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE PERNAMBUCO Centro de Informática Departamento de Sistemas de Computação CONCURSO PÚBLICO PARA DOCENTES DO MAGISTÉRIO SUPERIOR Edital nº 42, de 27 de maio

Leia mais

XVI Encontro de Iniciação à Docência Universidade de Fortaleza 17 a 20 de outubro de 2016

XVI Encontro de Iniciação à Docência Universidade de Fortaleza 17 a 20 de outubro de 2016 XVI Encontro de Iniciação à Docência Universidade de Fortaleza 17 a 20 de outubro de 2016 A utilização do portugol no ensino da disciplina de Algoritmo e Programação de Computadores nas Engenharias. José

Leia mais

Grade Curricular do Curso de Graduação em Engenharia de Computação

Grade 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 mais

PROGRAMAÇÃO ORIENTADA A OBJETOS IV

PROGRAMAÇÃO ORIENTADA A OBJETOS IV Código: 7141 Disciplina: PROGRAMAÇÃO ORIENTADA A OBJETOS IV Período: 8 Carga Horária: 60h C.H. Teórica: 0h C.H. Prática: 60h Créditos: 4 Ementa: Implementação dos conceitos fundamentais da orientação a

Leia mais

UNIVERSIDADE FEDERAL DE ALFENAS

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

Leia mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 14 Máquinas de Turing humberto@bcc.unifal-mg.edu.br Última aula Autômatos com Pilha Controle de estado a b a a b X Y Y X O que já vimos...

Leia mais

AVALIAÇÃO DAS ATIVIDADES ACADÊMICAS DOS CURSOS. Comissão Própria de Avaliação CPA Unisinos Procuradoria (Avaliação Institucional) PRESENCIAIS 2019/1

AVALIAÇÃO DAS ATIVIDADES ACADÊMICAS DOS CURSOS. Comissão Própria de Avaliação CPA Unisinos Procuradoria (Avaliação Institucional) PRESENCIAIS 2019/1 AVALIAÇÃO DAS ATIVIDADES ACADÊMICAS DOS CURSOS Comissão Própria de Avaliação CPA Unisinos Procuradoria (Avaliação Institucional) PRESENCIAIS 2019/1 Contextualização Objetivo: avaliar as Atividades Acadêmicas

Leia mais

SUGESTÃO DE FLUXO PARA INTEGRALIZAÇÃO CURRICULAR MATUTINO PRIMEIRO SEMESTRE

SUGESTÃ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 mais

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular TEORIA DA COMPUTAÇÃO Ano Lectivo 2013/2014

UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular TEORIA DA COMPUTAÇÃO Ano Lectivo 2013/2014 Programa da Unidade Curricular TEORIA DA COMPUTAÇÃO Ano Lectivo 2013/2014 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Engenharia Informática 3. Ciclo de Estudos 1º 4. Unidade

Leia mais

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 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

Leia mais

SUGESTÃO DE FLUXO PARA INTEGRALIZAÇÃO CURRICULAR MATUTINO E NOTURNO PRIMEIRO SEMESTRE

SUGESTÃ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 mais

Apostila 06. Objetivos: Estudar a Computabilidade Estudar a Decidibilidade Estudar a Redutibilidade

Apostila 06. Objetivos: Estudar a Computabilidade Estudar a Decidibilidade Estudar a Redutibilidade Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais

DISCIPLINA: Programação de Computadores II

DISCIPLINA: Programação de Computadores II DISCIPLINA: Programação de Computadores II CÓDIGO: ECOM.007 Validade: a partir do 1º Semestre de 007 Carga Horária: Total: 30 horas-aula Semanal: 0 aulas Créditos: 0 Modalidade: Teórica Classificação do

Leia mais

DISCIPLINA: Arquitetura e Organização de Computadores I

DISCIPLINA: Arquitetura e Organização de Computadores I DISCIPLINA: Arquitetura e Organização de Computadores I CÓDIGO: Período Letivo: 1 o Semestre / 01 Carga Horária: Total: 0 horas Semanal: 0 aulas Créditos: 0 Modalidade: Teórica Classificação do Conteúdo

Leia mais

Aula 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  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 mais

PERÍODO LETIVO ENGENHARIA DE COMPUTAÇÃO

PERÍODO LETIVO ENGENHARIA DE COMPUTAÇÃO 1 O SEMESTRE DE 2018 1 o PERÍODO LETIVO SMA0300 Geometria Analítica SMA0300 Geometria Analítica SSC0600 Introdução à Ciência da Computação I 7600109 Laboratório Física Geral I - Turmas aulas quinzenais

Leia mais

MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DO PAMPA PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE REGISTROS ACADÊMICOS

MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DO PAMPA PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE REGISTROS ACADÊMICOS MINISTÉRIO DA EDUCAÇÃO FUNDAÇÃO UNIVERSIDADE FEDERAL DO PAMPA PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE REGISTROS ACADÊMICOS PLANO DE ENSINO NÃO FINALIZADO Dados de Identificação Component e Curricular:

Leia mais

Engenharia de Computação

Engenharia 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 mais

INE5317 Linguagens Formais e Compiladores. Ricardo Azambuja Silveira INE-CTC-UFSC URL:

INE5317 Linguagens Formais e Compiladores. Ricardo Azambuja Silveira INE-CTC-UFSC   URL: INE5317 Linguagens Formais e Compiladores Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br URL: www.inf.ufsc.br/~silveira Plano de Ensino OBJETIVO GERAL: Estudar a teoria das linguagens

Leia mais

1º PERÍODO Carga horária Teórica Prática Total

1º 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 mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 16 Decidibilidade humberto@bcc.unifal-mg.edu.br Últimas Aulas Uma Máquina de Turing (MT) possui: uma fita infinita para representar a

Leia mais

MINISTÉRIO DA EDUCAÇÃO

MINISTÉRIO DA EDUCAÇÃO N. o 169 22-7-1999 DIÁRIO DA REPÚBLICA I SÉRIE-B 4547 MINISTÉRIO DA EDUCAÇÃO Portaria n. o 532/99 de 22 de Julho Sob proposta do Instituto Politécnico de Beja e da sua Escola Superior de Tecnologia e Gestão;

Leia mais

Teoria da computabilidade Indecidíveis Decidíveis

Teoria da computabilidade Indecidíveis Decidíveis Bacharelado em Ciência da Computação Disciplina: Algoritmos e Estruturas de Dados I Professor: Mário Luiz Rodrigues Oliveira Teoria da computabilidade Indecidíveis Decidíveis Teoria da complexidade Intratáveis:

Leia mais

PLANO DE ENSINO E APRENDIZAGEM CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas

PLANO DE ENSINO E APRENDIZAGEM CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas Disciplina: Construção de Algoritmos C.H. Teórica: 60 PLANO DE ENSINO E APRENDIZAGEM CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas Período Letivo: Série: Periodo: Semestre de 2 sem/2012 2ª

Leia mais