Logik och mängdlära behandlas såsom grafteori, satslogik, sanningsvärden, mängder och mängdoperationer, samt funktioner och relationer.
Logic and set theory is covered as is graph theory, predicate calculus, truth tables, sets and set operators, functions and relations.ParaCrawl Corpus ParaCrawl Corpus