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 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
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 = (N 1 + N 2 +...+ N n )/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 3 x 5 = 5 x 3 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: 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
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.