Počet záznamů: 1  

Matematická logika

  1. Zobrazit informace o knize na stránce www.obalkyknih.cz

    kniha


     Trlifajová, Kateřina, 1959- - Autor
    1. vyd. - V Praze : České vysoké učení technické, 2013 - 174 s. : il. ; 30 cm
    ISBN 978-80-01-05342-3 (brož.)
      Vašata, Daniel - Autor
     matematická logika
     učebnice vysokých škol
    SignaturaS 33.485
    Umístění 51 - Matematika. Teoretická matematika
    Matematická logika
    PobočkaKde najdu?InfoSignatura
    Lidická ( volný výběr ) k vypůjčeníS 33.485   

    Údaje o názvuMatematická logika / Kateřina Trlifajová, Daniel Vašata
    Záhlaví-jméno Trlifajová, Kateřina, 1959- (Autor)
    Údaje o vydání1. vyd.
    Vyd.údajeV Praze : České vysoké učení technické, 2013
    Fyz.popis174 s. : il. ; 30 cm
    ISBN978-80-01-05342-3 (brož.)
    Číslo nár. bibl.cnb002509383
    Poznámky500 výt.. Na obálce nad názvem: ČVUT v Praze, Fakulta informačních technologií
    Poznámky o skryté bibliografii a rejstřícíchObsahuje bibliografii a rejstřík
    Dal.odpovědnost Vašata, Daniel (Autor)
    Dal.odpovědnost České vysoké učení technické v Praze. Fakulta informačních technologií (Jiná role)
    Předmět.hesla matematická logika
    Forma, žánr učebnice vysokých škol
    Konspekt510 - Obecné úvahy o matematice
    37.016 - Učební osnovy. Vyučovací předměty. Učebnice
    MDT 510.6 , (075.8)
    Země vyd.Česko
    Jazyk dok.čeština
    Ve volném výběru51 - Matematika. Teoretická matematika
    Druh dok.KNIHY
    Matematická logika
    Skriptum je věnováno výkladu klasické logiky. Obsahuje výrokovou a predikátovou logiku ze syntaktického i sémantického pohledu. Důraz je kladen především na sémantický přístup s využitím sémantických stromů, rezoluční metody a Karnaughových map, což je vhodné zejména pro studenty informatiky. Obsažen je též úvod do teorie Booleových algeber. Zdroj anotace: OKCZ - ANOTACE Z WEBU
    Načítání…

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.