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) 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. 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. 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 Conceitos de programação ◦ Algoritmos aplicados à solução de problemas computacionais ◦ Tipos de algoritmos ◦ Pseudocódigo ◦ Fluxograma ◦ Introdução a programação ◦ Tipos de linguagens de programação 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 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 Conteúdo programático: Busca e ordenação ◦ Ordenação ◦ Busca Introdução a linguagem de programação (Pascal ou Fortran) 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. Bibliografia PUGA, Sandra; RISSETTI, Gerson, Lógica de programação e estruturas de dados, Ed. Pearson, São Paulo, 2009. 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, 2003. 240 p. ISBN 85-221-0316-X MANZANO, José A. N. G., OLIVEIRA, Jayr F., Algoritmos: Lógica para desenvolvimento de programação, São Paulo, Érica, 2007. FARRER, Harry. Programação estruturada de computadores: algoritmos estruturados. 3. ed. Rio de Janeiro: LTC, 2008. 284 p. ISBN 9788521611806 FARRER, Harry et al. Pascal estruturado. 3 ed. Rio de Janeiro: LTC, c1999. 279 p. (Programacao estruturada de computadores) FARRER, Harry. Fortran estruturado. Rio de Janeiro: Guanabara Koogan, 1992. 194 p. (Programação estruturada de computadores) ISBN 8527702274 NORTON, Peter. Introdução à informática. São Paulo: Pearson Education, 1996. 619 p. Avaliação Resoluções: CONSEPE 14/99 e Cursos Seriados / CONSEPE 27/99 Média = (N1 + N2 + ...+ Nn )/n 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. 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. 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. 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” 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” 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. 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” 3x5=5x3 Pedro estuda e trabalha. 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! 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” 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 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” 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: q: t: r: o novo papa é alemão João é medico Pedro é analista 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 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 Estudo dos conectivos lógicos Obs. Material disponibilizado em sala com uso do quadro.