Formální systém - synonyma

výpočet

Výpočet je proces, při kterém se využívají matematické metody k vyřešení problému nebo k dosažení požadovaného výsledku.

počítání

Proces spočítávání čísel a jiných hodnot, který se provádí k dosažení určitého výsledku.

logický jazyk

Logický jazyk je jazyk používaný pro reprezentaci logických myšlenek a pro formální vyjádření logických vztahů.

znát (jazyk)

Znát: poznat, umět či rozumět něčemu; mít určité znalosti nebo informace.

vysunout (jazyk)

Vysunout znamená vystavit, vyjmout nebo vytlačit ven z úst, například jazyk.

popálit si (jazyk)

Popálit si jazyk znamená pořádně ochutnat, ocenit a oslavit jídlo či nápoj.

řád (logický)

Řád (logický) je pořadí, ve kterém je třeba provádět určité činnosti nebo vytvářet určité struktury.

logický

Logický znamená v souladu s zákonitostmi logiky, uvažováním nebo argumentováním.

jazyk

Jazyk je systém slov a symbolů, který slouží k vyjádření myšlenek a sdělení.

šlapat si na jazyk

Šlapat si na jazyk znamená držet si svá slova, neříkat něco, co by toho druhého mohlo urazit nebo poškodit.

umět (jazyk)

Umět je schopnost pochopit a používat jazyk; komunikovat, vyslovovat slova, psát a číst.

vystrčit <na koho> jazyk

Říct/ukázat někomu svůj nesouhlas, vyjádřit svou nespokojenost.

výpočet (ceny)

Výpočet ceny je proces určování ceny produktu nebo služby na základě jejich nákladů, tržních podmínek a očekávaných zisků.

naučit se (jazyk)

Naučit se (jazyk) znamená získat schopnost mluvit, číst a psát v daném jazyce.

programovací jazyk

Programovací jazyk je forma jazyka používaná k psaní programů pro počítače.

logický výrok (A & B)

Logický výrok je logická konstrukce, která umožňuje srovnávat dvě nebo více myšlenek, které jsou buď pravdivé nebo nepravdivé. Například "A & B" znamená, že obě A a B jsou pravdivé.

popisující jazyk

Jazyk je systém symbolů a pravidel sloužících k vyjadřování myšlenek a sdělení.

vyvozovat (logicky)

Vyvozovat znamená dovozovat závěry z dříve poskytnutých informací logickým způsobem.