Probíhá komunikace se serverem...

ČVUT eobchod
česky english Podporované platby kartou Visa a Master card
Holický, Milan: Hodnocení existujících konstrukcí
Význam prodlužování životnosti existujících konstrukcí neustále roste a s ním je spojené i zdokonalování metodických postupů jejich hodnocení. Uplatňuje se zejména v oblasti stavebnictví a ochrany památkových objektů. Cílí nejen na obytné a veřejné b...
ČVUT eobchod120 CZK Incl.VAT
Achtenová, Gabriela: Planetary Gear Sets in Automotive Transmissions
Učební text zahrnuje výklad výpočtu kinematických, momentových a energetických poměrů u planetových soukolí s jedním a více stupni volnosti, používaných v převodových ústrojích motorových vozidel.
ČVUT eobchod113 CZK Incl.VAT
Sunglasses ČVUT
Plastic sunglasses with ČVUT printing. Blue transparent frame and temples, colored metallic lenses. UV 400 protection. Blue case with ČVUT printing included.
ČVUT eobchod99 CZK Incl.VAT
Vyoralová, Zuzana: Technická zařízení budov a infrastruktura sídel I - Zdravotní technika
Skripta zahrnují problematiku zdravotní techniky - rozvody vody v objektu a způsob odvodnění objektu. Popisují jednotlivé systémy, varianty použití a základní principy návrhu jmenovitých světlostí obou sítí. Provází nás jednotlivými typy vodovodních ...
ČVUT eobchod160 CZK Incl.VAT
Vorel, Jakub: Urban Simulation Modeling. An Introduction and Experimental Applications in the Czech ...
Anglicky psaná monografie seznamuje čtenáře s teoretickými základy a praktickým uplatněním simulačních modelů měst a městských regionů. První část knihy využívá jedenácti vybraných urbánních simulačních modelů k ilustraci základních principů a východ...
ČVUT eobchod398 CZK Incl.VAT
Hide slider
 

Trlifajová, Kateřina: Matematická logika

Other authors Vašata, Daniel
Faculty FIT
Version 3. dotisk 1. vydání
Year of publishing 08/2018
Number of pages Stran: 176, Obrázků: neuvedeno, Příloh: neuvedeno, CD: neuvedeno
Publisher ČVUT
ISBN 978-80-01-05342-3
Price (Incl.VAT 10 %) 175 CZK
In Stock 8 pcs
Quantity  pcs
Description:
Skripta jsou určena pro studenty jako úvod do matematické logiky. Postupně je vyložena výroková logika a predikátová logika. Vychází se z přirozeného jazyka a ze sémantického přístupu. Je kladen důraz na metody, které se v logice užívají, resoluční metodu, sémantické stromy, Karnaughovy mapy. Je předveden i syntaktický přístup, jímž je Hilbertův axiomatický systém. Jsou dokázány důležité věty výrokové logiky, věta o úplnosti, o bezespornosti a o kompaktnosti. Zvláštní kapitola je věnována Booleovým algebrám.

Goods most often bought with the displayed:

Kubátová, Hana: Struktura a architektura počítačů s řeš...

131 CZK

Šolcová, Alena: Kapitoly z historie matematiky a inform...

212 CZK

Pelantová, Edita: Matematická analýza 1

129 CZK
ČVUT Ochrana osobních údajů Helpdesk