Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos"

Transcrição

1 Apresentação Plano de ensino Curso Conceitos básicos de lógica Introdução aos algoritmos - resolução de problemas Conceitos de programação Conceitos e Construção de algoritmos: estruturas de controle Introdução a linguagem de programação (Pascal ou Fortran)

2 Ementa: Histórico; Resolução de problemas; algoritmos; especificação de algoritmos; representação de dados: tipos de dados simples e estruturados; vetores e matrizes; cadeias de caracteres ; funções e procedimentos; estilo de programação; particularidades da linguagem Pascal e Fortran.

3 Objetivo: Desenvolver no aluno capacidade de resolução de problemas através do uso da programação e apresentar a disciplina como ferramenta capaz de subsidiar experiências no ramo da Física.

4 Conteúdo programático: Introdução a lógica Histórico Conceito de lógica; Uso do raciocínio lógico no dia a dia Uso do raciocínio lógico à informática Introdução aos algoritmos - resolução de problemas Algoritmos aplicados à solução de problemas computacionais Tipos de algoritmos Pseudocódigo Fluxograma Conceitos de programação Introdução a programação Tipos de linguagens de programação

5 Conteúdo programático: Conceitos básicos sobre algoritmos Tipos de dados Variáveis Constantes Operadores Construção de algoritmos: estruturas de controle Entrada Saída Estruturas de seleção ou decisão Estruturas de seleção: simples; composta; encadeada; múltipla escolha, repetição

6 Conteúdo programático: Estruturas de dados estáticas Estruturas indexadas vetor (array) Conceito de matrizes Procedimentos e funções Procedimentos Escopo de variáveis Funções Parâmetros

7 Conteúdo programático: Busca e ordenação Ordenação Busca Introdução a linguagem de programação (Pascal ou Fortran)

8 Procedimento de ensino No desenvolvimento da aula, utilizaremos uma metodologia que tem como pressuposto a participação dos alunos na discussão e análise crítica do conteúdo proposto. A ênfase será maior na parte prática, na qual os alunos aplicarão os conceitos apresentados em exercícios que procurem refletir situações reais. Serão utilizadas: Aulas expositivas; Aplicação e resolução de exercício, individualmente e em grupo; Provas escritas individuais; Elaboração de trabalhos escritos, individual e em grupo.

9 Bibliografia PUGA, Sandra; RISSETTI, Gerson, Lógica de programação e estruturas de dados, Ed. Pearson, São Paulo, BIBLIOGRAFIA COMPLEMENTAR GUIMARÃES, Ângelo de M., LAGES, Newton A. de C., Algoritmos e estruturas de dados, Rio de Janeiro, LTC, 2008 CARBONI, Irenice de Fátima. Lógica de programação. São Paulo: Thomson, p. ISBN X MANZANO, José A. N. G., OLIVEIRA, Jayr F., Algoritmos: Lógica para desenvolvimento de programação, São Paulo, Érica, FARRER, Harry. Programação estruturada de computadores: algoritmos estruturados. 3. ed. Rio de Janeiro: LTC, p. ISBN FARRER, Harry et al. Pascal estruturado. 3 ed. Rio de Janeiro: LTC, c p. (Programacao estruturada de computadores) FARRER, Harry. Fortran estruturado. Rio de Janeiro: Guanabara Koogan, p. (Programação estruturada de computadores) ISBN NORTON, Peter. Introdução à informática. São Paulo: Pearson Education, p.

10 Avaliação Resoluções: CONSEPE 14/99 e Cursos Seriados / CONSEPE 27/99 Média = (N 1 + N N n )/n

11 O que é lógica? *Aristóteles *origem grega logos = linguagem racional *Associada: Matemática, Filosofia, etc. Lógica preocupa-se com a forma como se organiza o pensamento e não com o conteúdo. O modo como o pensamento se organiza para se chegar a uma conclusão.

12 1 todo mamífero é um animal 2 todo cavalo é um mamífero 3 logo, todo cavalo é um animal Um argumento pode ser composto por um ou varias premissas, as quais podem ser verdadeiras ou falsas e conduzem a conclusão, que também pode ser verdadeira ou falsa.

13 Os argumentos podem ser indutivos ou dedutivos. Argumentos indutivos são aqueles que, com base em dados, chega-se a uma resposta por meio de analogias, ou seja, pela comparação com algo conhecido. 1 ontem não havia nuvens no céu e não choveu. 2 hoje não há nuvens no céu. 3 portanto, hoje não vai chover.

14 Argumentos dedutivos são aqueles cuja conclusão é obtida como consequência das premissas, ou seja, por meio da analise das situações ou fatos pode-se chegar à resposta. 1 todo cão late. 2 totó é um cão. 3 portanto, totó late. Do ponto de vista da lógica, esses argumentos têm a mesma estrutura e forma. todo X é Y. Se Z é um X, logo Z é Y

15 Um conceito fundamental em Lógica e também na Ciência da computação é aquele que diferencia os objetos de seu significado. - Ambiguidade de linguagem natural o produto de um número pela soma de dois outros é igual ao produto do primeiro pelo segundo somado ao produto do primeiro pelo terceiro - Linguagem formal ou simbólica ou artificial Se x, y,z são números arbitrários. x.(y+z) = x.y + x.z

16 Para formar uma linguagem simbólica devemos admitir um alfabeto e uma fórmula (expressão). Alfabeto formado por todos os símbolos matemáticos e letras do alfabeto latino e grego. Ex. a, +, F, V, α, x, β, Ɇ Expressão formada pela concatenação de símbolos do alfabeto. Ex. a) a + y b) linguagem de programação c) 3 έ (3,5,7) d) abce e) +3 = Ɇ 7 x Não é qualquer concatenação de símbolos que é uma expressão.

17 Chamamos de termo a expressão que nomeia ou descreve um objeto. Ex. Maria O gato do menino A B Chamamos de enunciado ou proposição a expressão que correlaciona objetos ou descreve propriedades desse objeto. Uma proposição exprime um pensamento de sentido completo. Ex. a lua é um satélite da terra 3 x 5 = 5 x 3 Pedro estuda e trabalha.

18 Não são considerados enunciados ou proposições as expressões sob a forma exclamativa, interrogativa e imperativa. Ex. Que lindo dia! Qual o seu nome? Escreva um artigo. Você estuda o trabalha? Eu adoro sorvete!

19 A lógica se restringe a uma classe de proposições que são declarativas e que só aceitam dois valores: verdadeiro (V) ou falso (F). Um excluindo o outro. Ex. Duas retas de um plano são paralelas ou concorrentes Se eu ganhar muito dinheiro, então ficarei rica Se os alunos estudam, então terão êxito no curso

20 A lógica matemática adota como regras fundamentais os dois principais axiomas: I Principio da não contradição. Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. II Princípio do terceiro excluído. Qualquer proposição é verdadeira ou é falsa, não podendo ser nada mais do que isso. Ex. a) Vasco da Gama descobriu o Brasil b) ¾ é um número inteiro c) Jorge Amado escreveu Mar Morto d) BBB é um programa da TV

21 Uma proposição logicamente verdadeira é aquela cuja verdade depende exclusivamente do arranjo de certas expressões, ditas vocábulos lógicos, e não um texto empírico ou observacional. Esses vocábulos são: e, ou, não, se... então, todo. Ex. Sócrates é mortal ou Sócrates não é mortal A substituição de Sócrates e mortal, no exemplo, é incapaz de tornar essa proposição falsa. João é cuiabano ou João não é cuiabano. Se todo homem é mortal e Sócrates é homem, então Sócrates é mortal

22 As partículas lógicas e, ou, não, se... então, desempenham importante papel, pois a partir de proposições simples podem ser formados proposições compostas. Proposições simples: p: o novo papa é alemão q: João é medico t: Pedro é analista r: 5 < 8 Proposições compostas: w: q ^t: João é medico e Pedro é analista s: comprarei um carro se somente se ganhar dinheiro p: Claudio é mato-grossense ou é goiano

23 A veracidade de uma proposição simples é imediata. A veracidade de uma proposição composta depende de duas coisas: 1 do valor lógico da proposições componentes 2 do tipo de conectivo lógico que as une

24 Estudo dos conectivos lógicos Obs. Material disponibilizado em sala com uso do quadro.

O que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo

O que é lógica? Lógica é a análise de métodos de raciocínio. Lívia Lopes Azevedo Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento analógico e digital Álgebra booleana e circuitos lógicos Circuitos combinacionais Circuitos sequenciais

Leia mais

Lógica Matemática e Elementos de Lógica Digital

Lógica Matemática e Elementos de Lógica Digital Lógica Matemática e Elementos de Lógica Digital Curso: Ciência da Computação Lívia Lopes Azevedo livia@ufmt.br Apresentação Plano de ensino Curso Conceitos básicos de lógica lógica proposicional Comportamento

Leia mais

Fundamentos da Computação 1. Aula 03

Fundamentos da Computação 1. Aula 03 Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise

Leia mais

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013 Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago

Leia mais

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional

Prof.ª Dr.ª Donizete Ritter. Introdução ao Cálculo Proposicional Bacharelado em Sistemas de Informação Lógica Matemática Prof.ª Dr.ª Donizete Ritter Introdução ao Cálculo Proposicional 1 LÓGICA MATEMÁTICA - CONTEÚDO Definição de Termo e Proposição Valor Lógico Proposição

Leia mais

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno Fundamentos de Lógica e Algoritmos Aula 1.2 Introdução a Lógica Booleana Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Você está viajando e o pneu do seu carro fura! 2 Quais são os passos para se trocar

Leia mais

CCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação

CCAE. Lógica Aplicada a Computação - Cálculo Proposicional - Parte I. UFPB - Campus IV - Litoral Norte. Centro de Ciências Aplicadas e Educação CCAE Centro de Ciências Aplicadas e Educação UFPB - Campus IV - Litoral Norte Lógica Aplicada a Computação - Cálculo Proposicional - Parte I Estes slides foram criados pelo Professor Alexandre Duarte Para

Leia mais

Eng. Alimentos PROGRAMA DE DISCIPLINA IDENTIFICAÇÃO CÓDIGO DISCIPLINA PRÉ-REQUISITOS

Eng. Alimentos PROGRAMA DE DISCIPLINA IDENTIFICAÇÃO CÓDIGO DISCIPLINA PRÉ-REQUISITOS PROGRAMA DE DISCIPLINA Semestre 2016.1 IDENTIFICAÇÃO CÓDIGO DISCIPLINA PRÉ-REQUISITOS EXA170 Introdução à Ciência da Computação CURSO DEPARTAMENTO ÁREA Engenharia de Alimentos Ciências Exatas Informática

Leia mais

Estrutura de Dados e Lógica de Programação. Cátia Alves Marcelo Nunes 102 h/a 17/08/2015 a 12/12/2015

Estrutura de Dados e Lógica de Programação. Cátia Alves Marcelo Nunes 102 h/a 17/08/2015 a 12/12/2015 Curso / Módulo Técnico em Informática Módulo I Componente Curricular Estrutura de Dados e Lógica de Programação Professora Formadora Tutores Carga Horária Período Lucélia Oliveira Cátia Alves Marcelo Nunes

Leia mais

Computação Básica. Prof. Tiago Alves. Universidade de Brasília Campus Gama

Computação Básica. Prof. Tiago Alves. Universidade de Brasília Campus Gama Computação Básica Prof. Tiago Alves Universidade de Brasília Campus Gama 1. Objetivos Desenvolver um pensamento computacional : Compreender a organização básica de um computador. Adquirir competência para

Leia mais

PLANO DE CURSO. 3. OBJETIVO GERAL DA DISCIPLINA: Desenvolver no aluno uma metodologia de análise de problemas e formulação de algoritmos.

PLANO DE CURSO. 3. OBJETIVO GERAL DA DISCIPLINA: Desenvolver no aluno uma metodologia de análise de problemas e formulação de algoritmos. 1. DADOS DE IDENTIFICAÇÃO: Curso: Bacharelado em Sistemas de Informação Disciplina: Fundamentos da Programação Professor: Esp. Edemilton Alcides Galindo PLANO DE CURSO Código: SIF29 E-mail: edemilton.junior@fasete.edu.br

Leia mais

PROGRAMA - Disciplinas Lecionadas

PROGRAMA - Disciplinas Lecionadas 1 PROGRAMA - Disciplinas Lecionadas Disciplina: Introdução à Informática Código da ementa: VCE 00015 Carga horária semestral: 45 hs (Teórica) Carga horária semanal: 3 hs Período: 1 o Ano: 2017/2 Professor:

Leia mais

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:

LÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em: LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar

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

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES

Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira

Leia mais

Iniciação a Lógica Matemática

Iniciação a Lógica Matemática Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa

Leia mais

Lógica. Professor Mauro Cesar Scheer

Lógica. Professor Mauro Cesar Scheer Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de

Leia mais

Algoritmos e Programação

Algoritmos e Programação Algoritmos e Programação Joyce França Professora de Ciência da Computação - IFNMG Roteiro aula 1 Apresentação da disciplina Definição de algoritmos Plano de Ensino EMENTA OBJETIVOS CONTEÚDO PROGRAMÁTICO

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

Introdução a Programação

Introdução a Programação Introdução a Programação Joyce França Professora de Ciência da Computação - IFNMG Roteiro aula 1 Apresentação da disciplina Definição de algoritmos Plano de Ensino EMENTA OBJETIVOS CONTEÚDO PROGRAMÁTICO

Leia mais

MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO

MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO Ano Semestre letivo 2016 02 1. Identificação Código 1.1 Disciplina: Programação Computacional para a Física

Leia mais

MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO

MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO Ano Semestre letivo 2017 02 1. Identificação Código 1.1 Disciplina: Programação Computacional para a Física

Leia mais

Fundamentos de Algoritmos (5175/31)

Fundamentos de Algoritmos (5175/31) UEM/CTC Departamento de Informática Curso: Ciência da Computação Professor: Flávio Rogério Uber Fundamentos de Algoritmos (5175/31) Material Original: Prof. Yandre Maldonado e Gomes da Costa (UEM/DIN)

Leia mais

DISCIPLINA: Computação e Algoritmo I. PROFESSOR: Léo M. Lopes da Silva Garcia FORMAÇÃO:

DISCIPLINA: Computação e Algoritmo I. PROFESSOR: Léo M. Lopes da Silva Garcia FORMAÇÃO: DISCIPLINA: Computação e Algoritmo I PROFESSOR: Léo M. Lopes da Silva Garcia FORMAÇÃO: - Graduação Licenciatura Plena em Computação Universidade do Estado de Mato Grosso - Especialista em Gestão Pública

Leia mais

Ministério da Educação UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Londrina PLANO DE ENSINO

Ministério da Educação UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Londrina PLANO DE ENSINO Ministério da Educação UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Londrina PLANO DE ENSINO CURSO ENGENHARIA AMBIENTAL MATRIZ 03 FUNDAMENTAÇÃO LEGAL Resolução n. o 9/007 COEPP de 19 de outubro de

Leia mais

Fundamentos da Computação 1. Carmen Cecilia Centeno

Fundamentos da Computação 1. Carmen Cecilia Centeno Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 04 Sobre o curso de Ciência da Computação. Plano de Ensino. O que é lógica. Exercício prático para desenvolvimento do raciocínio. Ciência da Computação

Leia mais

FUNDAÇÃO UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO

FUNDAÇÃO UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO Professor: Marcelo Santos Linder Disciplina: Algoritmos e Programação Código Disciplina: Carga Horária: 60h Período: Pág. 1 de 5 PROFESSOR TITULAÇÃO: Engenheiro de Computação EMENTA: Conceito de algoritmo.

Leia mais

Proposições e Conectivos

Proposições e Conectivos Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Proposições e Conectivos Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com

Leia mais

Aula prático/expositiva. Resolução de exercícios propostos e participação em sala de aula. 2h 08/05

Aula prático/expositiva. Resolução de exercícios propostos e participação em sala de aula. 2h 08/05 Av. Antonio Carlos Magalhães, 512 Santo Antônio Juazeiro, BA, CEP 48903210 Tel/Fax: (74) 36141938 Caixa Postal 252, PetrolinaPE, www.univasf.edu.br PLANO DE UNIDADE DIDÁTICA PUD Professor: Marcelo Santos

Leia mais

Curso Superior de Análise e Desenvolvimento de Sistemas. Disciplina: : Algoritmo 2009 / 1

Curso Superior de Análise e Desenvolvimento de Sistemas. Disciplina: : Algoritmo 2009 / 1 Curso Superior de Análise e Desenvolvimento de Sistemas Disciplina: : Algoritmo 2009 / 1 Habilidades - Métodos para construção de algoritmos. - Representação de algoritmos. - Tipos primitivos de dados:constantes

Leia mais

INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA CATARINENSE - CAMPUS LUZERNA Rua São Roque, 41 - Luzerna/SC CEP Fone: (49)

INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA CATARINENSE - CAMPUS LUZERNA Rua São Roque, 41 - Luzerna/SC CEP Fone: (49) PLANO DE ENSINO Curso: ENGENHARIA DE CONTROLE E AUTOMAÇÃO Componente Curricular / Carga Horária: Informática para Engenharia / 60 h Professor: Ricardo Antonello Ano / Semestre: 2015/1 1. EMENTA: Noções

Leia mais

Introdução. Lógica e Algoritmo. Lógica e Algoritmo. Lógica e Algoritmo. Lógica e Algoritmo. Lógica e programação Aula 02

Introdução. Lógica e Algoritmo. Lógica e Algoritmo. Lógica e Algoritmo. Lógica e Algoritmo. Lógica e programação Aula 02 Introdução Lógica e programação Aula 02 Lógica na resolução de problemas computacionais Algortimos aplicados à solução de problemas computacionais Formalização de algoritmos Exercícios Sky Informática

Leia mais

Métodos para a construção de algoritmo

Métodos para a construção de algoritmo Métodos para a construção de algoritmo Compreender o problema Identificar os dados de entrada e objetos desse cenário-problema Definir o processamento Identificar/definir os dados de saída Construir o

Leia mais

Algoritmos Lógica e Programação Prof. Me. Adelson Felipe Dias Nogueira

Algoritmos Lógica e Programação Prof. Me. Adelson Felipe Dias Nogueira Algoritmos Lógica e Programação 2016-2 Prof. Me. Adelson Felipe Dias Nogueira E-mail: adelson.nogueira@pitagoras.com.br Plano de Ensino MÓDULOS: 1.Conceitos iniciais de Algoritmos: 2.Desenvolvimento de

Leia mais

LÓGICA DE PROGRAMAÇÃO 1

LÓGICA DE PROGRAMAÇÃO 1 LÓGICA DE PROGRAMAÇÃO 1 Prof. RANILDO LOPES CONTEÚDO PROGRAMÁTICO Introdução aos conceitos básicos de lógica de programação Fundamentos da Lógica de Programação Tipos e estrutura de dados, variáveis, constantes,

Leia mais

FUNDAÇÃO UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO

FUNDAÇÃO UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO Professor: Marcelo Santos Linder Disciplina: Algoritmo e Programação Carga Horária: 30 hs Pág. 1 de 5 EMENTA: Conceito de algoritmo. Lógica de programação e programação estruturada. Linguagem de definição

Leia mais

Universidade Federal de Uberlândia Faculdade de Computação. GMA038 Introdução à Ciência da Computação

Universidade Federal de Uberlândia Faculdade de Computação. GMA038 Introdução à Ciência da Computação Universidade Federal de Uberlândia Faculdade de Computação GMA038 Introdução à Ciência da Computação Prof. Renato Pimentel 1 Ementa do curso Ementa resumida: 1.Noções básicas de arquitetura e organização

Leia mais

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

NHI Lógica Básica (Lógica Clássica de Primeira Ordem) NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático

Leia mais

Matemática Discreta - 01

Matemática Discreta - 01 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

ALGORITMOS E LÓGICA DE PROGRAMAÇÃO

ALGORITMOS E LÓGICA DE PROGRAMAÇÃO ALGORITMOS E LÓGICA DE PROGRAMAÇÃO Prof. Esp. Fabiano Taguchi http://fabianotaguchi.wordpress.com fabianotaguchi@gmail.com ALGORITMOS E LÓGICA DE PROGRAMAÇÃO Carga horária: 60 horas/aula Aulas: Sextas

Leia mais

Prof. Jorge Cavalcanti

Prof. Jorge Cavalcanti Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto

Álgebra das Proposições. Prof. Guilherme Tomaschewski Netto Álgebra das Proposições Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações

Leia mais

EnsinoTécnicoIntegrado ao Médio.

EnsinoTécnicoIntegrado ao Médio. PLANO DE TRABALHO DOCENTE 1º Semestre/2015 EnsinoTécnicoIntegrado ao Médio. Código: 262 ETEC ANHANQUERA Município: Santana de Parnaíba Componente Curricular: Lógica de Programação Eixo Tecnológico: Informação

Leia mais

Matemática Régis Cortes. Lógica matemática

Matemática Régis Cortes. Lógica matemática Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos

Leia mais

CURSO TÉCNICO DE NÍVEL MÉDIO EM INFORMÁTICA - PLANO DE DISCIPLINA 2015 LINGUAGEM DE PROGRAMACAO 1 LP1

CURSO TÉCNICO DE NÍVEL MÉDIO EM INFORMÁTICA - PLANO DE DISCIPLINA 2015 LINGUAGEM DE PROGRAMACAO 1 LP1 1. COMPETÊNCIAS Desenvolver algoritmos através de divisão modular e refinamentos sucessivos. Distinguir e avaliar linguagens e ambientes de programação, aplicando-os no desenvolvimento de software. Interpretar

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.

Leia mais

PLANO DE ENSINO. TURMA: 7º semestre. Julhane Alice Thomas Schulz

PLANO DE ENSINO. TURMA: 7º semestre. Julhane Alice Thomas Schulz PLANO DE ENSINO IDENTIFICAÇÃO CURSO: Matemática FORMA/GRAU:( )integrado ( )subsequente ( ) concomitante ( ) bacharelado (X) licenciatura ( ) tecnólogo MODALIDADE: (X) Presencial ( ) PROEJA ( ) EaD COMPONENTE

Leia mais

Aula 01 Linguagens de Programação e Lógica

Aula 01 Linguagens de Programação e Lógica Aula 01 Linguagens de Programação e Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo

Leia mais

APOSTILA DE LÓGICA. # Conceitos iniciais INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE

APOSTILA DE LÓGICA. # Conceitos iniciais INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE INSTITUTO EDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CÂMPUS APODI Sítio Lagoa do Clementino, nº 999, RN 233, Km 2, Apodi/RN, 59700-971. one (084) 4005.0765 E-mail: gabin.ap@ifrn.edu.br

Leia mais

UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO PROGRAMA DE DISCIPLINA. Introdução a Algoritmos CCOMP CCMP

UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO PROGRAMA DE DISCIPLINA. Introdução a Algoritmos CCOMP CCMP UNIVERSIDADE FEDERAL DO VALE DO SÃO FRANCISCO PROGRAMA DE DISCIPLINA NOME COLEGIADO CÓDIGO SEMESTRE Introdução a Algoritmos CCOMP CCMP0040 2017.2 CARGA HORÁRIA TEÓR: 60 h PRÁT: 0 h HORÁRIOS: Seg 14:00

Leia mais

Lógica de Programação e Algoritmos. Prof. André Y. Kusumoto

Lógica de Programação e Algoritmos. Prof. André Y. Kusumoto Lógica de Programação e Algoritmos Prof. André Y. Kusumoto andrekusumoto.unip@gmail.com 2 Prof. André Y. Kusumoto andrekusumoto.unip@gmail.com Constantes, Variáveis e Tipos de Dados Variáveis e constantes

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

Lógica Proposicional Fórmulas e Precedência de Operadores

Lógica Proposicional Fórmulas e Precedência de Operadores Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introdução

Leia mais

CURSO DE INFORMÁTICA. Algoritmos. Parte 2. Ricardo José Cabeça de Souza

CURSO DE INFORMÁTICA. Algoritmos. Parte 2. Ricardo José Cabeça de Souza CURSO DE INFORMÁTICA Algoritmos Ricardo José Cabeça de Souza Parte 2 Sumário UNIDADE I - ALGORITMOS 1.4 Resolução de Problemas 1.4.1 - Definição do Problema 1.4.2. Análise do Problema 1.4.3 Construção

Leia mais

MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO

MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO MINISTÉRIO DA EDUCAÇÃO UNIVERSIDADE FEDERAL DE PELOTAS PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO Ano Semestre Letivo 2016 Primeiro 1. Identificação Código 1.1 Disciplina: Algoritmos e Programação 1110180

Leia mais

CAI Apresentação Revisão 4

CAI Apresentação Revisão 4 exatasfepi.com.br CAI Apresentação Revisão 4 André Luís Duarte Honra a teu pai e a tua mãe (que é o primeiro mandamento com promessa), para que te vá bem, e sejas de longa vida sobre a terra.(ef 6:2,3)

Leia mais

Introdução a computação

Introdução a computação Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...

Leia mais

18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA

18/01/2016 LÓGICA MATEMÁTICA. Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com Lógica é usada para guiar nossos pensamentos ou ações na busca da solução. LÓGICA A lógica está

Leia mais

Fundamentos de Programação

Fundamentos de Programação Fundamentos de Programação ET42G Apresentação do Plano de Ensino. Revisão de Algoritmos. Aula 1 Prof. Daniel Cavalcanti Jeronymo Universidade Tecnológica Federal do Paraná (UTFPR) Engenharia Eletrônica

Leia mais

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes

Aula 02 Introdução à Lógica. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Aula 02 Introdução à Lógica Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Conceitos Iniciais sobre Lógica; Argumento; Inferência; Princípios. Contextualização: Situação

Leia mais

ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO. Prof. Angelo Augusto Frozza, M.Sc.

ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO. Prof. Angelo Augusto Frozza, M.Sc. ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO Prof. Angelo Augusto Frozza, M.Sc. http://about.me/tilfrozza Ementa Conceitos de lógica, algoritmos e linguagem de programação. Tipos de dados. Variáveis. Constantes.

Leia mais

Programação de Computadores

Programação de Computadores Programação de Computadores Instituto de Computação UFF Departamento de Ciência da Computação Otton Teixeira da Silveira Filho Conteúdo Alguns Conceitos sobre Conceito de Algoritmo Pseudocódigo Tipos de

Leia mais

DISCIPLINA: MATEMÁTICA DISCRETA

DISCIPLINA: MATEMÁTICA DISCRETA Semestre 1 Cód. Disciplina Créditos Horas Nat. Prérequisitos Teóricos Práticos TELM.003 Matemática Discreta 4-80 OBR - TELM.005 Cálculo I 4-80 OBR - TELM.009 Lógica de Programação I 4 2 120 OBR - TELM019

Leia mais

Conceitos Básicos. LEIC 2 o Semestre, Ano Lectivo 2012/13. c Inês Lynce

Conceitos Básicos. LEIC 2 o Semestre, Ano Lectivo 2012/13. c Inês Lynce Capítulo 1 Conceitos Básicos Lógica para Programação LEIC 2 o Semestre, Ano Lectivo 2012/13 c Inês Lynce Bibliografia Martins J.P., Lógica para Programação, Capítulo 1. Ben-Ari M., Mathematical Logic for

Leia mais

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DA EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL GOIANO - CAMPUS TRINDADE

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DA EDUCAÇÃO PROFISSIONAL E TECNOLÓGICA INSTITUTO FEDERAL GOIANO - CAMPUS TRINDADE 1. Identificação Instituição Docente Curso Unidade Curricular Instituto Federal de Educação, Ciência e Tecnologia Goiano - Campus Trindade Rodrigo de Sousa Gomide Técnico Integrado em Informática para

Leia mais

Programação em C e C++ com Lógica. Subtítulo

Programação em C e C++ com Lógica. Subtítulo Programação em C e C++ com Lógica Subtítulo Sobre a APTECH A Aptech é uma instituição global, modelo em capacitação profissional, que dispõe de diversos cursos com objetivo de preparar seus alunos para

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira

Leia mais

Linguagem Computacional

Linguagem Computacional Linguagem Computacional Prof. Adriano Mauro Cansian Prof. Leandro Alves Neves UNESP - São José do Rio Preto Linguagem Computacional Ementa Sumário Conteúdo Programático Metodologia Avaliações Referências

Leia mais

CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES

CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES CONCEITOS INICIAIS DE LÓGICA PROPOSIÇÕES Nesta aula, mostraremos os principais conceitos que a maioria das bancas utilizam em suas provas. Conceitos como proposição, conectivos, tabela- -verdade, dentre

Leia mais

CURSO SUPERIOR DE TECNOLOGIA EM JOGOS DIGITAIS

CURSO SUPERIOR DE TECNOLOGIA EM JOGOS DIGITAIS CURSO SUPERIOR DE TECNOLOGIA EM JOGOS DIGITAIS DISCIPLINA: ALGORITMOS Matriz Curricular: 017 Carga Horária: 80 H/A EMENTA: A disciplina proporciona o aprendizado sobre criação de para a resolução de problemas

Leia mais

TECNOLOGIA EM REDES DE COMPUTADORES. computadores. Aula 4

TECNOLOGIA EM REDES DE COMPUTADORES. computadores. Aula 4 TECNOLOGIA EM REDES DE COMPUTADORES Algoritmos e programação de computadores Aula 4 1 Programação : Declaração de variáveis. Algoritmos: Agenda Solicitação de entrada, exibição.depuração. Tipos de dados

Leia mais

Sumário. Ciência da Computação. Prof. Dr. Leandro Alves Neves. Aula 06. Algoritmos e Programação. Informática II. q Noções de lógica

Sumário. Ciência da Computação. Prof. Dr. Leandro Alves Neves. Aula 06. Algoritmos e Programação. Informática II. q Noções de lógica Algoritmos e Programação Informática II Ciência da Computação Prof. Dr. Leandro Alves Neves Aula 06 1 Sumário Noções de lógica Representação do Conhecimento Lógica na Programação Lógica e Algoritmo: Resolução

Leia mais

PLANO DE ENSINO DA DISCIPLINA BLOCO I IDENTIFICAÇÃO

PLANO DE ENSINO DA DISCIPLINA BLOCO I IDENTIFICAÇÃO CURSO DE GRADUAÇÃO: SÉRIE: 1ª SEMESTRE LETIVO DO ANO: ( ) 1º SEMESTRE ( X ) 2º SEMESTRE ( ) 1º e 2º SEMESTRES ANO: 2017 PLANO DE ENSINO DA DISCIPLINA BLOCO I IDENTIFICAÇÃO Código da Disciplina: Nome da

Leia mais

CURSO DE GRADUAÇÃO: Química Medicinal / Física Médica SEMESTRE LETIVO DO ANO: SÉRIE: 2a PLANO DE ENSINO DA DISCIPLINA BLOCO I IDENTIFICAÇÃO

CURSO DE GRADUAÇÃO: Química Medicinal / Física Médica SEMESTRE LETIVO DO ANO: SÉRIE: 2a PLANO DE ENSINO DA DISCIPLINA BLOCO I IDENTIFICAÇÃO CURSO DE GRADUAÇÃO: Química Medicinal / Física Médica SEMESTRE LETIVO DO ANO: SÉRIE: 2a ( X ) 1º SEMESTRE ( ) 2º SEMESTRE ( ) 1º e 2º SEMESTRES ANO: 2019 PLANO DE ENSINO DA DISCIPLINA BLOCO I IDENTIFICAÇÃO

Leia mais

Plano de Ensino. Identificação. Curso EngE.INT - Engenharia de Energia. Ênfase. Disciplina B161S - Introdução à Ciência da Computação I

Plano de Ensino. Identificação. Curso EngE.INT - Engenharia de Energia. Ênfase. Disciplina B161S - Introdução à Ciência da Computação I Plano de Ensino Curso EngE.INT - Engenharia de Energia Ênfase Identificação Disciplina B161S - Introdução à Ciência da Computação I Docente(s) Ricardo Luiz Barros de Freitas Unidade Câmpus Experimental

Leia mais

AULA 02. OBJETIVO: Desenvolvimento e solução de Algoritmos. LÓGICA DE PROGRAMAÇÃO

AULA 02. OBJETIVO: Desenvolvimento e solução de Algoritmos. LÓGICA DE PROGRAMAÇÃO AULA 02 OBJETIVO: Desenvolvimento e solução de Algoritmos. LÓGICA DE PROGRAMAÇÃO A lógica é a ciência do pensamento correto. Esta declaração não implica, contudo em afirmar que ela seja a ciência da verdade.

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

Plano de Ensino. Ementa

Plano de Ensino. Ementa JOINVILLE Curso: SIJ-TEC - Tecnologia em Sistemas de Informação Departamento: DCC - Ciência da Computação Disciplina: LINGUAGEM DE PROGRAMAÇÃO Código: LPG0002 Carga horária: 72 Período letivo: 2015/1 Professor:

Leia mais

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos;

Resumo aula. Conceituação; Origem; Lógica de programação; Argumentos; Lógica simbólica; Dedutivos; Indutivos; Aula 02 - Lógica Disciplina: Algoritmos Prof. Allbert Velleniche de Aquino Almeida E-mail: allbert.almeida@fatec.sp.gov.br Site: http://www.allbert.com.br /allbert.almeida Resumo aula Conceituação; Origem;

Leia mais

Programação em C. Victor Amorim dos Santos

Programação em C. Victor Amorim dos Santos Programação em C Victor Amorim dos Santos Apresentação Professor Formação Victor Amorim dos Santos http://inf.ufes.br/~victor.amsantos/ Bacharel Sistemas de Informação - IFES Mestre em Informática - UFES

Leia mais

Matemática Computacional. Introdução

Matemática Computacional. Introdução Matemática Computacional Introdução 1 Definição A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. 2 Origem Aristóteles

Leia mais

Plano de Ensino IDENTIFICAÇÃO

Plano de Ensino IDENTIFICAÇÃO Plano de Ensino IDENTIFICAÇÃO EIXO TECNOLÓGICO: Informação e Comunicação CURSO: Sistemas de Informação FORMA/GRAU:( )integrado ( )subsequente ( ) concomitante ( X ) bacharelado ( ) licenciatura ( ) tecnólogo

Leia mais

Desenvolvimento de Algoritmos. RAD 2119 Tecnologia de Informação Aplicada a Administração. Essa aula. Lógica e Pensamento Lógico. Lógica.

Desenvolvimento de Algoritmos. RAD 2119 Tecnologia de Informação Aplicada a Administração. Essa aula. Lógica e Pensamento Lógico. Lógica. RAD 2119 Tecnologia de Informação Aplicada a Administração Desenvolvimento de Algoritmos Prof. Ildeberto A. Rodello rodello@fearp.usp.br http://www.fearp.usp.br/~rodello 3602.0514 Essa aula Definições

Leia mais

ALGORITMOS E ESTRUTURAS DE DADOS I PROF. EDSON IFARRAGUIRRE MORENO

ALGORITMOS E ESTRUTURAS DE DADOS I PROF. EDSON IFARRAGUIRRE MORENO ALGORITMOS E ESTRUTURAS DE DADOS I PROF. EDSON IFARRAGUIRRE MORENO INFORMAÇÕES Horário: 3CD 6CD Créditos: 4 Carga-horária: 60 horas-aula E-mail: edson.moreno@pucrs.br Material: http://www.inf.pucrs.br/emoreno

Leia mais

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS PRÓ-REITORIA DE GRADUAÇÃO DEPARTAMENTO DE COMPUTAÇÃO PLANO DE ENSINO

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS PRÓ-REITORIA DE GRADUAÇÃO DEPARTAMENTO DE COMPUTAÇÃO PLANO DE ENSINO PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS PRÓ-REITORIA DE GRADUAÇÃO DEPARTAMENTO DE COMPUTAÇÃO Disciplina: Informática e Computação Curso: Engenharias PLANO DE ENSINO Professor/Responsável: José Roldão

Leia mais

Fundamentos da Computação 1. Carmen Cecilia Centeno

Fundamentos da Computação 1. Carmen Cecilia Centeno Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 05 Sobre o curso de Ciência da Computação - lembretes. Plano de Ensino. Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças Definição

Leia mais

Capítulo 2 Introdução à Programação

Capítulo 2 Introdução à Programação Tecnologia em Análise e Desenvolvimento de Sistemas INTRODUÇÃO À CIÊNCIA DA COMPUTAÇÃO Capítulo 2 Introdução à Programação Prof. Claudinei Dias email: prof.claudinei.dias@gmail.com Plano de Ensino 2. Introdução

Leia mais

Algoritmos e Estruturas de Dados

Algoritmos e Estruturas de Dados Algoritmos e Estruturas de Dados Introdução Prof. Sinaide Nunes Bezerra Vídeoaulas e exercícios em linguagem C, acesse www.mathgraph.com.br 1 de novembro de 2015 Sumário 1 Introdução

Leia mais

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO MÉDIA E TECNOLÓGICA ESCOLA TÉCNICA FEDERAL DE PALMAS SUPERVISÃO EDUCACIONAL

MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO MÉDIA E TECNOLÓGICA ESCOLA TÉCNICA FEDERAL DE PALMAS SUPERVISÃO EDUCACIONAL MINISTÉRIO DA EDUCAÇÃO SECRETARIA DE EDUCAÇÃO MÉDIA E TECNOLÓGICA ESCOLA TÉCNICA FEDERAL DE PALMAS SUPERVISÃO EDUCACIONAL ÁREA INFORMÁTICA CURSO SUPERIOR DE TECNOLOGIA EM SISTEMAS PARA INTERNET Unidade

Leia mais

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS PRÓ-REITORIA DE GRADUAÇÃO. Sistema de Planos de Ensino da PUC Goiás

PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS PRÓ-REITORIA DE GRADUAÇÃO. Sistema de Planos de Ensino da PUC Goiás PONTIFÍCIA UNIVERSIDADE CATÓLICA DE GOIÁS PRÓ-REITORIA DE GRADUAÇÃO Sistema de Planos de Ensino da PUC Goiás Detalhes da Dis ciplina Código CMP1060 Nome da Disciplina INFORMÁTICA E COMPUTAÇÃO Carga Horária

Leia mais

Lógica de Programação e Algoritmos. Prof. André Y. Kusumoto

Lógica de Programação e Algoritmos. Prof. André Y. Kusumoto Lógica de Programação e Algoritmos Prof. André Y. Kusumoto andrekusumoto.unip@gmail.com Procedimentos e Funções Para construirmos grandes programas, necessitamos fazer uso da técnica de modularização.

Leia mais

Introdução à Lógica Proposicional Sintaxe

Introdução à Lógica Proposicional Sintaxe Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 ESTUDO DE LÓGICA O estudo

Leia mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 04 Linguagens Formais humberto@bcc.unifal-mg.edu.br Última aula... Relação da teoria dos conjuntos com LFA; Relação dos grafos com LFA.

Leia mais

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE

Filosofia (aula 10) Dimmy Chaar Prof. de Filosofia. SAE Filosofia (aula 10) Prof. de Filosofia SAE leodcc@hotmail.com Lógica Tipos de Argumentação Dedução parte-se do Universal para o Particular Tipos de Argumentação Dedução parte-se do Universal para o Particular;

Leia mais

Conceitos Básicos. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur

Conceitos Básicos. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur Capítulo 1 Conceitos Básicos Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Bibliografia Martins J.P., Lógica para Programação (as folhas serão

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