Formalizm: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
forma |
drobne |
||
Linia 8:
* [[formalizm rosyjski]]
* [[formalizm dydaktyczny]]
* [[metody formalne]] - w informatyce, zastosowanie matematyki do budowy i weryfikacji programów komputerowych.
W języku naturalnym, termin ten może mieć zabarwienie pozytywne lub negatywne.
|