Registrovat
Přihlášení
nebo
Ztracené heslo?
Na úvodní stránku Na úvodní stránku
Československá bibliografická databáze
Registrovat

Logika a logiky

0%
0 0
Hodnotit lze až po přihlášení
Zavřít Chcete knihu okomentovat, hodnotit či ji uložit do svého knižního seznamu? Začnete zde

Logika a logiky

Podtitul: Systém klasické výrokové logiky, jeho rozšíření a alternativy




Nejnovější vydání:
Academia - 2004
Skrýt  

Všechny obaly

Skrýt  

Všechna vydání knihy

Nakladatelství (rok) ISBN Počet stránek Poznámka
Academia (2004)

Kniha je úvodem do formálních systémů výrokové logiky. Vychází ze standardní, klasické výrokové logiky a probírá některá její možná rozšíření a alternativy. Tak se dopracovává k systémům intuicionistických, vícehodnotových, relevančních, modálních a jiných logik. Nejpodrobněji jsou probírány logiky modální a zejména jejich sémantika založená na pojmu možného světa. Kniha je určena studentům matematiky, informatiky, filosofie, teoretické lingvistiky i všem dalším zájemcům o logiku.

(více)  

Komentáře



Nové komentáře můžete vkládat po přihlášení | Nemáte zde účet? - Rychlá registrace