Výsledky vyhľadávania

  1. NázovO pojmu logického vyplývání
    Aut.údajeJohn Etchemendy
    Autor Etchemendy John
    Vyd.údajeOstrava : Ostravská univerzita v Ostravě , 2014. - 231 s., 21 cm
    Vydanie[1. vyd.]
    ISBN978-80-7464-497-9
    PoznámkaBibliografia s. 223-227. Bibliografické odkazy. Register
    Kľúč.slová logika - logic   logické vyplývanie   logical entailment  
    Jazyk dok.čeština
    KrajinaČeská republika
    Systematika 16
    510.63
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.1, z toho voľných 0, prezenčne 1
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    345850Univerzita Mateja BelaFF Katedra filozofielen prezenčne
  2. NázovK implikaci v Aristotelově logice
    Aut.údajeMilan Mráz
    Autor Mráz Milan
    Vyd.údajePraha : Academia , 1988. - 18 s.
    Vydanie1.vyd.
    Heslá pers. Aristoteles starogrécky filozof 384-322 pr. n. l.
    Kľúč.slová logika - logic   implikácie   dejiny logiky  
    Jazyk dok.čeština
    KrajinaČeskoslovensko
    Systematika 510.63
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.1, z toho voľných 1
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    188520Univerzita Mateja BelaUK Referát absenčných výpožičiek
  3. NázovMetoda GUHA
    Podnázovautomatická tvorba hypotéz
    Aut.údajeP. Hájek, T. Havránek, Metoděj K. Chytil
    Autor Hájek Petr
    Spoluautori Havránek Tomáš
    Chytil Metoděj K.
    Vyd.údajePraha : Academia , 1983. - 316 s.
    Vydanie1.vyd.
    Kľúč.slová matematika - mathematics   počítače - computers   metóda GUHA  
    Jazyk dok.čeština
    Krajina-CS
    Systematika 519.681
    510.63
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.2, z toho voľných 1, prezenčne 1
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    153473Univerzita Mateja BelaFP Katedra informatikylen prezenčne
    153474Univerzita Mateja BelaUK Referát absenčných výpožičiek
  4. NázovLogika prvého rádu
    Aut.údajeRaymond M. Smullyan; preklad Svätoslav Mathé
    Autor Smullyan Raymond Merril
    Ďalší autori Mathé Svätoslav (Prekladateľ)
    Vyd.údajeBratislava : Alfa , 1979. - 212 s., 21 cm
    Vydanie1. vyd.
    Kľúč.slová matematická logika - mathematical logic   vysokoškolské učebnice - učebnice vysokých škôl  
    Form.deskr.učebnice vysokých škôl - textbooks (higher)
    Jazyk dok.slovenčina
    KrajinaČeskoslovensko
    Systematika 510.63
    (075.8)
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.5, z toho voľných 3, prezenčne 2
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    127963Univerzita Mateja BelaUK Referát absenčných výpožičiek
    128614Univerzita Mateja BelaFP Katedra matematiky
    145145Univerzita Mateja BelaFP Katedra matematikylen prezenčne
    145143Univerzita Mateja BelaFP Katedra matematikylen prezenčne
    145144Univerzita Mateja BelaUK Referát absenčných výpožičiek


  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.