Computerwissenschaften

29
Ist Lambda Calculus rein syntaktisch?

Ich habe ein paar Wochen lang über den Lambda-Kalkül gelesen, aber ich habe noch nichts gesehen, das sich materiell von vorhandenen mathematischen Funktionen unterscheidet, und ich möchte wissen, ob es sich nur um eine Notationssache handelt oder ob es irgendwelche neuen gibt Eigenschaften oder...

29
Charakterisierung von Lambda-Termen mit Unionstypen

Viele Lehrbücher behandeln Schnittmengenarten in der Lambda-Rechnung. Die Typisierungsregeln für die Schnittmenge können wie folgt definiert werden (zusätzlich zur einfach getippten Lambda-Rechnung mit Subtypisierung): Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I)...

29
Boolesche Suche erklärt

Meine Mutter besucht einen Online-Kurs, um eine Art Bibliothekarin zu werden. In diesem Kurs werden Boolesche Suchen behandelt, damit sie Datenbanken effizient durchsuchen können. Sie hat jedoch eine Frage, die in etwa so aussieht: Die Suche "x ODER y" ergibt 105 000 Treffer, während eine Suche...