História - Tudósnaptár
Web dokumentumok
2024
2023
2022
2021
2020
2019
Január
Február
Március
Április
Május
Június
Július
Augusztus
Szeptember
Október
November
December
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
31
Előzetes
Emlékeztető
Javaslatok?
Olvass el!
A,Á
B
C
CS
D
E,É
F
G
GY
H
I,Í
J
K
L
M
N
O,Ó
Ö,Ő
P
Q
R
S
SZ
T
U,Ú
V
W
X
Y
Z
ZS
^
Név:
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)
Skolem, Thoralf rövid életrajza
KFKI Home
>
História - Tudósnaptár
Copyright info