A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Logistická metóda je v súčasnej matematike a logike prijatá metóda budovania formalizovaných systémov (formalizácia) alebo kalkulov (v logickej syntaxi sa používa termín "syntaktický systém"). Budovanie takýchto systémov sa uskutočňuje čisto formálne, ako akési konfigurácie znakov a ich postupností, a od zmyslu príslušných výrazov sa abstrahuje.
Logistická metóda predpokladá:
- zoznam prvotných (základných) symbolov systému
- určenie, ktoré postupnosti prvotnych symbolov tvoria správne zostrojené formuly systému (skrátene SZF) (prvé dva typy pravidiel sú pravidlá tvorenia)
- vyčlenenie axióm z množiny SZF
- určenie pravidiel odvodzovania (alebo transformačných pravidiel), podľa ktorých z príslušných SZF ako z premís sa bezprostredne odvodí niektorá SZF ako záver
Externé odkazy
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk