Paradigma Simbólico. Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2)

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

Download "Paradigma Simbólico. Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2)"

Transcrição

1 Paradigma Simbólico Sistemas de Informação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 2)

2 Revisão da aula anterior: definição de IA Podemos associar o termo IA com: Parte da ciência da computação que faz que os sistemas (máquinas) exibam atributos considerados como parte da inteligência humana: aprender, adquirir conhecimentos, entender linguagens, raciocinar, resolver problemas, entre outros; 2

3 Revisão da aula anterior: objetivos da IA O objetivo central da IA, é a criação de modelos para a inteligência e a construção de sistemas computacionais baseados nesses modelos. Este objetivo é simultaneamente teórico, (a criação de teorias e modelos para a capacidade cognitiva), e prático, a implementação de sistemas computacionais baseados nestes modelos. Em outras palavras, a IA tem se destacado na busca por compreender a inteligência e por englobar diversos campos do conhecimento com o objetivo prático de simular a inteligência. O caráter dual deste objetivo levou, naturalmente, a pesquisa e desenvolvimento em IA cristalizarem-se em torno de três linhas de pesquisa: 3

4 Revisão da aula anterior: objetivos da IA IA cognitiva: desenvolvimento de modelos formais para a inteligência humana, tema da ciência cognitiva, também chamada de psicologia computacional; IA básica: exploração e experimentação de técnicas computacionais que apresentem potencial para a simulação do comportamento inteligente; IA aplicada: desenvolvimento de aplicações educacionais, comerciais ou industriais utilizando técnicas de IA. 4

5 Abordagem Simbólica Baseado nos diversos campos de estudo que auxiliaram na fundamentação dos princípios teóricos da inteligência artificial surgiram duas abordagens: Abordagem Simbólica (ou cognitiva): dá ênfase aos processos cognitivos, ou seja, os métodos simbólicos em IA, procuram emular o raciocínio do ser humano na solução de problema. Abordagem Biológica: dá ênfase aos modelos naturais (por exemplo, o funcionamento do cérebro, dos neurônios e das suas conexões e o processo de evolução natural), para construir técnicas que tenham potencial de emular o comportamento inteligente. 5

6 Paradigma Simbólico

7 Abordagem Simbólica Baseado nos diversos campos de estudo que auxiliaram na fundamentação dos princípios teóricos da inteligência artificial surgiram duas abordagens: Abordagem Simbólica (ou cognitiva): dá ênfase aos processos cognitivos, ou seja, a forma como o ser humano raciocina. Abordagem Biológica: dá ênfase aos modelos naturais (por exemplo, o funcionamento do cérebro, dos neurônios e das suas conexões e o processo de evolução natural), para construir técnicas que tenham potencial de emular o comportamento inteligente. 7

8 Abordagem simbólica A linguajem é um exemplo de sistema simbólico. As palavras são símbolos que representam: - objetos - relações - eventos Quando as palavras são combinadas, podem descrever, explicar situações do mundo real. 8

9 Abordagem simbólica Abordagem Simbólica ou Cognitiva: dá ênfase aos processos cognitivos, ou seja, os métodos simbólicos em IA, procuram emular o ser humano na solução de problema. Para isso, são baseados em técnicas de representação do conhecimento necessário para resolver o problema e em mecanismos capazes de inferir soluções ou novos conhecimentos através da manipulação do conhecimento representado. 9

10 Conhecimento A construção de sistemas de IA (na visão simbólica), está baseado no desenvolvimento de adequadas representações do conhecimento e estratégias de manipulação. Que é conhecimento? Como se pode representar o conhecimento? Como se poderia manipular o conhecimento? 10

11 Conhecimento Definição Conhecimento, pode ser definido como estratégias (modelos, métodos, regras, técnicas, mecanismos) usados por uma pessoa ou máquina para interpretar, e responder apropriadamente a um assunto ou problema específico. 11

12 Conhecimento Pode-se dizer que o conhecimento é subjetivo e depende muito das pessoas que tem vivência sobre o assunto, entendimento sobre um domínio e tem alto grau de refinamento. O conhecimento, envolve fatores intangíveis como, crenças pessoais, perspectivas, insights, intuições e interpretações, é de difícil estruturação, captura, apresentação e transferência e compartilhamento. Por esse motivo, o conhecimento deve ser adquirido de forma construtivista, em que o processo de descoberta é guiado por hipóteses, num processo interativo entre o especialista e o assunto em questão. 12

13 Representação do Conhecimento Conhecimento Uma representação é alguma coisa que está no lugar de outra. Conclusões podem ser tiradas sobre as coisas representadas, olhando-se apenas para o modelo. Na IA simbólica, a representação do conhecimento é feita através de uma coleção de símbolos e com procedimentos de interpretação. Existem diferentes tipos de representação: Lógica; Redes Semânticas; Frames; Regras de produção. As primeiras modelagens da inteligência surgiram na década de 50 e tiveram como base as regras de produção e a lógica dos predicados. Os pioneiros dessa corrente foram Jonh McCarthy, Marvin Minsky, Newell e Simon. 13

14 Conhecimento Manipulação do Conhecimento Alguns paradigmas tradicionais para a resolução de problemas em IA. Programação Heurística: baseada no modelo de comportamento humano e seu estilo para resolver problemas. Evolução Artificial: modelo baseado no processo genético da evolução natural, proposto por Charles Darwin. Redes Neurais Artificiais: é uma representação abstraída do modelo neural do cérebro humano. Cada paradigma compreende uma coleção de métodos, configurações e técnicas desenvolvidas para manipular o conhecimento. 14

15 Exercício 1 - Folha 1 Conhecimento Dois jogadores escolhem alternativamente números do 1 até o 9. Um número escolhido pôr um dos jogadores, não pode ser escolhido pelo outro jogador. O jogador que tenha 3 números com soma 15 ganha o jogo. Representar o problema e encontrar uma estratégia para jogar. 15

16 Métodos de Busca em Espaço de Estados 17

17 Métodos de Busca em Espaços de Estados Resolução de Problemas A maioria dos problemas interessantes do ponto de vista da IA, não dispõe de soluções algorítmicas, ou quando tem solução, são complexas de serem implementadas (exemplo: jogos). As características deste tipo de problemas são: a. São resolvidos pôr seres humanos. b. A complexidade é variável ( simples como o jogo da velha, e complexo como xadrez). c. São problemas de conhecimento total, tudo o que é necessário saber para solucioná-los é conhecido. d. A solução é uma seqüência de situações. 18

18 Métodos de Busca em Espaços de Estados Resolução de Problemas Frente a falta de solução algorítmica viável, um método de solução possível é a busca. Definição busca: uma sequência de movimentos que levam de um estado inicial a um estado final. A definição do problema como uma busca no espaço de estados forma a base de muitos métodos usados na solução de problemas em IA, ( isto é chamado de Resolução de Problemas através da Busca). 19

19 Métodos de Busca em Espaços de Estados Resolução de Problemas Para descrever uma solução de um problema através da busca no espaço de estados, é necessário considerar os seguintes elementos: a. Espaço de estados O espaço de estados (estados do sistema) de um problema, são representações que contem o conjunto configurações possíveis do problema, isto é, toda a informação que descreve a situação atual do sistema. 20

20 Métodos de Busca em Espaços de Estados Resolução de Problemas b. Definir um ou mais estados iniciais e um ou mais estados finais. c. Descrever um conjunto de regras (operadores), que permitirá passar de um estado a outro estado, e que a solução caminhe de um estado inicial até algum estado final. d. Uma estratégia ou mecanismo de controle do processo de busca que determinará qual operador aplicar em um determinado estado e uma função custo ou avaliação da solução final, que permitira avaliar a estratégia ou mecanismo escolhido para controle da busca. 21

21 Sistemas simbólicos inteligentes Exercício 2 - Folha 1 O problema das Torres de Hanói consiste em mover os 3 discos da primeira torre para a ultima torra, tal que em cada movimento pode-se mover somente um disco e um disco de tamanho maior nunca pode ficar acima de um disco de tamanho menor. a. Definir os estados iniciais, finais. b. Determinar o tamanho do espaço de estados com 3 discos. Qual é o tamanho de espaços com 4 discos? Dica: calcular o tamanho de espaço com 1 disco e com 2 discos, para depois calcular para 3 e 4 discos. c. Qual é o menor número de movimentos para encontrar a solução? Calcular para 3 discos e para 4 discos. d. Encontrar uma representação adequada (para 3 discos) que permita visualizar as soluções possíveis (estratégia para jogar). e. Diz a lenda, que quando Deus fez o mundo, deu aos monges de um monastério a tarefa de resolver o problema das torres com 64 discos, e quando os monges movam os 64 discos da primeira para a terceira torre, o mundo vai acabar. Quantos anos estão faltando para o mundo acabar (considere que em 1 segundo é possível fazer 1 movimento de disco e que os monges realizam o menor número de movimentos possíveis)? 22

22 Sistemas simbólicos inteligentes Os primeiros sistemas de IA foram os sistemas para resolver problemas. A programação deste tipo de sistema requer uma especificação precisa do problema em termos de estados e operações sobre os estados. O conjunto de passos a serem realizados do estado inicial ao final, representa a solução do problema. A solução de um problema é dada ao atingir-se o estado final especificado a partir da aplicação de um conjunto de operações sobre o estado inicial. 28

23 Sistemas simbólicos inteligentes Exercício 3 - Folha 1 Seja o problema conhecido como o mundo dos blocos, onde os operadores possíveis são: a. colocar um bloco sobre a mesa ou b. colocar um bloco encima de outro bloco. Os blocos que podem ser movidos não podem ter outro bloco encima deles. Determinar o tamanho do espaço de estados para 3 blocos e encontrar uma representação adequada que permita visualizar as soluções possíveis. Qual é o tamanho de espaço de estados para 4 blocos? 29

Inteligência Artificial. Conceitos Gerais

Inteligência Artificial. Conceitos Gerais Inteligência Artificial Conceitos Gerais Inteligência Artificial - IA IA é um campo de estudo multidisciplinar e interdisciplinar, que se apóia no conhecimento e evolução de outras áreas do conhecimento.

Leia mais

INTELIGÊNCIA COMPUTACIONAL

INTELIGÊNCIA COMPUTACIONAL Rafael D. Ribeiro, M.Sc. rafaeldiasribeiro@gmail.com http://www.rafaeldiasribeiro.com.br A Inteligência Computacional (IC), denominada originalmente de Inteligência Artificial (IA), é uma das ciências

Leia mais

INTELIGÊNCIA ARTIFICIAL

INTELIGÊNCIA ARTIFICIAL Figura: Capa do Livro Russell, S., Norvig, P. Artificial Intelligence A Modern Approach, Pearson, 2009. Universidade Federal de Campina Grande Unidade Acadêmica de Sistemas e Computação Curso de Pós-Graduação

Leia mais

Inteligência Artificial. Josiane M. Pinheiro Ferreira Maio/2009

Inteligência Artificial. Josiane M. Pinheiro Ferreira Maio/2009 Inteligência Artificial Josiane M. Pinheiro Ferreira Maio/2009 Inteligência Artificial (IA) Estuda e tenta construir entidades inteligentes Durante milhares de anos procuramos entender como pensamos: Como

Leia mais

Inteligência Artificial

Inteligência Artificial Universidade Federal de Campina Grande Unidade Acadêmica de Sistemas e Computação Curso de Pós-Graduação em Ciência da Computação Inteligência Artificial Representação do Conhecimento (Parte I) Prof. a

Leia mais

Metahuerísticas: Algoritmos Genéticos. Sistemas de Informação/Ciências da Computação UNISUL Aran Bey Tcholakian Morales, Dr. Eng.

Metahuerísticas: Algoritmos Genéticos. Sistemas de Informação/Ciências da Computação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. Metahuerísticas: Algoritmos Genéticos Sistemas de Informação/Ciências da Computação UNISUL Aran Bey Tcholakian Morales, Dr. Eng. (Apostila 8) Meta-heurísticas Classificação de métodos heurísticos: os métodos

Leia mais

INSTITUTO DE PÓS GRADUAÇÃO ICPG GESTÃO DA TECNOLOGIA DA INFORMAÇÃO

INSTITUTO DE PÓS GRADUAÇÃO ICPG GESTÃO DA TECNOLOGIA DA INFORMAÇÃO INSTITUTO DE PÓS GRADUAÇÃO ICPG GESTÃO DA TECNOLOGIA DA INFORMAÇÃO Prof. Msc. Saulo Popov Zambiasi (saulopz@gmail.com) Informação - ICPG - Criciuma - SC 1 Conceitos de Inteligência e Inteligência Artificial.

Leia mais

Inteligência Computacional para Jogos Eletrônicos

Inteligência Computacional para Jogos Eletrônicos Inteligência Computacional para Jogos Eletrônicos Papéis da IA em Jogos Adversários Aliados Personagens de apoio NPC s (Non-player Character) Comentaristas Controle de câmera Geração de fases Nivelamento

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 01 - Introdução O Que é Inteligência Artificial? [Winston, 1984]: "Inteligência artificial é o estudo das ideias que

Leia mais

Grupo de Usuários Java do Noroeste Paulista. Tópicos Avançados em Java

Grupo de Usuários Java do Noroeste Paulista. Tópicos Avançados em Java Grupo de Usuários Java do Noroeste Paulista Tópicos Avançados em Java Aula 1 Objetivos Programa exemplo; Programação Orientada a Objetos. Conceitos Orientada a Objetos Mundo real Conceitos Orientada a

Leia mais

IAC - Inteligência Artificial Aplicada a Controle

IAC - Inteligência Artificial Aplicada a Controle Introdução IAC - Inteligência Artificial Aplicada a Controle Prof. Dr. Alexandre da Silva Simões Homo sapiens: capacidades mentais de grande importância Como um punhado de matéria pode perceber, compreender,

Leia mais

Inteligência Computacional

Inteligência Computacional Inteligência Computacional INTRODUÇÃO ÀS REDES NEURAIS ARTIFICIAIS Renato Dourado Maia Faculdade de Ciência e Tecnologia de Montes Claros Fundação Educacional Montes Claros Na Aula Passada... O que é uma

Leia mais

SÃO PAULO (Estado). Secretaria de Estado da Educação. Matrizes de referência para avaliação: documento básico - SARESP. São Paulo: SEE, 2009

SÃO PAULO (Estado). Secretaria de Estado da Educação. Matrizes de referência para avaliação: documento básico - SARESP. São Paulo: SEE, 2009 SÃO PAULO (Estado). Secretaria de Estado da Educação. Matrizes de referência para avaliação: documento básico - SARESP. São Paulo: SEE, 2009 : PROFESSORA: Matilde Flório 1 PROFESSORA: Matilde Flório Pós-Graduada

Leia mais

Inteligência Artificial. Prof. Ilaim Costa Jr.

Inteligência Artificial. Prof. Ilaim Costa Jr. Inteligência Artificial Prof. Ilaim Costa Jr. 4) Ciência da Computação 4) Ciência da Computação Exemplos de Aplicação da IA Matemática: demonstração

Leia mais

Inteligência Computacional

Inteligência Computacional Inteligência Computacional INTRODUÇÃO À INTELIGÊNCIA COMPUTACIONAL (ARTIFICIAL) Renato Dourado Maia Faculdade de Ciência e Tecnologia de Montes Claros Fundação Educacional Montes Claros Lembrando da Primeira

Leia mais

Paradigmas de Representação de Conhecimento

Paradigmas de Representação de Conhecimento Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Paradigmas de Representação de Conhecimento Inteligência Artificial Site: http://jeiks.net E-mail:

Leia mais

MODELAGEM E SIMULAÇÃO

MODELAGEM E SIMULAÇÃO MODELAGEM E SIMULAÇÃO Professor: Dr. Edwin B. Mitacc Meza edwin@engenharia-puro.com.br www.engenharia-puro.com.br/edwin Análise da Decisão Pela própria natureza da vida, todos nós devemos continuamente

Leia mais

Resolução de Problemas. Universidade Católica de Pelotas Engenharia da Computação Disciplina: Inteligência Artificial

Resolução de Problemas. Universidade Católica de Pelotas Engenharia da Computação Disciplina: Inteligência Artificial Resolução de Problemas Universidade Católica de Pelotas Engenharia da Computação Disciplina: Inteligência Artificial 2 Resolução de Problemas Introdução Componentes Solução Busca de soluções 3 Resolução

Leia mais

Inteligência Artificial Introdução

Inteligência Artificial Introdução Inteligência Artificial Introdução Professora Sheila Cáceres Introdução Que é Inteligência? Faculdade de entender, pensar, raciocinar e interpretar Teológica: dom divino que nos torna semelhantes ao Criador;

Leia mais

Tomada de Decisão Estratégica

Tomada de Decisão Estratégica EXERCÍCIO N N Tópico Tópico 1 2 Sistemas Tomada de de Informação Decisão Estratégica nos negócios DCC133 Introdução a Sistemas de Informação TÓPICO 2 Tomada de Decisão Estratégica Prof. Tarcísio de Souza

Leia mais

Programação Lógica. A Linguagem Prolog. Paulo Henrique Ribeiro Gabriel Faculdade de Computação Universidade Federal de Uberlândia

Programação Lógica. A Linguagem Prolog. Paulo Henrique Ribeiro Gabriel Faculdade de Computação Universidade Federal de Uberlândia Programação Lógica A Linguagem Prolog Paulo Henrique Ribeiro Gabriel phrg@ufu.br Faculdade de Computação Universidade Federal de Uberlândia 21 de agosto de 2015 Paulo H. R. Gabriel (FACOM/UFU) Programação

Leia mais

Representação de Conhecimento

Representação de Conhecimento Representação de Conhecimento Profa. Josiane M. P. Ferreira David Poole, Alan Mackworth e Randy Goebel - Computational Intelligence A logical approach - cap. 5 agosto/2008 1 Problemas e soluções Tipicamente

Leia mais

MINISTÉRIO DA EDUCAÇÃO INSTITUTO NACIONAL DE ESTUDOS E PESQUISAS EDUCACIONAIS - INEP DIRETORIA DE AVALIAÇÃO PARA CERTIFICAÇÃO DE COMPETÊNCIAS

MINISTÉRIO DA EDUCAÇÃO INSTITUTO NACIONAL DE ESTUDOS E PESQUISAS EDUCACIONAIS - INEP DIRETORIA DE AVALIAÇÃO PARA CERTIFICAÇÃO DE COMPETÊNCIAS MINISTÉRIO DA EDUCAÇÃO INSTITUTO NACIONAL DE ESTUDOS E PESQUISAS EDUCACIONAIS - INEP DIRETORIA DE AVALIAÇÃO PARA CERTIFICAÇÃO DE COMPETÊNCIAS Exame Nacional de Certificação de Competências de Jovens e

Leia mais

INFORMÁTICA APLICADA AULA 02 ALGORITMOS

INFORMÁTICA APLICADA AULA 02 ALGORITMOS UNIVERSIDADE FEDERAL RURAL DO SEMI-ÁRIDO CURSO: Bacharelado em Ciências e Tecnologia INFORMÁTICA APLICADA AULA 02 ALGORITMOS Profª ª Danielle Casillo ALGORITMOS Um algoritmo é uma sequência de instruções

Leia mais

Disciplina de Algoritmos e Programação

Disciplina de Algoritmos e Programação Disciplina de Algoritmos e Programação Atividades Plano de ensino Conteúdos da disciplina, definição das datas, critérios de avaliação e bibliografias Início da matéria Conceito e definição de algoritmos

Leia mais

Computação I: Representações de Algoritmos

Computação I: Representações de Algoritmos Computação I: Representações de Algoritmos reginaldo.re@utfpr.edu.br * Parte da apresentação foi gentilmente cedida pelo prof. Igor Steinmacher Agenda Objetivos Relembrando... Algoritmos para desenvolver

Leia mais

INTRODUÇÃO A PROGRAMAÇÃO

INTRODUÇÃO A PROGRAMAÇÃO INTRODUÇÃO A PROGRAMAÇÃO Aula - 3 Edilson Hipolito da Silva edilson.hipolito@ifsc.edu.br - http://wwww.hipolito.info Roteiro 2 Exercícios Lógica 3 Para podermos trabalhar com desenvolvimento de sistemas/programas

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Apresentação da disciplina Conceitos básicos Objetivos Apresentar uma visão geral da Inteligência Artificial, com ênfase na utilidade e aplicação das diferentes abordagens de solução

Leia mais

Algoritmos Computacionais

Algoritmos Computacionais UNIDADE 2 ALGORITMO E RESOLUÇÃO DE PROBLEMAS Noções de lógica para construção de algoritmos Construção de algoritmos sobre problemas do cotidiano O QUE É LÓGICA? Em termos usuais falamos de lógica no nosso

Leia mais

O que é Realidade? 3 - Modelos Mentais (Johnson-Laird) Modelos mentais. Modelos mentais. Regra de ouro. Modelos mentais

O que é Realidade? 3 - Modelos Mentais (Johnson-Laird) Modelos mentais. Modelos mentais. Regra de ouro. Modelos mentais O que é Realidade? 3 - Modelos Mentais (Johnson-Laird) A fenômenos B imagem de A (observações Estágio Curricular Supervisionado em Física II D causas? (nãoobserváveis) REALIDADE Leis, Teorias, Princípios

Leia mais

INTELIGÊNCIA COMPUTACIONAL EM AMBIENTES DE PROCESSAMENTO PARALELO. Lamartine N. F. Guimarães.

INTELIGÊNCIA COMPUTACIONAL EM AMBIENTES DE PROCESSAMENTO PARALELO. Lamartine N. F. Guimarães. INTELIGÊNCIA COMPUTACIONAL EM AMBIENTES DE PROCESSAMENTO PARALELO Lamartine N. F. Guimarães. Roteiro Inteligência Computacional: Problemas. Os BEOWULFS do IEAv. Possibilidades de Paralelismo. Redes neurais:

Leia mais

Competência Objeto de aprendizagem Habilidade

Competência Objeto de aprendizagem Habilidade Matemática 3ª Rosemeire Meinicke/Gustavo Lopes 6º Ano E.F. Competência Objeto de aprendizagem Habilidade H47- Resolver problemas que envolvam potenciação de números naturais. 1. Números naturais (N) 1.4-

Leia mais

LÓGICA PARA COMPUTAÇÃO

LÓGICA PARA COMPUTAÇÃO LÓGICA PARA COMPUTAÇÃO Engenharia de Computação Professor: Rosalvo Ferreira de Oliveira Neto Apresentação Conteúdo Programático Referência bibliográfica Avaliações Dados pessoais Rosalvo Ferreira de Oliveira

Leia mais

Estatística Básica. Introdução à Análise Exploratória de Dados. Renato Dourado Maia. Instituto de Ciências Agrárias

Estatística Básica. Introdução à Análise Exploratória de Dados. Renato Dourado Maia. Instituto de Ciências Agrárias Estatística Básica Introdução à Análise Exploratória de Dados Renato Dourado Maia Instituto de Ciências Agrárias Universidade Federal de Minas Gerais Pergunta Inicial O que é Estatística? 2/26 Contexto

Leia mais

Introdução à Inteligência Artificial

Introdução à Inteligência Artificial Tópicos do curso Introdução à Inteligência Artificial André de Carvalho Marcílio Souto Renato Tinós PAE Sílvia Modonese Fundamentos 1 Fundamentos Busca Jogos Lógica Aprendizado de Máquina Redes Neurais

Leia mais

BCC204 - Teoria dos Grafos

BCC204 - Teoria dos Grafos BCC204 - Teoria dos Grafos Marco Antonio M. Carvalho (baseado nas notas de aula do prof. Haroldo Gambini Santos) Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal

Leia mais

Representação de Conhecimento

Representação de Conhecimento Representação de Conhecimento Introdução à Inteligência Artificial Profa. Josiane David Poole, Alan Mackworth e Randy Goebel - Computational Intelligence A logical approach - cap. 5 julho/2007 1 Problemas

Leia mais

A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação

A Matemática como Serviço a Ciência da Computação. Prof. Dr. Carlos Eduardo de Barros Paes Coordenador do Curso de Ciência da Computação A Matemática 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 mais

Conceitos Básicos ENTRADA PROCESSAMENTO SAÍDA

Conceitos Básicos ENTRADA PROCESSAMENTO SAÍDA Aula 02 - Algoritmos Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Conceitos Básicos Desde o

Leia mais

O construtivismo e o construcionismo fundamentando a ação docente em ambiente informatizado. Anair Altoé Marisa Morales Penati

O construtivismo e o construcionismo fundamentando a ação docente em ambiente informatizado. Anair Altoé Marisa Morales Penati O construtivismo e o construcionismo fundamentando a ação docente em ambiente informatizado. Anair Altoé Marisa Morales Penati Construtivismo Teoria que explica como a inteligência humana se desenvolve,

Leia mais

Inteligência Artificial Prof. Cláudio Luís Vieira Oliveira

Inteligência Artificial Prof. Cláudio Luís Vieira Oliveira Prof. Cláudio Luís Vieira Oliveira clvoliveira@terra.com.br Dave Bowman: Open the pod bay doors, HAL. HAL: I m sorry Dave, I m afraid I can t do that. (2001: Uma Odisséia no Espaço) 1 Área de pesquisa

Leia mais

Lógica de Programação

Lógica de Programação Lógica de Programação Significa o uso correto das leis do pensamento e de processos de raciocínio para a produção de soluções logicamente válidas v e coerentes,, que resolvam com qualidade os problemas

Leia mais

UML. Rodrigo Leite Durães.

UML. Rodrigo Leite Durães. UML Rodrigo Leite Durães. rodrigo_l_d@yahoo.com.br O que é Análise de Software? UML: É o estágio de um sistema que captura os requisitos e o domínio do problema, focalizando no que deve ser feito, não

Leia mais

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 5 Resolvendo Problemas

Inteligência Artificial. Prof. Tiago A. E. Ferreira Aula 5 Resolvendo Problemas Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 5 Resolvendo Problemas 1 Agente solucionador de problemas (guiado por objetivo) O agente reativo Escolhe suas ações com base apenas nas percepções

Leia mais

IME, UFF 4 de novembro de 2013

IME, UFF 4 de novembro de 2013 Lógica IME, UFF 4 de novembro de 2013 Sumário e ferramentas Considere o seguinte texto, da aritmética dos números naturais. Teorema: Todo número inteiro positivo maior que 1 tem um fator primo. Prova:

Leia mais

Lógica de Programação

Lógica de Programação Lógica de Programação Universidade dos Açores Departamento de Matemática www.uac.pt/~hguerra!! do Gr. logiké, arte de raciocinar!! s. f., ciência que tem por objecto o estudo dos métodos e princípios que

Leia mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens Formais e Autômatos P. Blauth Menezes Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes

Leia mais

Introdução. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo

Introdução. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Introdução Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo O que é inteligência artificial? Para responder a esta questão, antes temos de

Leia mais

Introdução a UML (Unified Modeling Language)

Introdução a UML (Unified Modeling Language) Introdução a UML (Unified Modeling Language) O que é a UML? Linguagem Gráfica de Modelagem para: Visualizar Especificar Construir Documentar Comunicar Artefatos de sistemas complexos Linguagem: vocabulário

Leia mais

Conhecimento e Raciocínio Agente Lógicos Capítulo 7. Leliane Nunes de Barros

Conhecimento e Raciocínio Agente Lógicos Capítulo 7. Leliane Nunes de Barros Conhecimento e Raciocínio Agente Lógicos Capítulo 7 Leliane Nunes de Barros leliane@ime.usp.br Agentes Lógicos Agentes que podem formar representações do mundo, usar um processo de inferência para derivar

Leia mais

Inteligência Artificial

Inteligência Artificial Contextualizando Inteligência Artificial Buscas Onde podemos usar a IA Problemas que não possuem soluções algortimicas Problemas que possuem soluções algoritimicas, mas são impraticáveis (Complexidade,

Leia mais

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da

Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação

Leia mais

Sistemas de Informações Gerenciais. Unidade Didática 9: INTELIGÊNCIA ARTIFICIAL NOS NEGÓCIOS

Sistemas de Informações Gerenciais. Unidade Didática 9: INTELIGÊNCIA ARTIFICIAL NOS NEGÓCIOS Sistemas de Informações Gerenciais Unidade Didática 9: INTELIGÊNCIA ARTIFICIAL NOS NEGÓCIOS 1 Objetivos do Capítulo 9 Identificar como as redes neurais, lógica difusa, algoritmos genéticos, realidade virtual

Leia mais

6. QUADRIMESTRE IDEAL 7. NÍVEL Graduação 8. Nº. MÁXIMO DE ALUNOS POR TURMA TEORIA: 60 LABORATÓRIO: 30

6. QUADRIMESTRE IDEAL 7. NÍVEL Graduação 8. Nº. MÁXIMO DE ALUNOS POR TURMA 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 MC5001 - SISTEMAS MULTIAGENTES

Leia mais

Tópicos Avançados em Sistemas Computacionais: Infraestrutura de Hardware Aula 02

Tópicos Avançados em Sistemas Computacionais: Infraestrutura de Hardware Aula 02 Tópicos Avançados em Sistemas Computacionais: Infraestrutura de Hardware Aula 02 Prof. Max Santana Rolemberg Farias max.santana@univasf.edu.br Colegiado de Engenharia de Computação POR QUE APRENDER CONCEITOS

Leia mais

3. Engenharia dos requisitos de software

3. Engenharia dos requisitos de software Renato Cardoso Mesquita Departamento de Eng. Elétrica da UFMG renato@cpdee.ufmg.br Engenharia de Software 3. Engenharia dos requisitos de software.......... 3.1. Visão Geral O fluxo de Requisitos reúne

Leia mais

Utilizando linguagens de programação orientadas a objetos para codificar programas adaptativos

Utilizando linguagens de programação orientadas a objetos para codificar programas adaptativos Utilizando linguagens de programação orientadas a objetos para codificar programas adaptativos Paulo Roberto Massa Cereda paulo.cereda@usp.br João José Neto jjneto@usp.br Escola Politécnica, Universidade

Leia mais

3ª Eduardo e Ana. Competência Objeto de aprendizagem Habilidade

3ª Eduardo e Ana. Competência Objeto de aprendizagem Habilidade Matemática 3ª Eduardo e Ana 8 Ano E.F. Competência Objeto de aprendizagem Habilidade Competência 3 Foco: Espaço e Forma Utilizar o conhecimento geométrico para realizar a leitura e a representação da realidade

Leia mais

Algoritmos Genéticos Fundamentos e Aplicações. Prof. Juan Moisés Mauricio Villanueva

Algoritmos Genéticos Fundamentos e Aplicações. Prof. Juan Moisés Mauricio Villanueva Algoritmos Genéticos Fundamentos e Aplicações Prof. Juan Moisés Mauricio Villanueva jmauricio@cear.ufpb.br Conteúdo Introdução Inteligência Artificial (IA) Algoritmos Genéticos Aplicações de Algoritmos

Leia mais

GFM015 Introdução à Computação. Algoritmos. Ilmério Reis da Silva UFU/FACOM

GFM015 Introdução à Computação. Algoritmos. Ilmério Reis da Silva  UFU/FACOM GFM015 Introdução à Computação Algoritmos Ilmério Reis da Silva ilmerio@facom.ufu.br www.facom.ufu.br/~ilmerio/ic UFU/FACOM Programa 1. Noções básicas sobre os componentes de micro computadores 2.Uso de

Leia mais

Capítulo 7 - Agentes lógicos (Agentes baseados em Conhecimento)

Capítulo 7 - Agentes lógicos (Agentes baseados em Conhecimento) Capítulo 7 - Agentes lógicos (Agentes baseados em Conhecimento) Tópicos Definição geral - Agentes Baseados em Conhecimento (BC) Linguagens de representação do conhecimento Algoritmo Geral Exemplo de aplicação

Leia mais

ATIVIDADES PRÁTICAS SUPERVISIONADAS

ATIVIDADES PRÁTICAS SUPERVISIONADAS ATIVIDADES PRÁTICAS SUPERVISIONADAS 7ª Série Linguagens Formais e Autômatos Ciência da Computação A atividade prática supervisionada (ATPS) é um método de ensino-aprendizagem desenvolvido por meio de um

Leia mais

DIFICULDADES DOS ALUNOS DO 6º ANO NA RESOLUÇÃO DE QUESTÕES PROBLEMATIZADAS ENVOLVENDO ADIÇÃO E SUBTRAÇÃO COMO NÚMEROS NATURAIS: COMO PODEMOS INTERVIR?

DIFICULDADES DOS ALUNOS DO 6º ANO NA RESOLUÇÃO DE QUESTÕES PROBLEMATIZADAS ENVOLVENDO ADIÇÃO E SUBTRAÇÃO COMO NÚMEROS NATURAIS: COMO PODEMOS INTERVIR? DIFICULDADES DOS ALUNOS DO 6º ANO NA RESOLUÇÃO DE QUESTÕES PROBLEMATIZADAS ENVOLVENDO ADIÇÃO E SUBTRAÇÃO COMO NÚMEROS NATURAIS: COMO PODEMOS INTERVIR? Introdução Renata Karla da Silva Oliveira Universidade

Leia mais

Sistemas Especialistas. Prof. Msc. Jacson Rodrigues

Sistemas Especialistas. Prof. Msc. Jacson Rodrigues Sistemas Especialistas Prof. Msc. Jacson Rodrigues Sistemas Especialistas Características: Sistema computacional; Destinado a representar o conhecimento de um ou mais especialistas humanos sobre um domínio

Leia mais

Aprendizado por Árvores de Decisão

Aprendizado por Árvores de Decisão Universidade Federal de Santa Maria Departamento de Eletrônica e Computação Prof. Cesar Tadeu Pozzer Disciplina de Programação de Jogos 3D E-mail: pozzer@inf.ufsm.br Período: 2006/01 Aprendizado por Árvores

Leia mais

Introdução à Lógica de Programação

Introdução à Lógica de Programação Sistemas Operacionais e Introdução à Programação Introdução à Lógica de Programação 1 Resolução de problemas usando computador Computador: ferramenta para processamento automático de dados Processamento

Leia mais

Sistemas Baseados em Conhecimento

Sistemas Baseados em Conhecimento Sistemas Baseados em Conhecimento Profa. Josiane M. P. Ferreira Baseado no capítulo 2 do livro Sistemas Inteligentes Fundamentos de Aplicações, organizadção: Solange Oliveira Rezende, ed. Manole, 2005.

Leia mais

Previsão de Vazões utilizando Redes Neurais Artificiais MLP e NSRBN

Previsão de Vazões utilizando Redes Neurais Artificiais MLP e NSRBN Previsão de Vazões utilizando Redes Neurais Artificiais MLP e NSRBN Alan Caio Rodrigues MARQUES 1, Gelson da Cruz JUNIOR 2, Cassio Dener Noronha VINHAL 3 Escola de Engenharia Elétrica e de Computação 1

Leia mais

CENTRO EDUCACIONAL CHARLES DARWIN EDUCAÇÃO INFANTIL DIRETRIZES CURRICULARES INFANTIL III

CENTRO EDUCACIONAL CHARLES DARWIN EDUCAÇÃO INFANTIL DIRETRIZES CURRICULARES INFANTIL III EDUCAÇÃO INFANTIL 2013 DIRETRIZES CURRICULARES INFANTIL III CENTRO EDUCACIONAL CHARLES DARWIN DISCIPLINA : MATEMÁTICA OBJETIVOS GERAIS Reconhecer e valorizar os números, as operações numéricas, as contagens

Leia mais

SSC546 Avaliação de Sistemas Computacionais Parte 1 -Aula 3 Sarita Mazzini Bruschi

SSC546 Avaliação de Sistemas Computacionais Parte 1 -Aula 3 Sarita Mazzini Bruschi Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Sistemas de Computação SSC546 Avaliação de Sistemas Computacionais Parte 1 -Aula 3 Sarita Mazzini Bruschi Material

Leia mais

CONEXÕES E REGULARIDADES NO ENSINO DA MATEMÁTICA. Rudinei José Miola

CONEXÕES E REGULARIDADES NO ENSINO DA MATEMÁTICA. Rudinei José Miola CONEXÕES E REGULARIDADES NO ENSINO DA MATEMÁTICA Rudinei José Miola rmiola@positivo.com.br PARA INÍCIO DE CONVERSA ATIVIDADE MATEMÁTICA Por atividade matemática deve entender-se uma mescla entre tarefa,

Leia mais

Perfil do Aluno Final do 1.º Ciclo Ano letivo 2016/2017

Perfil do Aluno Final do 1.º Ciclo Ano letivo 2016/2017 Perfil do Aluno Final do 1.º Ciclo Ano letivo 2016/2017 Perfil de aprendizagens específicas do aluno à saída 1.º Ciclo do Ensino Básico Tendo em atenção as características estruturais e humanas das Escolas

Leia mais

Inteligência Artificial

Inteligência Artificial Inteligência Artificial Prof. Kléber de Oliveira Andrade pdjkleber@gmail.com O professor Kléber de Oliveira Andrade Doutorando em Engenharia Mecânica (EESC/USP) Mestrado em Engenharia Mecânica (EESC/USP)

Leia mais

Prof. Denise Benino - UNINOVE

Prof. Denise Benino - UNINOVE Pequisa Operacional - Prof. Denise Benino denise.benino@uninove.br Introdução Pesquisa Operacional A Pesquisa Operacional é uma ciência aplicada voltada para a resolução de problemas reais. Tendo como

Leia mais

#Conceituação. Algoritmos. Eliezio Soares

#Conceituação. Algoritmos. Eliezio Soares INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPUS SÃO GONÇALO DO AMARANTE Algoritmos #Conceituação Eliezio Soares Eliezio.soares@ifrn.edu Computadores e Tarefas 1. O computador

Leia mais

Matriz de Referência da área de Matemática Ensino Fundamental

Matriz de Referência da área de Matemática Ensino Fundamental Matemática EF Matriz de Referência da área de Matemática Ensino Fundamental C1 Utilizar o conhecimento numérico para operar e construir argumentos ao interpretar situações que envolvam informações quantitativas.

Leia mais

INTRODUÇÃO À PROGRAMAÇÃO

INTRODUÇÃO À PROGRAMAÇÃO INTRODUÇÃO À PROGRAMAÇÃO 1 - CONCEITO DE ALGORITMO A automação é o processo em que uma tarefa deixa de ser desempenhada pelo homem e passa a ser realizada por máquinas, sejam estas dispositivos mecânicos,

Leia mais

Notas de Aula 03: Introdução a Orientação a Objetos e a UML

Notas de Aula 03: Introdução a Orientação a Objetos e a UML Notas de Aula 03: Introdução a Orientação a Objetos e a UML Objetivos da aula: Introduzir os conceitos da Orientação à Objetos (O.O) Introduzir os conceitos da UML Relacionar os processos às ferramentas

Leia mais

Paradigmas da Engenharia de Software AULA PROF. ABRAHAO LOPES

Paradigmas da Engenharia de Software AULA PROF. ABRAHAO LOPES Paradigmas da Engenharia de Software AULA 03-04 PROF. ABRAHAO LOPES Introdução O processo de software é visto por uma sequência de atividades que produzem uma variedade de documentos, resultando em um

Leia mais

INTELIGÊNCIA ARTIFICIAL 2008/09

INTELIGÊNCIA ARTIFICIAL 2008/09 INTELIGÊNI RTIFIIL 2008/09 PROUR 1) onsidere o problema da torre de Hanoi com discos. Neste problema, existem três pinos, e e discos de diâmetros diferentes, estando no início todos os discos colocados

Leia mais

Linguagens de Programação

Linguagens de Programação Universidade Federal do Rio Grande do Norte Centro de Tecnologia Departamento de Computação e Automação Linguagens de Programação Professor Responsável: Luiz Affonso Henderson Guedes de Oliveira Prof.

Leia mais

Planificação Anual. Matemática Dinâmica 7º ano Luísa Faria; Luís Guerreiro Porto Editora. 1 Números inteiros. 10 Sequências e Regularidades

Planificação Anual. Matemática Dinâmica 7º ano Luísa Faria; Luís Guerreiro Porto Editora. 1 Números inteiros. 10 Sequências e Regularidades 3º Período 2º Período 1º Período AGRUPAMENTO DE ESCOLAS DE CASTRO DAIRE Escola EBI de Mões Grupo de Recrutamento 500 MATEMÁTICA Ano lectivo 2012/2013 Planificação Anual Disciplina: Matemática Ano: 7º Carga

Leia mais

3 Aprendizado por reforço

3 Aprendizado por reforço 3 Aprendizado por reforço Aprendizado por reforço é um ramo estudado em estatística, psicologia, neurociência e ciência da computação. Atraiu o interesse de pesquisadores ligados a aprendizado de máquina

Leia mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens Formais e Autômatos P. Blauth Menezes Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Linguagens Formais e Autômatos - P. Blauth Menezes 1 Linguagens

Leia mais

Representação do Conhecimento

Representação do Conhecimento Representação do Conhecimento Prof. Hudson Costa Introdução Para um computador poder solucionar um problema relacionado ao mundo real, ele primeiro precisa de um meio para representar o mundo real internamente.

Leia mais

Algoritmos e Linguagem de Programação I

Algoritmos e Linguagem de Programação I Algoritmos e Linguagem de Programação I Roberto Ferreira roberto.ferreira@lapa.ifbaiano.edu.br 2014.1 Módulo I Aula 3 Algoritmos Computacionais Na aula anterior vimos... Quais são os passos para solucionar

Leia mais

ALGORITMOS AULA 1. Profª Amanda Gondim

ALGORITMOS AULA 1. Profª Amanda Gondim ALGORITMOS AULA 1 Profª Amanda Gondim O que é lógica? NOÇÕES DE LÓGICA A lógica trata da correção do pensamento Ensina-nos a usar corretamente as leis do pensamento É a arte de pensar corretamente A forma

Leia mais

2ª Klaudemir Santiago

2ª Klaudemir Santiago Matemática I 2ª Klaudemir Santiago 2ª Série E.M. Competência Objeto de aprendizagem Habilidade Competência 5: Compreender o caráter aleatório e não determinístico dos fenômenos naturais e sociais e utilizar

Leia mais

Neste curso, vamos estudar algumas maneiras em que a matemática é usada para modelar processos dinâmicos em biologia.

Neste curso, vamos estudar algumas maneiras em que a matemática é usada para modelar processos dinâmicos em biologia. Introdução à Modelagem Matemática em Biologia Os sistemas biológicos são caracterizados por mudança e adaptação. Mesmo quando eles parecem ser constantes e estáveis, isso é o pelo resultado de um balanceamento

Leia mais

SOCIEDADE EDUCACIONAL DE SANTA CATARINA INSTITUTO SUPERIOR TUPY

SOCIEDADE EDUCACIONAL DE SANTA CATARINA INSTITUTO SUPERIOR TUPY SOCIEDADE EDUCACIONAL DE SANTA CATARINA INSTITUTO SUPERIOR TUPY PLANO DE ENSINO IDENTIFICAÇÃO Curso: Engenharia Mecânica Período/Módulo: 1 o Período Disciplina/Unidade Curricular: Cálculo I Código: CE375

Leia mais

SBC - Sistemas Baseados em Conhecimento

SBC - Sistemas Baseados em Conhecimento Siglas, Símbolos, Abreviaturas DW - Data Warehouse KDD Knowledge Discovery in Database MD Mineração de Dados OLAP - On-line analytical processing SBC - Sistemas Baseados em Conhecimento 1. INTRODUÇÃO O

Leia mais

Introdução. Programação Orientada a Objetos (POO) João Paulo Q. dos Santos

Introdução. Programação Orientada a Objetos (POO) João Paulo Q. dos Santos Introdução Programação Orientada a Objetos (POO) João Paulo Q. dos Santos joao.queiroz@ifrn.edu.br Avaliações Continuada: Resolução de Atividades Práticas em Sala; Resolução de Lista de Exercícios; Provas

Leia mais

19 Congresso de Iniciação Científica APLICAÇÃO DA LÓGICA NEBULOSA A MODELO DE CONHECIMENTO DO PROCESSO DE MINERAÇÃO DE DADOS

19 Congresso de Iniciação Científica APLICAÇÃO DA LÓGICA NEBULOSA A MODELO DE CONHECIMENTO DO PROCESSO DE MINERAÇÃO DE DADOS 19 Congresso de Iniciação Científica APLICAÇÃO DA LÓGICA NEBULOSA A MODELO DE CONHECIMENTO DO PROCESSO DE MINERAÇÃO DE DADOS Autor(es) ANDRE DE ANDRADE BINDILATTI Orientador(es) ANDERSON BERGAMO, ANA ESTELA

Leia mais

Fluxogramas. Leandro Tonietto ago-09

Fluxogramas. Leandro Tonietto ago-09 Fluxogramas Leandro Tonietto ltonietto@unisinos.br ago-09 Introdução Planejar, modelar e projetar primeiro, depois fazer (programar). Maiores chances de sucesso na programação Facilita a resolução, pois

Leia mais

Programação Aplicada à Engenharia

Programação Aplicada à Engenharia Universidade Federal Rural do Semi-Árido Departamento de Ciências Ambientais Programação Aplicada à Engenharia Aula 03: Algoritmos Silvio Fernandes 2009.1 1 Algoritmos Em uma receita de bolo, descrevem-se

Leia mais

Fundamentos de Programação

Fundamentos de Programação Fundamentos de Programação CP41F Aula 2 Prof. Daniel Cavalcanti Jeronymo Conceito de algoritmo. Raciocínio lógico na construção de algoritmos. Estrutura de algoritmos. Universidade Tecnológica Federal

Leia mais

Computação na Biologia Molecular e Bionanotecnologia: Computação Biológica

Computação na Biologia Molecular e Bionanotecnologia: Computação Biológica Computação na Biologia Molecular e Bionanotecnologia: Computação Biológica Leila Ribeiro Instituto de Informática -UFRGS Roteiro Minhas áreas de interesse... Evolução da Ciência da Computação Biologia

Leia mais

GRADE CURRICULAR E CORPO DOCENTE. Fase 1 Carga horária total: 360h

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