Logika pro informatiky (a příbuzné obory)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F12%3A86082443" target="_blank" >RIV/61989100:27240/12:86082443 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.cs.vsb.cz/duzi/Matlogika_ESF_Definite.pdf" target="_blank" >http://www.cs.vsb.cz/duzi/Matlogika_ESF_Definite.pdf</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Logika pro informatiky (a příbuzné obory)

Popis výsledku v původním jazyce

Tato kniha pojednává o logice a je určena studentům bakalářského i magisterského studia technických oborů jako informační technologie, komputační lingvistika, ale nejen jim. Mohou zde čerpat také studenti filosofických oborů a všech spřízněných disciplin. Předložený text vznikl na základě dlouhodobých zkušeností s výukou logiky na Katedře Informatiky Fakulty elektrotechniky a informatiky, VŠB-Technická univerzita Ostrava, a to v kursech Úvod do logiky, Matematická logika, Matematické základy informatiky, Úvod do teoretické informatiky, Funkcionální a logické programování. Pokouším se představit logiku jako disciplínu, kterou potřebuje téměř každý.

Název v anglickém jazyce

Logic for Computer Scientists (and other disciplines)

Popis výsledku anglicky

This book deals with classical logic and it is intended to introduce fundamental logical principles to the students of computer science as well as other technical disciplines such as information technologies, computational linguistics, but not only to them. The students of philosophical disciplines can also find interesting information here. The book was written by the author who has a lot of experience in teaching logic within the course "Introduction to Logic", "Mathematical Logic", "Mathematical Foundations of Computer Science", "Introduction to Theoretical Computer Science" and "Functional and Logic Programming". I introduce logic as a discipline needed in almost all the areas of human activities.

Druh

B - Odborná kniha

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-80-248-2662-2

Počet stran knihy

179

Název nakladatele

VSB-TU Ostrava

Místo vydání

Ostrava

Kód UT WoS knihy

—