Lo tomaron

Question 1

def de conjuntos independientes y bases

Question 2

probar halt no es computable

Question 3

enunciar y demotrar teorema de la decuccion

Question 4

dar la definicion de conjunto finitamente satisfasible

Question 5

dar la definicion de la regala de modus pones y de prueba

Question 6

desmostrar que si la funcion se obtiene mediante un ERI a aprtir de un afuncion que computable, entonces es computable

Question 7

definir esquema recursivo tipo II y funcion recursiva primitiva

Question 8

final 14 julio de 2022 ejer 1

Question 9

definir la algebra de bool y motrar que algunas operaciones estan bien definidas

Question 10

porbar que la funcion halt no es computable

Question 11

Dar la definicion de cadena de formacion

Question 12

Definicion de ERII

Question 13

Demostrar el cardinal [0,1] es mayor que aleph_0

Question 14

final 12 de dicimbre, ejer 1

Question 15

teorema de la decicion version semantica y demostrarlos

Question 16

definicion de recursiva primitiva

Question 17

definir prueba y demotrar mediante una pruba que (α → α ) es demostrable

Question 18

porbar que si α es demostrable entonces α es tauto

Question 19

definir iso

Question 20

dar la definicion de teminos y de las formulas en los lenguajes de primer orden

Question 21

X < #P(X)

Question 22

probar el teorema de la deducion version semantica

Question 23

definir funciones inciales, funciones recursiva primitiva y esquema recurisvo tipo 2

Question 24

definir lenguaje de primer orden, alfabeto tambein

Question 25

de la logica proporcional definir las subformulas

Question 26

dentro de la logica proposicional, conjuntos consistente y maximal consistente

Question 27

probar que exieten funciones computables

Question 28

Dada f ∶ VAR → {0, 1} función. Existe una única valuación vf ∶ FORM → {0, 1} que extiende a f.

Question 29

definir cadena de formacion y cadena de formacion minimal

Question 30

probar que si α es demostrable entonces es tauto

Question 31

definicion de iso

Question 32

probar que α ∈ C(Γ) ⇒ ∃ Γ′ finito tal que Γ′ ⊆ Γ y α ∈ C(Γ′) impleica el teorema de compasidad

Question 33

Definir el ERII y funcion recurisva

Question 34

probar el teorme de la deducion verison semantica

Question 35

definir funciones iniciales, funciones recursivas primitivas , ERII

Question 36

Definir lenjugaje de primer orden para ello definir el alfabato tambein

Question 37

Corolario 24.2 Sea L de primer orden. Sea I interpretación de L con universo U. F ∶ U → U isomorfismo. Entonces, si a ∈ U es distinguible Ô⇒ F(a) = a DEMO

Question 38

Sea L un lenguaje de primer orden y sea I una interpretación de L con universo U. Sea F ∶ U → U un isomorfismo. Probar que si A ⊆ U, es expresable ⇒ F(A) ⊆ A

Question 39

Probar el teorema de la deducion verison semantica

Question 40

PRobar que si gama es satisfacibles => es consistente

Question 41

definir prueba de la logica proposicional

Question 42

definir base y conjunto independinte

Question 43

Ejercico2 final de 17 de dicimbre 2018

Question 44

definir cadena de formacion y cadena de formacion minimal

Question 45

definir iso

Question 46

Sean Γ ⊆ FORM, α ∈ FORM α ∈ C(Γ) ⇐⇒ Γ ∪ {¬α} es insatisfacible. DEMO

Question 47

definir, prueba y formlas demotrable

Question 48

definir subformulas

Question 49

definir conjusntos consistentes y maximal consistentes

Question 50

Dada f ∶ VAR → {0, 1} función. Existe una única valuación vf ∶ FORM → {0, 1} que extiende a f.

Question 51

Existen funciones no computables Teorema 42

Question 52

Sea g ∶ N n+2 → N Sea q ∶ N n → N Sea h ∶ N n+1 → N tal que se obtiene por ERII a partir de q y g. Si q y g son computables Ô⇒ h es computable.

Question 53

Si h se obtiene a partir de g por un ERI y g es computable, entonces h es computable.

Question 54

si gama es satisfacible entonces gama es consistemte

Question 55

sea Gama instatisfasible demotrar y finito, demostra que es maximal con respecto a la independencia

Question 56

1. Si X es infinito no numerable y A es numerable ⇒ X ∪ A ∼ X 2. Si X es infinito no numerable y A es numerable ⇒ X − A ∼ X

Question 57

Base finita e insatisfasible

Question 58

dar ejemplo de una base instatisfasible e infinita

Question 59

base, infinita y satisfasible

Question 60

ejemplos de base finita y satisfasible

Question 61

ejemplo de maximal consistente finito

Question 62

dar ejemplo de m.c infitinto

Question 63

Sea α ∈ F, (p1 → α) tautología. Si p1 ∉ var(α) ⇒ α es tautología

Question 64

[0,1] no es numerable

Question 65

#x < #P(x)

Question 66

Sea α ∈ F. Sea var(α) = {pj ∈ VAR/pj aparece en α} Si v, w son valuaciones tales que v∣var(α) = w∣var(α) ⇒ v(α) = w(α)

Question 67

Teorema de la deduccion (version axiomática)

Question 68

Teorema de compacidad implica α ∈ C(Γ) Ô⇒ ∃ Γ′ finito tal que Γ′ ⊆ Γ y α ∈ C(Γ')

Question 69

teorema de completitud

Question 70

si gama es mc => exite una unica v valuacion / V(gama) =1

Question 71

teorema de la correctitud

Question 72

#programas = X_0

Question 73

teorema de compacidad

Question 74

demo que composicion de funciones computables son computables

Question 75

comoposicon de funciones RP es RP