LGICA DE PROGRAMAO

1 LGICA : Grego - Logike

Latim Lgica

DICIONRIO LAROUSSE
1. Estudo das leis de raciocnio, das proposies
2. Coerncia de raciocnios, de idias
3. Maneira particular de pensar (Figurativo)

LGICA FORMAL OU LGICA SIMBOLICA Estudo geral dos raciocnios dedutivos.

LGICA MATEMTICA Teoria cientifica dos raciocnios que exclui processos

psicolgicos.

Correo do pensamento
Arte de bem pensar
Correo do raciocnio
Ordem da razo

PESQUISAR
Matemtica elementar volume 1 (Metodologia Investigao Cientifica) lgica
Tabela da verdade
Tautologia
Contingncia
Contradio
Ex: Todo mamfero um animal
Todo cavalo um mamfero
Portanto, todo cavalo um animal

Ex 2 : Todos os brasileiros so humanos

Todos os paulistas so brasileiros
Todos os paulistas so humanos

Essas expresses so ditas SILOGISMO so duas premissas e uma concluso e a relao

pode ser vlida ou no.

Ex 3: Todo ser humano fiel

Todo homem um ser humano
Todo homem fiel.

A lgica organiza-se segundo uma representao formal e, que se contrape com a linguagem
natural, possvel de argumentos informais.

Ex: Quem roubou o que de quem?

Renata, Regina e Rita tiveram seus carros Um Audi, um BMW e um
Mercedes roubados no estacionamento de um shopping Center quase ao

mesmo tempo. Cada carro foi levado por um ladro Ricardo, Rodrigo e Rui.
O investigador encarregado dos casos descobriu as seguintes pistas.
1. O gatuno que levou o Audi, o mais perigoso dos 3 era solteiro.
2. O cunhado de Rodrigo, Ricardo, que roubou a mais velha das 3
mulheres.
3. era menos perigoso que o ladro da BMW.
4. O homem que furtou o carro de Renata era filho nico
5. Ricardo no roubou o carro de Regina.

CONCEITOS

LGICA DE PROGRAMAO
Racionalizao do pensamento:
1) preciso raciocnio e simbolizao.
2) O Objetivo produzir solues
3) Para qu? para problemas que se deseja programar.
A lgica da programao pode ser representada em inmeras linguagens: Pascal, C, C++,
Fortran etc.
- Necessitamos Algoritmos
- Pra que? Para estudar as peculiaridades de cada linguagem.
~ Analogia das diversas linguagens de programao com os idiomas por ex:

Jeremias gosta de estudar Fsica

Jeremias likes to study Fsica
Jeremias mag phusik studieren

3 ALGORITMOS
So o objeto de estudo da lgica de programao.
DEFINIO uma seqncia de passos bem definidos com o intuito de atingir um objetivo
pr-determinado.
Itens necessrios Pensar com ordem, racionalizao do raciocnio, economia de
tempo.
ESQUEMA:
Estado Inicial Aes claras e precisas
Execuo Perodo de tempo finito
Estado Final Soluo do problema proposto.

OBJETIVOS DE UM ALGARISMO

Organizar as idias
Isso deixa de lado os detalhes computacionais
Formalizao no processo de execuo.
A passagem da etapa ALGORITMO para a programao chamada CODIFICAO.

Ex. Trocar uma lmpada

1. Escada ou cadeira
2. Posicionar a escada ou cadeira abaixo da lmpada
3. Buscar uma lmpada nova
4. Subir a escada
5. Retirar a lmpada velha
6. Colocar a lmpada nova
Mas se a lmpada no estiver queimada?
1. Escada ou cadeira

2. Ligar o interruptor * (Se a lmpada no acender)

3. ...
4. ...
5. ...
6. ....
Se a lmpada no acender,
Ento retirar a lmpada com defeito
Colocar outra lmpada
Se a lmpada no acender, ento ate quando?

O novo algoritmo tem inicio mais no tem fim, pois no sabemos o numero de vezes
que a lmpada ser trocada.
O que fazer?
SOLUO : Estabelecer uma condio de parada tal que enquanto certa condio
no for satisfeita o algoritmo no finda / termina o ciclo de execuo.

Nosso caso: Condio de parada lmpada acender

E, se tivssemos no apenas um soquete mas 10 deles para testar?

Soluo 1 Pegar o algoritmo e testar 10 soquetes
Problema : O Algoritmo ficou extenso como simplificar?
Soluo 2 Lanar mo de uma ESTRUTURA DE REPETIO, i., e., um recurso
que testa repetidamente uma condio para eventos distintos.

At agora escrevemos os algarismos em portugus coloquial nas formas grficas como

fluxograma, diagramas etc. sero necessrios para organizar a seqncia de aes ---REGRAS
O pregador foi grampeado durante o conserto

EXERCICIO : RESOLVER AS QUESTOES 1.3 e 1.4 DA PAGINA 12 DO FORBELLONE

TOPICOS INCIAIS EM PORTUGOL

1.1 TIPOS PRIMITIVOS
DADOS
11/09

INFORMAO
11/09/2011 * (Ataque terrorista EUA)

O PC tem uma maneira prpria de manipular informaes buscando organiza-las. Pode-se

definir pelo menos 4 tipos primitivos, a saber:
a. INTEIRO - Toda e qualquer informao que pertena ao conjunto Z/ (Inteiros)
Ex: Madson tem 2 empregos
b. REAL Toda e qualquer informao que pertena aos nmeros IR (Reais)

Ex: Florbela foi aprovada com media igual a 7,33

c.

CARACTER Toda e qualquer informao alfa numrica , i., e., composta de

valores numricos alfabticos e especiais ( # ? ! * @)

d. LGICA Toda e qualquer informao pode assumir duas situaes (biestvel)

Ex: 4 O Computador pode estar LIGADO ou DESLIGADO

1.2 CONSTANTES So dados que no sofrem variao ao longo da execuo do

algaritmo.
# Os dados constantes do tipo CARACTER sero, daqui em diante, expresso entre aspas.
EX: Estava escrito. Proibido Armas

# Por conveno os dados do tipo LOGICO s tero 2 valores (V) ou (F).