Number of the records: 1  

Matematická logika

  1. View book information on page www.obalkyknih.cz

    book


     Trlifajová, Kateřina, 1959- - Author
    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 - Author
     matematická logika
     učebnice vysokých škol
    Call numberS 33.485
    Umístění 51 - Matematika. Teoretická matematika
    Matematická logika
    BranchPlaceInfoSignature
    Lidická ( volný výběr ) k vypůjčeníS 33.485   

    Title statementMatematická logika / Kateřina Trlifajová, Daniel Vašata
    Main entry-name Trlifajová, Kateřina, 1959- (Author)
    Edition statement1. vyd.
    Issue dataV Praze : České vysoké učení technické, 2013
    Phys.des.174 s. : il. ; 30 cm
    ISBN978-80-01-05342-3 (brož.)
    National bibl. num.cnb002509383
    Note500 výt.. Na obálce nad názvem: ČVUT v Praze, Fakulta informačních technologií
    Internal Bibliographies/Indexes NoteObsahuje bibliografii a rejstřík
    Another responsib. Vašata, Daniel (Author)
    Another responsib. České vysoké učení technické v Praze. Fakulta informačních technologií (Other)
    Subj. Headings matematická logika
    Form, Genre učebnice vysokých škol
    Conspect510 - Obecné úvahy o matematice
    37.016 - Učební osnovy. Vyučovací předměty. Učebnice
    UDC 510.6 , (075.8)
    CountryČesko
    Languagečeština
    Ve volném výběru51 - Matematika. Teoretická matematika
    Document kindBOOKS
    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
    Loading…

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.