UNIVESP 2023 Fundamentos Matemáticos para Computação Semana 3 - Atividade Avaliativa

Prévia do material em texto

UNIVESP 2023 Fundamentos Matemáticos para Computação  Semana 3 - Atividade Avaliativa
PERGUNTA 1
Produzir programas mais seguros é uma ciência, no sentido de um domínio de conhecimentos formais que utilizam abordagens sistemáticas e métodos meticulosos, dentre eles, há o Método B, um valioso ferramental que sustenta o trabalho de demonstração de correção.
Analise as asserções a seguir e a relação proposta entre elas.
I. O Método B apoia a especificação formal de um projeto, mediante um modelo empírico do sistema a ser desenvolvido.
PORQUE 
II. Gerar, de forma automática, os lemas que precisam ser provados, para garantir que o modelo reflete os requisitos do sistema, constitui parte desse apoio.
Avaliando essas asserções, é correto afirmar que:
	
	a.
	as duas asserções são falsas.
	
	b.
	as duas asserções são verdadeiras, mas a segunda não justifica a primeira.
	
	c.
	as duas asserções são verdadeiras e a segunda justifica a primeira.
	
	d.
	a primeira asserção é falsa e a segunda é verdadeira.
	
	e.
	a primeira asserção é verdadeira e a segunda é falsa.
1,44 pontos   
PERGUNTA 2
Produzir programas mais seguros é um norteador básico em qualquer projeto da área da computação. Nesse sentido, a demonstração de correção é um trabalho meticuloso, relacionado à verificação de que determinado programa ou, até mesmo, segmento de programa computacional estão rigorosamente em conformidade com suas especificações.
Analise as asserções a seguir e a relação proposta entre elas.
I. Tal abordagem de demonstração de correção requer lógica formal para provar que certa relação (precondição) entre as variáveis do programa é válida antes da execução de determinado comando e que outra relação (pós-condição) é válida depois da execução do comando.
PORQUE 
II. Uma vez que a natureza da demonstração de correção abrange um trabalho deveras intenso, seu uso fica normalmente reservado para seções mais triviais do código em aplicações acessórias.
Avaliando essas asserções, é correto afirmar que:
	
	a.
	a primeira asserção é falsa e a segunda é verdadeira.
	
	b.
	as duas asserções são verdadeiras, mas a segunda não justifica a primeira.
	
	c.
	a primeira asserção é verdadeira e a segunda é falsa.
	
	d.
	as duas asserções são verdadeiras e a segunda justifica a primeira.
	
	e.
	as duas asserções são falsas.
1,44 pontos   
PERGUNTA 3
Os fundamentos matemáticos para a ciência da computação também são constituídos de técnicas de demonstração. Dentre essas técnicas, há as demonstrações informais. Uma dessas demonstrações constitui-se como uma afirmação que pode ser provada como verdadeira, mediante outras afirmações já demonstradas.
Assinale a alternativa que apresenta a descrição correta da demonstração em questão. 
	
	a.
	Teorema.
	
	b.
	Tática.
	
	c.
	Estratégia.
	
	d.
	Argumento.
	
	e.
	Hipótese.
1,42 pontos   
PERGUNTA 4
De especial utilidade no âmbito da ciência da computação, determinado princípio mostra-se como uma implicação, com a tese de que uma sentença da forma P(n) é verdadeira para todos os inteiros n positivos. Portanto, quando é necessário demonstrar que alguma propriedade é válida para qualquer inteiro positivo n, pode-se recorrer ao emprego dessa técnica de demonstração.
Assinale a alternativa que apresenta a descrição correta do princípio em questão.
	
	a.
	Dialogismo instrumental.
	
	b.
	Acepção metafísica.
	
	c.
	Indução matemática.
	
	d.
	Reducionismo científico.
	
	e.
	Revisionismo histórico.
1,42 pontos   
PERGUNTA 5
Em relação à regra do laço, há o conceito de invariante de laço, uma propriedade que se mostra verdadeira, cada vez que a condição do laço é avaliada, e que é igualmente verdadeira antes e depois de cada iteração do laço. A propriedade de um invariante de laço consegue ser satisfeita não importando de qual iteração do laço se parte. Quanto a essa regra, três aspectos precisam ser considerados.
Assinale a alternativa que apresenta, de forma correta, os três aspectos em questão.
	
	a.
	Inicialização, manutenção e terminação.
	
	b.
	Formatação, alienação e depuração.
	
	c.
	Formulação, retenção e transmissão.
	
	d.
	Codificação, revisão e aplicação.
	
	e.
	Produção, integração e ponderação.
1,42 pontos   
PERGUNTA 6
De modo geral, demonstrações não são escritas necessariamente em um passo a passo, em que cada um desses passos apresenta suas justificativas formais. Em vez disso, os passos principais e o raciocínio adotado são costumeiramente esboçados em linguagem do dia a dia. Essa demonstração, de toda forma, pode ser escrita de modo formal, caso isso seja necessário. Assim, é possível fazer determinada analogia, para compreender a utilidade de empreender a demonstração formal.
Assinale a alternativa que apresenta a descrição correta da analogia sugerida.
	
	a.
	Auditoria.
	
	b.
	Obrigação.
	
	c.
	Contrato.
	
	d.
	Triagem.
	
	e.
	Seguro.
1,43 pontos   
PERGUNTA 7
O Algoritmo de Euclides foi formalmente descrito por esse matemático grego há mais de 2.300 anos, embora não se descarte que tenha sido aplicado muito antes. Inquestionavelmente, trata-se de um dos algoritmos mais clássicos que se conhece; seu propósito é encontrar o maior divisor comum (mdc) entre dois inteiros positivos, “a” e “b”, em um arranjo, tal que a > b.
Nesse contexto, é possível afirmar que o funcionamento do Algoritmo de Euclides ocorre mediante: 
	
	a.
	uma sucessão de divisões.
	
	b.
	a inferência lógica propositiva.
	
	c.
	um escalonamento de exponenciações.
	
	d.
	uma refutação sofística.
	
	e.
	uma aproximação matemática.
1,43 pontos   
Clique em Salvar e Enviar para salvar e enviar. Clique em Salvar todas as respostas para salvar todas as respostas.
UNIVESP 2023 
 
 
Fundamentos
 
Matemáticos
 
para
 
Computação
 
 
Semana 
3
 
-
 
Atividade
 
Avaliativa
 
 
PERGUNTA 1
 
 
Produzir
 
programas
 
mais
 
seguros
 
é
 
uma
 
ciência,
 
no
 
sentido
 
de
 
um
 
domínio
 
de
 
conhecimentos
 
formais
 
que
 
utilizam
 
abordagens
 
sistemáticas
 
e
 
métodos
 
meticulosos,
 
dentre
 
eles,
 
há
 
o
 
Método
 
B,
 
um
 
valioso
 
ferramental
 
que
 
sustenta
 
o
 
trabalho
 
de
 
demonstração
 
de
 
corre
ção
.
 
 
Analise
 
as
 
asserções
 
a
 
seguir
 
e
 
a
 
relação
 
proposta
 
entre
 
elas
.
 
 
I.
 
O
 
Método
 
B
 
apoia
 
a
 
especificação
 
formal
 
de
 
um
 
projeto,
 
mediante
 
um
 
modelo
 
empírico
 
do
 
sistema
 
a
 
ser
 
desenvolvido
.
 
 
PORQUE
 
 
 
II.
 
Gerar,
 
de
 
forma
 
automática,
 
os
 
lemas
 
que
 
precisam
 
ser
 
p
rovados,
 
para
 
garantir
 
que
 
o
 
modelo
 
reflete
 
os
 
requisitos
 
do
 
sistema,
 
constitui
 
parte
 
desse
 
apoio
.
 
 
Avaliando
 
essas
 
asserções,
 
é
 
correto
 
afirmar
 
qu
e
:
 
 
 
a.
 
as duas asserções são falsas.
 
 
b.
 
as duas asserções são verdadeiras, mas a segunda não justifica a primeira.
 
 
c.
 
as duas asserções são verdadeiras e a segunda justifica a primeir
a.
 
 
d.
 
a primeira asserção é falsa e a segunda é verdadeira.
 
 
e.
 
a primeira asserção é verdadeira e a segunda é 
falsa.
 
1,44
 
pontos
 
 
 
 
UNIVESP 2023 Fundamentos Matemáticos para Computação Semana 3 - 
Atividade Avaliativa 
 
PERGUNTA 1 
 
Produzir programas mais seguros é uma ciência, no sentido de um domínio de 
conhecimentos formais que utilizam abordagens sistemáticas e métodos meticulosos, 
dentre eles, há o Método B, um valioso ferramental que sustenta o trabalho de 
demonstração de correção. 
 
Analise as asserções a seguir e a relação proposta entre elas. 
 
I. O Método B apoia a especificação formal de um projeto, mediante um 
modelo empírico do sistema a ser desenvolvido. 
 
PORQUE 
 
II. Gerar, de forma automática, os lemas que precisam ser provados, para 
garantir que o modelo reflete osrequisitos do sistema, constitui parte desse 
apoio. 
 
Avaliando essas asserções, é correto afirmar que: 
 
 
a. 
as duas asserções são falsas. 
 
b. 
as duas asserções são verdadeiras, mas a segunda não justifica a primeira. 
 
c. 
as duas asserções são verdadeiras e a segunda justifica a primeira. 
 
d. 
a primeira asserção é falsa e a segunda é verdadeira. 
 
e. 
a primeira asserção é verdadeira e a segunda é falsa. 
1,44 pontos