Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik. Fő problémája az ezek között értelmezhető műveletek, a logikai műveletek, illetve a különféle levezetések tanulmányozása.Az ítéletlogika tekinthető a matematika részének, és napjaink modern felfogásában annak is tekintjük (bár eredetileg a filozófia egy részterületeként fejlődött ki). Ha ezt a modern nézetet elfogadjuk, akkor az ítéletlogikát a kijelentéslogika egy részeként, mégpedig mint úgynevezett kétértékű nulladrendű kijelentéskalkulusként tárgyalhatjuk.
2022. december 31., szombat
2022. december 19., hétfő
Verse
Since joining Epic Games in late 2021, I have been involved in the design and development of Verse, a new, declarative programming language that Epic plans to use as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and more besides. In this talk I'll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.
2022. december 7., szerda
Feliratkozás:
Bejegyzések (Atom)