Filtrar


Questões por página:

Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem.

Qual a regra clássica de inferência designada pela expressão (p→q), ¬q|- ¬p?

Qual a regra clássica de inferência designada pela
expressão (p→q), ¬q? ¬p?
Tomando como verdadeiras as premissas:

p1 : Eu passo no concurso ou continuarei estudando.

p2 : Se eu passar no concurso, comprarei um carro.

p3 : Se eu continuar estudando, comprarei mais livros.

A conclusão que se pode inferir a partir da regra do silogismo disjuntivo aplicado nas premissas acima é:
Seja um vetor de inteiros com 400 elementos distintos ordenados em ordem crescente.

Qual é o número máximo de iterações necessárias para encontrar um elemento qualquer do vetor caso seja utilizado o algoritmo de busca binária?
Qual figura representa uma árvore AVL?

A figura a seguir apresenta uma árvore binária.



Uma função irá percorrê-la em ordem simétrica, inserindo seus nós em uma pilha (implementada sobre uma lista encadeada) à medida que eles forem sendo visitados. A pilha criada por essa função é