Beruflich Dokumente
Kultur Dokumente
TEORIA DA COMPUTAÇÃO
TEORIA DA COMPUTAÇÃO
Prof. Reverton 3
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
TEORIA DA COMPUTAÇÃO
Poder computacional
Qualquer
Qualquer computação
computação que que possa
possa ser
ser realizada
realizada com
com umum
modelo
modelo pode
pode ser
ser realizada
realizada com
com qualquer
qualquer umum dos
dos outros
outros
modelos.
modelos.
A teoria da computação estuda os modelos de computação
genéricos, assim como os limites da computação:
●
Quais problemas podem ser resolvidos por um computador, mas
requerem um período tão extenso de tempo para completar a
ponto de tornar a solucão impraticável?
Prof. Reverton 4
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
TEORIA DA COMPUTAÇÃO
Poder computacional
Qualquer
Qualquer computação
computação que que possa
possa ser
ser realizada
realizada com
com umum
modelo
modelo pode
pode ser
ser realizada
realizada com
com qualquer
qualquer umum dos
dos outros
outros
modelos.
modelos.
A teoria da computação estuda os modelos de computação
genéricos, assim como os limites da computação:
●
Em que situações pode ser mais difícil resolver um
problema do que verificar cada uma das soluções
manualmente?
Prof. Reverton 5
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
TEORIA DA COMPUTAÇÃO
Teoria da complexidade computacional
é a parte da teoria da computação que estuda os recursos
necessários durante o cálculo para resolver um problema.
Os
Osrecursos
recursoscomumente
comumenteestudados
estudadossão:
são:
●
●OOtempo
tempo(número
(númerode
depassos
passosde
deexecução
execuçãode
deum
umalgoritmo
algoritmo
para
pararesolver
resolverum
umproblema)
problema)
●
●OOespaço
espaço(quantidade
(quantidadede
dememória
memóriautilizada
utilizadapara
pararesolver
resolver
um
umproblema)
problema)
Prof. Reverton 6
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
TEORIA DA COMPUTAÇÃO
Teoria da complexidade computacional
importância da complexidade
Introdução
Procedimentos e algoritmos
Interação e Recursão
Prof. Reverton 8
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
PARTE A – PROGRAMAÇÃO DE COMPUTADORES
MÓDULO 1 – PROGRAMAÇÃO DE COMPUTADORES E INDUÇÃO MATEMÁTICA
Introdução
Introdução
program
program idéia;
idéia;
uses
uses Crt;
Crt;
var
var
nome
nome :: string;
string;
begin
begin
write('Informe
write('Informe seu
seu nome
nome :: ');
');
readln(nome);
readln(nome);
write('Olá
write('Olá ',nome,'
',nome,' tudo
tudo bem
bem !');
!');
end.
end.
Linguagem Pascal
Prof. Reverton 10
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
PARTE A – PROGRAMAÇÃO DE COMPUTADORES
MÓDULO 1 – PROGRAMAÇÃO DE COMPUTADORES E INDUÇÃO MATEMÁTICA
Início Fim
Prof. Reverton 11
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
PARTE A – PROGRAMAÇÃO DE COMPUTADORES
MÓDULO 1 – PROGRAMAÇÃO DE COMPUTADORES E INDUÇÃO MATEMÁTICA
Prof. Reverton 12
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
PARTE A – PROGRAMAÇÃO DE COMPUTADORES
MÓDULO 1 – PROGRAMAÇÃO DE COMPUTADORES E INDUÇÃO MATEMÁTICA
Prof. Reverton 13
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
PARTE A – PROGRAMAÇÃO DE COMPUTADORES
MÓDULO 1 – PROGRAMAÇÃO DE COMPUTADORES E INDUÇÃO MATEMÁTICA
Prof. Reverton 14
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
PARTE A – PROGRAMAÇÃO DE COMPUTADORES
MÓDULO 1 – PROGRAMAÇÃO DE COMPUTADORES E INDUÇÃO MATEMÁTICA
Procedimentos e algoritmos
➔Procedimento é uma seqüência finita de instruções que
podem ser executadas por um agente computacional.
Prof. Reverton 15
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
PARTE A – PROGRAMAÇÃO DE COMPUTADORES
MÓDULO 1 – PROGRAMAÇÃO DE COMPUTADORES E INDUÇÃO MATEMÁTICA
Algoritmo de Euclides
➔
Especifica como calcular o MDC (Máximo Divisor Comum)
de dois números inteiros positivos m e n.
Prof. Reverton 16
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Algoritmo de Euclides
algoritmo
algoritmo "MDC"
"MDC"
var
var
x,y,m,n,r
x,y,m,n,r :: inteiro
inteiro
inicio
inicio
leia(m)
leia(m)
xx <-
<- mm
leia(n)
leia(n)
yy <-
<- nn
repita
repita
rr <-
<- xx mod
mod yy
xx <-
<- yy
yy <-
<- rr
ate
ate rr == 00
escreva("MDC
escreva("MDC == ", ", x)
x)
fimalgoritmo
fimalgoritmo
Prof. Reverton 17
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Algoritmo de Euclides
Private
Private Sub Sub Command1_Click()
Command1_Click()
Dim
Dim m,m, n,
n, rr AsAs Integer
Integer
mm == Int(num1.Text)
Int(num1.Text)
nn == Int(num2.Text)
Int(num2.Text)
rr == mdc.calcula(m,
mdc.calcula(m, n) n)
MsgBox
MsgBox r, r, vbInformation,
vbInformation, "MDC
"MDC de
de
"" && mm && "" ee "" && nn
End
End Sub
Sub
Prof. Reverton 18
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Algoritmo de Euclides
Function
Function calcula(ByVal
calcula(ByVal xx As As Integer,
Integer, ByVal
ByVal yy As
As
Integer)
Integer) As As Integer
Integer
On
On Error
Error GoTo
GoTo erro
erro
Dim
Dim rr AsAs Integer
Integer
Do
Do
rr == xx Mod
Mod yy
xx == yy Interface
yy == rr
Loop
Loop Until
Until rr == 00
calcula
calcula == xx
Exit
Exit Function
Function
erro:
erro:
MsgBox
MsgBox Err.Description
Err.Description
Exit
Exit Function
Function
End
End Function
Function
Prof. Reverton 19
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Procedimentos e algoritmos
Propriedades de um Procedimento (algoritmo)(programa)(função)(método)
Prof. Reverton 20
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Procedimentos e algoritmos
Propriedades de um Procedimento (algoritmo)(programa)(função)(método)
Prof. Reverton 21
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Procedimentos e algoritmos
Propriedades de um Procedimento (algoritmo)(programa)(função)(método)
Prof. Reverton 22
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Prof. Reverton 23
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Prof. Reverton 24
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Exemplos:
✔
O conjunto de todas as cadeiras na sala de aula de Teoria
dos Conjuntos.
✔
O conjunto de todos os estudantes desta universidade.
✔
O conjunto das letras a, b, c e d.
✔
O conjunto das regras de uso do laboratório de informática.
✔
O conjunto de todos os núumeros racionais cujo quadrado é
2.
✔
O conjunto de todos os números naturais.
✔
O conjunto de todos os números reais entre 0 e 1.
Prof. Reverton 25
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
●
Conceito.
●
Diagrama de Ven-Euler.
●
Operações
Prof. Reverton 26
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
EXERCÍCIOS PROPOSTOS
a)7
b)8
c)9
d)10
e)11
Prof. Reverton 27
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
EXERCÍCIOS PROPOSTOS
a) 1
b) 2
c) 3
d) 4
e) 0
Prof. Reverton 28
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
- Visualg.
- Pascalzim.
Prof. Reverton 29
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Prof. Reverton 30
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Prof. Reverton 31
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
Prof. Reverton 32
ATC – Aspectos Teóricos da Computação MÓDULO 1: Programação de Computadores
CONCEITOS FUNDAMENTAIS
Linguagem
Conceito
Prof. Reverton 33