Springen naar inhoud

Lambda calculus


  • Log in om te kunnen reageren

#1

Saraatje

    Saraatje


  • >25 berichten
  • 49 berichten
  • Ervaren gebruiker

Geplaatst op 14 mei 2007 - 19:07

Ik snap lambda calculus niet heel erg en ik zit met twee vragen.
1) Hoe kan ik bewijzen dat NOT T -> F
Ik weet dat
LaTeX
2) Hoe kan ik een functie IMPLIES definieren die voldoet aan
LaTeX
Kan iemand mij hiermee helpen?

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.




0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures