QR-Code

Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Peregrin, Jaroslav
Format:	Buch
Sprache:	Tschechisch
Veröffentlicht:	Praha : Academia, nakladatelství Československé akademie věd, 2004
Ausgabe:	1. vyd.
Schlagworte:	výrokový počet > kripkovská sémantika > rozhodovací strom
ISBN:	8020011870
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logika pro všechny ochotné myslet /
von: Sochor, Antonín 1942-
Veröffentlicht: (2011)

Diskrétna matematika. I. diel. Úvod do teórie množín, teórie booleovských funkcií a matematickej logiky /
von: Olejár, Daniel
Veröffentlicht: (1992)

Klasická matematická logika /
von: Sochor, Antonín 1942-
Veröffentlicht: (2001)

Úvod do logiky a teórie vedy /
von: Volek, Peter
Veröffentlicht: (1999)

Kvantitatívne metódy v ekonómii : Zborník ved. prác, december 2004 /
von: Sojková, Zlata
Veröffentlicht: (2004)

Úvod do štúdia matematiky /
von: Klenovčan, Pavel
Veröffentlicht: (1996)

Logika /
von: Cryan, Dan, et al.
Veröffentlicht: (2003)

Logika. Neformální výklad základů formální logiky /
von: Jirků, Petr
Veröffentlicht: (1993)

Kvantové logiky /
von: Pták, Pavel 1947-
Veröffentlicht: (1989)

Neklassičeskije logiki /
von: Daniľčenko, A. F.
Veröffentlicht: (1987)

Statistika pro obchod a hospodářství /
von: Wonnacott, Thomas H.
Veröffentlicht: (1993)

Stoická sémantika a logika z pohľadu intenzionálnej logiky /
von: Gahér, František, 1957-
Veröffentlicht: (2000)

Teoretická aritmetika /
von: Palumbíny, Daniel
Veröffentlicht: (1994)

Získavanie znalostí pre znalostné systémy /
von: Mach, Marián
Veröffentlicht: (1997)

Fifth international conference on multimodal interfaces : ICMI'03, Vancouver, British Columbia, Canada, Nov. 5 - 7, 2003 /
von: Jain, Anil K.
Veröffentlicht: (2003)

Úvod do logiky /
von: Benyovszky, Ladislav
Veröffentlicht: (1991)

Úvod do logiky /
von: Svatek, Jan
Veröffentlicht: (1991)

Elementy matematičeskoj logiki /
von: Markov, Andrej Andrejevič
Veröffentlicht: (1984)

Projektování logiky počítačů /
von: Pluháček, Alois
Veröffentlicht: (1996)

Úvod do logiky /
von: Benyovszky, Ladislav
Veröffentlicht: (1993)

Projektování logiky počítačů /
von: Pluháček, Alois
Veröffentlicht: (1995)

Projektování logiky počítačů /
von: Pluháček, Alois
Veröffentlicht: (2003)

Projektování logiky počítačů /
von: Pluháček, Alois
Veröffentlicht: (2000)

Olejárova encyklopédia logiky : základné pojmy /
von: Olejár, Marián sr
Veröffentlicht: (2016)

TOPOSY. KATEGORNYJ ANALIZ LOGIKI /
von: Goldblatt, Robert
Veröffentlicht: (1983)

Úvod do matematickej logiky /
von: Mathé, Svätoslav
Veröffentlicht: (1980)

Technické aplikace vícehodnotové logiky /
von: Druckmüller, Miloslav
Veröffentlicht: (1998)

Deravá filozofia, deravá ekonómia : dva pojmy - dva problémy ; filozofická, sémantická analýza pojmov filozofia a ekonómia /
von: Špakovský, Viktor
Veröffentlicht: (2008)

Úvod do logiky pedagogického myslenia /
von: Behúnová, Vlasta
Veröffentlicht: (1998)

Úvod do logiky pre informatikov /
von: Dirgová Luptáková, Iveta, 1977-, et al.
Veröffentlicht: (2025)

Vybrané kapitoly zo sémantiky /
von: Zázrivcová, Monika
Veröffentlicht: (2011)

Problémy sémantiky /
von: Tondl, Ladislav 1924-
Veröffentlicht: (1966)

Úvod do logiky a metodológie myslenia /
von: Greguš, Peter
Veröffentlicht: (1999)

Úvod do logiky a metodológie myslenia /
von: Greguš, Peter
Veröffentlicht: (2001)

Quo vadis, graph theory?. A source book for challenges and directions /
von: Tutte, William
Veröffentlicht: (1993)

Medzi sémantikou a epistemológiou jazyka /
von: Zouhar, Marián
Veröffentlicht: (2010)

ELEMENTY MATEMATIČESKOJ LOGIKI I TEORII MONOŽESTV /
von: Voľvačev, Rajmond Trofimovič
Veröffentlicht: (1986)

ELEMENTY MATEMATIČESKOJ LOGIKI I TEORII MNOŽESTV /
von: Voľvačev, Rajmond Trofimovič
Veröffentlicht: (1986)

Aplikácie fuzzy logiky pri riadení procesov /
von: Fedor, Pavol 1932-
Veröffentlicht: (2001)

MATEMATIČESKAJA LOGIKA I JEJE PRIMENENIJA. VYP. 3. ALGORITMIČESKIJE LOGIKI : MATERIALY K SEMINARU PRI INST. MATEMATIKI I KIBERNETIKI AN LITOVSKOJ SSR /
von: Žaldokas, Rimgaudas
Veröffentlicht: (1983)