Logika
Bevezetés a klasszikus nullad- és elsőrendű logikába: formalizálás, igazságtáblázatok, bizonyítás analitikus fával.
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Vegyes gyűjtemény |
| Megjelent: |
2020-01
|
| Kulcsszavak: | logika |
| Tárgyszavak: | |
| Online Access: | http://eta.bibl.u-szeged.hu/2487 |
| Tartalmi kivonat: | Bevezetés a klasszikus nullad- és elsőrendű logikába: formalizálás, igazságtáblázatok, bizonyítás analitikus fával. Introduction to the classical propositional and first order logic: formalisation, truth tables, proof with truth trees. |
|---|