digilib@itb.ac.id +62 812 2508 8800

2009 DIS PP SYAFRIZAL SY 1-COVER.pdf


2009 DIS PP SYAFRIZAL SY 1-BAB 1.pdf

2009 DIS PP SYAFRIZAL SY 1-BAB 2.pdf

2009 DIS PP SYAFRIZAL SY 1-BAB 3.pdf

2009 DIS PP SYAFRIZAL SY 1-BAB 4.pdf

2009 DIS PP SYAFRIZAL SY 1-BAB 5.pdf

2009 DIS PP SYAFRIZAL SY 1-BAB 6.pdf

2009 DIS PP SYAFRIZAL SY 1-PUSTAKA.pdf

Pada tahun 1930, Ramsey mengemukakan suatu teori yang berkaitan dengan pencarian prosedur untuk menentukan benar-tidaknya suatu formula logika yang diberikan. Teori ini dikenal dengan Teori Ramsey. Kemudian, ErdAos dan Szekeres (1935) mengaplikasikan teori ini ke dalam teori graf. Teori Ramsey mempunyai banyak penerapan diantaranya pada bidang matematika, teori informasi, komputasi, dan ilmu ekonomi (Espino, 2004). Pada bidang matematika, di samping teori graf, teori Ramsey juga tumbuh dan berkembang diantaranya dalam teori bilangan, aljabar, geometri, topologi, analisis harmonik, ruang metrik, dan teori ergodik (Rosta, 2004).