b 2015

Sbírka řešených úloh z logiky pro informatiky

MRÁKOVÁ, Eva a Lubomír POPELÍNSKÝ

Základní údaje

Originální název

Sbírka řešených úloh z logiky pro informatiky

Autoři

Vydání

1. vyd. Brno, 80 s. 2015

Nakladatel

Masarykova univerzita

Další údaje

Typ výsledku

Učebnice

Utajení

není předmětem státního či obchodního tajemství

Označené pro přenos do RIV

Ne

ISBN

978-80-210-7843-7

Štítky

Změněno: 8. 1. 2016 15:49, Mgr. Jana Dykastová

Anotace

ORIG EN

V originále

Sbírka obsahuje úlohy z výrokové a predikátové logiky a jejich řešení. Je určená pro základní kurzy logiky především na bakalářském stupni. Kromě základních úloh z těchto dvou logických kalkulů sbírka obsahuje též příklady na rezoluční metody ve výrokové i v predikátové logice.

Anglicky

This book contains collection of tasks from propositional and predicate logic including solutions. It is designed for a basic logic course mainly on Bachelor level. In addition to the basic problems of these two logical calculi this book also contains tasks on resolution method in propositional and predicate logic.

Návaznosti

CZ.1.07/2.2.00/28.0216, interní kód MU
Název: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Akronym: logika-ramec-rozvoje)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia, 2.2 Vysokoškolské vzdělávání