Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 1
|
|
- Ana Laura Castro Caiado
- 6 Há anos
- Visualizações:
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
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 maisUNIVERSIDADE 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 maisUNIVERSIDADE 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 maisTeoria 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 maisSCC-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 maisSCC 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 maisTurma 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 maisTeoria 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 maisLinguagens 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 maisSCC 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 maisTeoria 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 maisLinguagens 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 maisLinguagens 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 maisINE5317 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 maisUNIVERSIDADE 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 maisMINISTÉ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 maisLinguagens 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 maisPLANO 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 maisUNIDADE 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 maisTeoria 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 maisPCS3616. 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 maisI.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 maisLinguagens 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 mais2. 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 maisLinguagens 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 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 maisUNIVERSIDADE 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 maisInformá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 maisIBM1088 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 maisURI 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 maisProf. 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 maisJuliana 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 maisHORÁ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 maisComputabilidade 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 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 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 maisTeoria 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 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 maisTURMA 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 maisMINISTÉ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 maisProgramaçã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 maisSistemas 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 maisTeoria 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 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 maisTeoria 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 maisECO026 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 maisComputaçã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 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 maisMá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 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 maisDISCIPLINA: 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 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 maisProgramaçã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 maisUniversidade 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 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 maisBACHARELADO 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 maisMINISTÉ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 maisCIÊ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 maisSERVIÇ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 maisComputaçã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 maisLinguagens 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 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 maisIntroduçã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 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 maisDepartamento 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 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 maisApresentaçã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 maisSistemas 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 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 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 maisOFICINA 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 maisApresentaçã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 maisSERVIÇ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 maisXVI 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 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 maisPROGRAMAÇÃ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 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 maisUniversidade 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 maisAVALIAÇÃ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 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 maisUNIVERSIDADE 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 maisDOCUMENTO 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 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 maisApostila 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 maisDISCIPLINA: 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 maisDISCIPLINA: 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 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 maisPERÍ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 maisMINISTÉ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 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 maisINE5317 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 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 maisUniversidade 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 maisMINISTÉ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 maisTeoria 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 maisPLANO 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