Probíhá komunikace se serverem...

ČVUT eobchod
česky english Podporované platby kartou Visa a Master card
Novák, Martin: Collection of examples from electronics and electrical machines and drives
This collection of examples is intended primarily for students of the Faculty of Mechanical Engineering of the Czech Technical University (CTU) in Prague as support materials to the subjects: Electrical Circuits and Electronics, Electrical Machines a...
ČVUT eobchod128 Kč vč.DPH
Dámské tričko ČVUT s motivem lva
Dámské tričko s krátkým rukávem s modrým potiskem ČVUT. 100% bavlna, 190 g/m2. Značka: SOL´S.
ČVUT eobchod210 Kč vč.DPH
Černý, František: Fyzika II
Skripta jsou určena studentům prvního ročníku Fakulty strojní ČVUT v Praze. První část učebního textu pojednává o elektrickém proudu, magnetickém a elektromagnetickém poli, včetně geometrické a vlnové optiky. Druhá část se věnuje kvantové fyzice, kva...
ČVUT eobchod230 Kč vč.DPH
Kostelecký, Jakub: Globální polohové souřadnicové systémy
Učební text seznamuje studenty s definicí a tvorbou globálních souřadnicových systémů, které tvoří základ pro použití metod kosmické geodézie pro určování polohy - zejména nejznámější a široce využívané technologie GPS. Kromě definice a realizace (pr...
ČVUT eobchod157 Kč vč.DPH
Veselá, Eva: Handbook of Laboratory Experiments in Physics
Učební text obsahuje obecné poznatky týkající se měření, měřicích metod, zpracování měření, a to včetně nejistot a jejich stanovení. Sestává celkem ze 40 návodů k úlohám a jejich popisu. Úlohy jsou zvoleny tak, aby navazovaly na přednášenou látku z p...
ČVUT eobchod192 Kč vč.DPH
Schovat slider
 

Trlifajová, Kateřina: Matematická logika

Spoluautoři Vašata, Daniel
Fakulta FIT
Vydání 3. dotisk 1. vydání
Rok vydání 08/2018
Rozsah Stran: 176, Obrázků: neuvedeno, Příloh: neuvedeno, CD: neuvedeno
Nakladatel ČVUT
ISBN 978-80-01-05342-3
Cena (vč.DPH 10 %) 175 Kč
Skladem 223 ks
Počet  ks
Popis produktu:
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.

Nejčastěji prodávané produkty společně se zobrazeným zbožím:

Valentová, Jana: Hydraulika podzemní vody

201 Kč

Pelantová, Edita: Matematická analýza 1

129 Kč

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

131 Kč
ČVUT Ochrana osobních údajů Helpdesk