Hist�ria - Tud�snapt�r - Web dokumentumok

Hist�ria - Tud�snapt�r
Web dokumentumok Kattintson!

H K Sz Cs P Sz V

1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30

Előzetes Eml�keztető Javaslatok? Olvass el! NEW!

Skolem, Thoralf Albert

(1887-1963)
Norv�g matematikus

K�dek Tam�s: Indukt�v logikai programoz�s (Debreceni Egyetem elektronikus Arch�vum - PDF)
Skolem-norm�lforma (SNF) (Wikip�dia)
Matematikai logika t�rt�nete (Wikip�dia)
Thoralf Albert Skolem (The MacTutor History of Mathematics archive - angol)
L�wenheim-Skolem Theorem (Wolfram MathWorld - angol)
Skolem Function (Wolfram MathWorld - angol)
H. Oettel: Skolem, Albert Thoralf (Encyclopedia - angol)
Herman Ruge Jervell: Thoralf Skolem pioneer of computational logic (Nordic Journal of Philosophical logic - angol - PDF)
Jens Erik Fenstad: Thoralf Albert Skolem 1887-1963 - A biographical sketch (Nordic Journal of Philosophical logic - angol - PDF)
Hao Wang: Skolem and G�del (Nordic Journal of Philosophical logic - angol - PDF)
Grigori Mints: Thoralf Skolem and the epsilon substitution method for predicate logic (Nordic Journal of Philosophical logic - angol - PDF)
Thoralf Skolem (Wikipedia - angol)
Skolem-Noether theorem (Wikipedia - angol)
Mathematical logic (Wikipedia - angol)
L�wenheim-Skolem theorem (Wikipedia - angol)
Skolem's paradox (Wikipedia - angol)
Skolem normal form (Wikipedia - angol)
Skolem sequence (Wikipedia - angol)
Thoralf Albert Skolem (Answers.com - angol)


KFKI Home > Hist�ria - Tud�snapt�r	Copyright info