Matematika

neorientovaný souvislý graf

počet všech hran incidentních s tímto uzlem

subdeterminant r-tého stupně, determinant vytvořený z daného determinantu n-tého stupně

logika, subduktivní závěr

matice vytvořená z dané matice vynecháním některých sloupců a řádků

matematika, zavedení jiných proměnných do matematického výrazu

logika, nahrazení nějakého pojmu jiným pojmem

funkce reálné proměnné

zadní člen implikace „jestliže p, pak q“

funkce množiny na systému množin

logika, forma použití termínů ve výrocích

logika, důkaz v systémech přirozené dedukce

matematický vztah vystihující závislost dynamické viskozity na teplotě

algebra, neprázdná množina se dvěma binárními operacemi

matematika, svazek přímek, množina všech přímek v rovině procházejících jedním bodem