Postać normalna (matematyka): Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m kat. |
m Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne |
||
Linia 1:
'''Postać normalna''' ([[język angielski|ang.]] ''normal form'') to pewna szczególna postać wyrażenia, która jest w pewnym sensie "równoważna" każdemu wyrażeniu z pewnego zbioru wyrażeń. Od postaci systemu zależy, jaki to zbiór i jaki jest sens tej "równoważności". Wyrażenie może mieć jedną postać normalną lub nie mieć jej wcale.
== Systemy redukcji ==
W [[system redukcji|systemach redukcji]] postać normalna to wyrażenie, którego nie można zredukować.
Na przykład w systemie złożonym z liczb, znaku + oraz reguły redukcji pozwalającej zastąpić parę liczb po obu stronach znaku + ich sumą, postacią normalną jest pojedyncza liczba. Postacią normalną wyrażenia "1 + 2 + 3 + 4" jest "10". "10" jest też postacią normalną dla "7 + 3", "1 + 4 + 5" i wielu innych wyrażeń. Wszystkie wyrażenia, których postać normalna to "10", są w pewnym sensie równoważne.
W [[rachunek lambda|rachunku lambda]] postać normalna to lambda-wyrażenie, w którym niczego nie można [[redukcja beta|
== Wyrażenia logiczne ==
Dwie ważne postacie normalne występujące w [[logika matematyczna|logice matematycznej]] to [[koniunkcyjna postać normalna|koniunkcyjna postać normalna (CNF)]] oraz [[dysjunkcyjna postać normalna|dysjunkcyjna postać normalna (DNF)]].
== Zobacz też ==
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki|przegląd zagadnień z zakresu matematyki]],
* [[czołowa postać normalna|czołowa postać normalna (''head normal form'')]],
* [[słaba czołowa postać normalna|słaba czołowa postać normalna (''weak head normal form'')]].
[[Kategoria:Logika matematyczna]]
|