Indukcja strukturalna
Z Wikipedii
Indukcja strukturalna to dość powszechnie stosowany wariant indukcji matematycznej, w którym rozważa się pewien zbiór termów uporządkowany następującą relacją: jeden term jest mniejszy od drugiego wtedy i tylko wtedy, gdy jest jego podtermem.
Zasada indukcji strukturalnej głosi, co następuje. Jeśli udowodnimy, że pewną własność mają wszystkie termy atomowe (czyli takie, które nie zawierają żadnych właściwych podtermów) oraz że dla każdego n-arnego symbolu funkcyjnego f z tego, że własność tę mają termy 
, wynika, że ma ją również term 
, to mają ją wszystkie termy.
[edytuj] Zobacz też
| ONZ: Izrael najpierw ewakuował Palestyńczyków, a potem ich ostrzelał |
|
Przynajmniej 30 Palestyńczyków zginęło w Strefie Gazy w ostrzale domu, do którego zostali wcześniej ewakuowani przez izraelskich żołnierzy - wynika z raportu ONZ.
|
| "Nie myślałem, że minister się tak prostytuuje" |
|
Posłanka PiS Grażyna Gęsicka, wzywając rząd do odpowiedzialności za niewykorzystanie funduszy unijnych manipuluje opinią publiczną - ocenił w TVN24 poseł PO Janusz Palikot.
|
| Wypadek na drodze Wrocław-Legnica |
|
Jedna osoba została ranna w wyniku wypadku, do którego doszło w piątek wieczorem niedaleko miejscowości Mazurowice (Dolnośląskie). Droga krajowa nr 94 Wrocław - Legnica została całkowicie zablokowana.
|
| Omar Faris: Niech Izrael opuści nasze ziemie |
|
- Niech Izrael opuści nasze ziemie, a gwarantujemy, że ani jedna rakieta nie spadnie na ich ziemie - mówił przewodniczący Palestyńskiej Koalicji na rzecz Prawa do Powrotu Omar Faris, gość CZATerii w INTERIA.PL.
|
| Juszczenko: Konflikt gazowy był zaplanowany |
|
Ukraina pozwoli rosyjskim obserwatorom na wjazd na jej terytorium w celu nadzorowania tranzytu rosyjskiego gazu do Europy - poinformował prezydent Ukrainy Wiktor Juszczenko po spotkaniu z czeskim premierem Mirkiem Topolankiem w Kijowie.
|