b 2015

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

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

Basic information

Original name

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

Name in Czech

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

Name (in English)

Introduction to Logic for Computer Science: Tasks and Solutions

Authors

MRÁKOVÁ, Eva (203 Czech Republic, belonging to the institution) and Lubomír POPELÍNSKÝ (203 Czech Republic, belonging to the institution)

Edition

Vydání první. Brno, 82 pp. 2015

Publisher

Masarykova univerzita

Other information

Language

Czech

Type of outcome

Učebnice

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/15:00083497

Organization unit

Faculty of Informatics

ISBN

978-80-210-7843-7

Keywords (in Czech)

logika pro informatiky; úlohy a řešení; pravdivostní tabulky; normální formy; SAT; rezoluce; Prolog

Keywords in English

logic for CS; tasks and solutions; truth tables; normal forms; SAT; resolution; Prolog
Změněno: 3/8/2015 14:15, Mgr. Eva Mráková, Ph.D.

Abstract

ORIG EN

V originále

Sbírka úloh z logiky pro informatiky obsahující podrobně komentovaná řešení. Úlohy jsou z oblasti výrokové a predikátové logiky a zahrnují mj. témata: reprezentace a klasifikace formulí, pravdivostní tabulky, normální formy, SAT, rezoluce, Prolog.

In English

A collection of tasks concerning propositional and predicate logic for computer science. Detailed solutions of the tasks are provided. Covered topics are: representation and classification of formulas, truth tables, normal forms, SAT, resolution, Prolog.

Links

CZ.1.07/2.2.00/28.0216, interní kód MU
Name: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Acronym: logika-ramec-rozvoje)
Investor: Ministry of Education, Youth and Sports of the CR, 2.2 Higher education