HemGrupperDiskuteraMerTidsandan
Känner du till SantaThing, LibraryThings julklappsbyte?
avfärda
Denna webbplats använder kakor för att fungera optimalt, analysera användarbeteende och för att visa reklam (om du inte är inloggad). Genom att använda LibraryThing intygar du att du har läst och förstått våra Regler och integritetspolicy. All användning av denna webbplats lyder under dessa regler.
Hide this

Resultat från Google Book Search

Klicka på en bild för att gå till Google Book Search.

Modal Logic (Cambridge Tracts in Theoretical…
Laddar...

Modal Logic (Cambridge Tracts in Theoretical Computer Science) (urspr publ 2001; utgåvan 2002)

av Patrick Blackburn, Maarten de Rijke, Yde Venema

MedlemmarRecensionerPopularitetGenomsnittligt betygDiskussioner
44Ingen/inga437,176 (3.83)Ingen/inga
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.… (mer)
Medlem:KeyserLofwyr
Titel:Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Författare:Patrick Blackburn
Andra författare:Maarten de Rijke, Yde Venema
Info:Cambridge University Press (2002), Paperback, 578 pages
Samlingar:Ditt bibliotek
Betyg:
Taggar:Ingen/inga

Verkdetaljer

Modal Logic av Patrick Blackburn (Author) (2001)

Ingen/inga.

Ingen/inga
Laddar...

Gå med i LibraryThing för att få reda på om du skulle tycka om den här boken.

Det finns inga diskussioner på LibraryThing om den här boken.

Inga recensioner
inga recensioner | lägg till en recension

» Lägg till fler författare

Författarens namnRollTyp av författareVerk?Status
Blackburn, PatrickFörfattareprimär författarealla utgåvorbekräftat
Rijke, Maarten deFörfattarehuvudförfattarealla utgåvorbekräftat
Venema, YdeFörfattarehuvudförfattarealla utgåvorbekräftat
Du måste logga in för att ändra Allmänna fakta.
Mer hjälp finns på hjälpsidan för Allmänna fakta.
Vedertagen titel
Originaltitel
Alternativa titlar
Första utgivningsdatum
Personer/gestalter
Viktiga platser
Viktiga händelser
Relaterade filmer
Priser och utmärkelser
Motto
Dedikation
Inledande ord
Citat
Avslutande ord
Särskiljningsnotis
Förlagets redaktörer
På baksidan citeras
Ursprungsspråk
Kanonisk DDC/MDS

Hänvisningar till detta verk hos externa resurser.

Wikipedia på engelska (1)

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.

Inga biblioteksbeskrivningar kunde hittas.

Bokbeskrivning
Haiku-sammanfattning

Snabblänkar

Populära omslag

Betyg

Medelbetyg: (3.83)
0.5
1
1.5
2
2.5
3 2
3.5
4 3
4.5
5 1

Är det här du?

Bli LibraryThing-författare.

 

Om | Kontakt | LibraryThing.com | Sekretess/Villkor | Hjälp/Vanliga frågor | Blogg | Butik | APIs | TinyCat | Efterlämnade bibliotek | Förhandsrecensenter | Allmänna fakta | 152,648,304 böcker! | Topplisten: Alltid synlig