Resultados de la búsqueda

'''Sea <math>A \in R^{nxn}</math> una matriz con autovalores <math>\lambda</math> y <math>\mu</math> tales que <math>\lambda \neq \mu</math>. Supongamos que <math>\eta</math> no es autovalor de A. Sea

*a) D1(10*1) = D1(1).(0*1) = &lambda;.(0*1) = 0*1 *b) D&lambda;(10*1) = D&lambda;(1).(0*1) = 1.0*1

- Existe un fix que no termine en calculo lambda? (identidad) - Diferencia entre evaluación en haskell (lazy) y lambda (por valor). Existe un fix que no termine en uno pero sí en el otro?

…bda z. z) (\lambda w. w)</math> y <math> U2 = (\lambda x. \lambda w. zw) (\lambda y. y) </math>. Ver y justificar. ¿El algoritmo de inferencia de tipos infi

…. xy) (\lambda z. z) (\lambda w. w)</math> y <math> U2 = (\lambda x. xx) (\lambda h. h) </math> ¿El algoritmo de inferencia da el mismo resultado para ambos

…i <math>M</math> AP y <math>x \in L_{\lambda}(M)</math> y <math>xy \in L_{\lambda}(M)</math>, puede <math>M</math> ser autómata de pila determinístico?

Lambda cálculo: Explicar progreso+preservación Diferencias en la semántica entre sigma cálculo y lambda cálculo, cómo se evidencia en cada uno que un término no está bien defi

== Lambda Cálculo == …ómo se evidencia "que un programa se colgó" en la semántica operacional de lambda cálculo? ¿Y en sigma cálculo?

1. Dado <math> M = \lambda x: \sigma \rightarrow \sigma.\lambda y: \sigma.x\ y </math> ## Existe <math> V </math> tal que <math> fix\ (M (\lambda x: \sigma.x)) \twoheadrightarrow V ? </math>

#*Calcular la funcion generadora de momentos de <math>X\sim P(\lambda)</math> #*<math>X\sim P(\lambda); Y\sim P(\gamma) => X+Y\sim P(\lambda+\gamma)</math>

== Cálculo Lambda == 10. Se pierde o gana alguna propiedad al traducir cálculo lambda en cálculo sigma?

…h> = "Tiempo en el que ocurrió el primer evento" es una <math>\varepsilon(\lambda)</math>. …(n, \frac{\lambda}{n})</math> converge en distribución a <math>X \sim \wp(\lambda)</math>.

== Intervalos de confianza para <math>E(\lambda)</math> == === IC para <math>\lambda</math> ===

A -> Ca | &lambda B -> Eb | b | &lambda

Sean <math>X_1 , ... , X_n</math> v.a. iid con distribución <math>P(\lambda)</math> a) Hallar el E.M.V. de <math>\lambda</math>

a) Sea <math>X</math> una variable aleatoria con distribución <math>P(\lambda)</math>. Hallar su función generadora de momentos, esperanza y varianza. b) Sean <math>X\sim P(\lambda)</math> e <math>Y\sim P(\lambda)</math> variables aleatorias independientes. Deduzca la distribución de <m