8 - Nonclassical Logics in Computer Science [ID:10806]
50 von 865 angezeigt

Oh Davewriter

Ok, więc prawie przed chwilą wy kończymy misję

które się wytrzymały, które się wytrzymały.

Więc lepsze strategie by było, że bym dał wam konkretne wyjaśnienia,

zanim dałem wam definicję formalną, bo to jest wciąż proste.

I drugie, co mogłem zacząć, to bym ci powiedział, co to jest dla tego.

Nasz cel był używać bimodalnych symulacji, żeby pokonać

w tym samym ropocze modelu. Chciałem, żebym wiedział,

że kiedy można znaleźć model, czy model kantor,

to można znaleźć jeden, kto jest podczas strukturą, który jest trzema.

Czy wszyscy znają te trzema?

Oczywiście, że tak, ale czy to jest formalnie zrozumiane?

Może po prostu, żeby nie zrozumieć,

że strukturę

jest trzema z wąską w,

normalnie to nazywamy strukturą poświęconą, poświęconą modelą,

więc mianowiliśmy, co powinno być wąską w tej sygnaturalnej,

więc to nazywamy trzema niż zespoł.

Jeśli i tylko jeśli

dla każdego w primu, który ma unikny

wąską w,

oczywiście, jeśli chcemy znaleźć w,

to n powinno być equal do 0.

Więc dwa obserwacje.

Nie ma struktur z wąską w, to może być trzema.

Dlaczego?

Bo kiedyś, w zasadzie, nie nawet z wąską w,

to wystarczy, żebyś ma jedną z wąskich w,

jeśli jest w prim,

w prim, w prim,

Mr logarithm,

w'

może być

rozwijał

może to być zazwyczaj zakończenie

to będzie możliwe również z rozwijałami

ale

to słowa rozwijałami może być

niebezpieczna

z obiektem

z zakończeniem

wielu

okuransów

w'

więc

to nie jest unikne

ale oczywiście to jest

problem z rozwijałami

można to bardzo łatwo

zazwyczaj

Zugänglich über

Offener Zugang

Dauer

01:30:29 Min

Aufnahmedatum

2015-11-09

Hochgeladen am

2019-04-27 21:29:03

Sprache

en-US

The course overviews non-classical logics relevant for computer scientists, in particular

  • Modal logics, extended to formalisms for reasoning about programs - PDL, mu-calculus. Modal systems also form the core of logics of agency and logics for reasoning about knowledge. Moreover they can be seen as a computationally well-behaved fragment of first-order logic over relational structures.

  • Intuitionistic logic, which can be seen as a fragment of certain modal logics (S4) or as the logic of type theory and program extraction.

  • Linear logic, which is established as the core system for resource-aware reasoning 

  • The logic of bunched implications and separation logic: more recent formalisms to reason about heap verification and programs involving shared mutable data structures.

  • Fuzzy and multi-valued logics for reasoning with vague information.

Einbetten
Wordpress FAU Plugin
iFrame
Teilen