 |
system formalny
| Polskojezyczna Wikipedia - wolna encyklopedia | Download this dictionary |
System formalny
System formalny – w logice i matematyce język formuł (logiki) wraz ze zbiorem reguł wyprowadzania (wywodu) i zwykle zbiorem aksjomatów. Systemy formalne są tworzone i badane zarówno jako samodzielne abstrakcyjne twory, jak i systemy opisu rzeczywistości.
| W celu uzyskania więcej informacji, zobacz w Wikipedia.οrg... |
© W niniejszym artykule wykorzystano materialy z Wikipédia® i jest na licencji GNU Free Documentation License, a na licencji licencji Commons Attribution-ShareAlike.
