đề tài phương pháp nghiên cứu khoa học trong tin học

Không nhiều ngành khoa học tiếp cận được với quan ực mới và đối tượng nghiên cứu thế giới của ới quan ối quan hệ giữa ược với quanng nghiên c u th gi i c aứu, phát triển và công nghệ.. K

TRƯỜNG ĐẠI HỌC MALARDALEN KHOA KHOA HỌC MÁY TÍNH

BÀI THU HOẠCH MÔN HỌC

KỸ THUẬT PHẦN MỀM

Tên đề tài:

PHƯƠNG PHÁP NGHIÊN CỨU KHOA HỌC

TRONG TIN HỌC

Giảng viên hướng dẫn: Thái Thế Anh

Thời gian thực hiện: 10/2021 – 01/2021

Nhóm thực hiện:

Lâm Nguyễn Minh Thắng

TP HCM, Tháng 06 năm 2021

Tóm Tắt

Các Phương Pháp Khoa Học ng Pháp Khoa H c ọc

Gordana DODIG-CRNKOVIC

Khoa Khoa h c máy tính, Đ i h c Malardalenọc ại học Malardalen ọc

Vasteras, Th y Đi nụy Điển ển

Bài báo này phân tích nh ng khía c nh khoa h c c a KHMT Đ u tiên nó đ những khía cạnh khoa học của KHMT Đầu tiên nó định ại học Malardalen ọc ủa KHMT Đầu tiên nó định ầu tiên nó định ịnhnghĩa khoa h c và phọc ương Pháp Khoa Học ng pháp khoa h c nói chung Bàn v m i quan h gi aọc ề mối quan hệ giữa ối quan hệ giữa ệ giữa ững khía cạnh khoa học của KHMT Đầu tiên nó địnhkhoa h c, nghiên c u, phát tri n và công ngh ọc ứu, phát triển và công nghệ ển ệ giữa

Các lý thuy t hi n có v khoa h c (theo Poper, Carnap, Kuhn, Chalmers) có tínhệ giữa ề mối quan hệ giữa ọc

ch t nh m t lý tư ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ưởng Không nhiều ngành khoa học tiếp cận được với quanng Không nhi u ngành khoa h c ti p c n đề mối quan hệ giữa ọc ận được với quan ược với quanc v i quanới quan

ni m này Tri t h c v khoa h c (Lý thuy t v khoa h c) ngày nay không giúpệ giữa ọc ề mối quan hệ giữa ọc ề mối quan hệ giữa ọc

được với quanc gì nhi u khi c g ng phân tích ngành Khoa h c Máy tính.ề mối quan hệ giữa ối quan hệ giữa ắng phân tích ngành Khoa học Máy tính ọc

Khoa h c Máy tính là m t lĩnh v c m i và đ i tọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ực mới và đối tượng nghiên cứu (thế giới) của ới quan ối quan hệ giữa ược với quanng nghiên c u (th gi i) c aứu, phát triển và công nghệ ới quan ủa KHMT Đầu tiên nó định

nó là máy tính Máy tính là công c phát tri n không ng ng, là s hi n th c hóa ýụy Điển ển ừng, là sự hiện thực hóa ý ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ực mới và đối tượng nghiên cứu (thế giới) của

tưởng Không nhiều ngành khoa học tiếp cận được với quanng đ c g ng bi u di n c u trúc tri th c và thông tin v th gi i, bao g mển ối quan hệ giữa ắng phân tích ngành Khoa học Máy tính ển ễn cấu trúc tri thức và thông tin về thế giới, bao gồm ứu, phát triển và công nghệ ề mối quan hệ giữa ới quan ồmluôn chính b n thân máy tính Tuy nhiên có s khác bi t, Khoa h c Máy tính cóực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ọc

n n t ng c s c a nó là logic h c, toán h c, c nh ng phề mối quan hệ giữa ơng Pháp Khoa Học ởng Không nhiều ngành khoa học tiếp cận được với quan ủa KHMT Đầu tiên nó định ọc ọc ững khía cạnh khoa học của KHMT Đầu tiên nó định ương Pháp Khoa Học ng pháp nghiên c uứu, phát triển và công nghệ

lý thuy t và th c nghi m đ u đi theo nh ng chu n m c c a khoa h c c đi n.ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ề mối quan hệ giữa ững khía cạnh khoa học của KHMT Đầu tiên nó định ẩn mực của khoa học cổ điển ực mới và đối tượng nghiên cứu (thế giới) của ủa KHMT Đầu tiên nó định ọc ổ điển ển

Mô ph ng và mô hình hóa máy tính nh m t phư ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ương Pháp Khoa Học ng pháp c th cho ngành h c,ụy Điển ển ọc

sẽ phát tri n h n n a trong tển ơng Pháp Khoa Học ững khía cạnh khoa học của KHMT Đầu tiên nó định ương Pháp Khoa Học ng lai, không ch áp d ng cho máy tính mà cònỉ áp dụng cho máy tính mà còn ụy Điểncho nh ng ngành khoa h c khác cũng nh trong lĩnh v c thững khía cạnh khoa học của KHMT Đầu tiên nó định ọc ư ực mới và đối tượng nghiên cứu (thế giới) của ương Pháp Khoa Học ng m i và nghại học Malardalen ệ giữathu t.ận được với quan

MỤC LỤC

Tóm T tắng phân tích ngành Khoa học Máy tính i

L i Cám nời Cám Ơn Ơn iii

Danh m c hình minh h aụy Điển ọc .iv

Danh m c b ng bi uụy Điển ển v

M Đ uởng Không nhiều ngành khoa học tiếp cận được với quan ầu tiên nó định vi

1 Khoa h c là gìọc .1

1.1 Các ngành khoa h c kinh đi n (Classical Sciences)ọc ển 1

1.2 Các ngành khoa h c thu c v nhi u lĩnh v c khác nhauọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ề mối quan hệ giữa ề mối quan hệ giữa ực mới và đối tượng nghiên cứu (thế giới) của 3

2 Phương Pháp Khoa Học ng pháp khoa h cọc .3

3 Khoa h c, Nghiên c u, Công nghọc ứu, phát triển và công nghệ ệ giữa 7

3.1 Khoa h c c a Aristotle v i Công nghọc ủa KHMT Đầu tiên nó định ới quan ệ giữa 7

3.2 Khoa h c hi n đ i v i Công nghọc ệ giữa ại học Malardalen ới quan ệ giữa 7

4 Khoa h c Máy tính là gì?ọc .8

4.1 Các lĩnh v c con c a KHMTực mới và đối tượng nghiên cứu (thế giới) của ủa KHMT Đầu tiên nó định 10

5 Phương Pháp Khoa Học ng pháp khoa h c c a KHMTọc ủa KHMT Đầu tiên nó định 12

5.1 Mô hình hóa (modeling) 12

5.2 KHMT lý thuy t (Theoretical Computer Science) 14

5.3 KHMT th c nghi m (Experimental Computer Science)ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa 16

5.4 Mô ph ng máy tính 18

6 K t lu n v các phận được với quan ề mối quan hệ giữa ương Pháp Khoa Học ng pháp khoa h c c a KHMTọc ủa KHMT Đầu tiên nó định 21

7 Tham kh o 22

Lời Cám Ơn

Khoa h c Máy tính (KHMT) là m t lĩnh v c m i nh ng có đóng góp to l n vào xãọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ực mới và đối tượng nghiên cứu (thế giới) của ới quan ư ới quan

h i loài ngột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ười Cám Ơni KHMT v n trên con đẫn trên con đường phát triển, mang lại nhiều ứng dụng ười Cám Ơnng phát tri n, mang l i nhi u ng d ngển ại học Malardalen ề mối quan hệ giữa ứu, phát triển và công nghệ ụy Điển

hi u qu , đ ng th i ti p t c hoàn thi n các phệ giữa ồm ời Cám Ơn ụy Điển ệ giữa ương Pháp Khoa Học ng pháp lu n khoa h c c a nó.ận được với quan ọc ủa KHMT Đầu tiên nó địnhKHMT v n k th a nh ng phẫn trên con đường phát triển, mang lại nhiều ứng dụng ừng, là sự hiện thực hóa ý ững khía cạnh khoa học của KHMT Đầu tiên nó định ương Pháp Khoa Học ng pháp lu n t các ngành khoa h c kinh đi nận được với quan ừng, là sự hiện thực hóa ý ọc ểnhàng ngàn năm qua, mà n n t ng c a nó là Logic h c và Toán h c Tuy nhiên, nóề mối quan hệ giữa ủa KHMT Đầu tiên nó định ọc ọc

có ph i là ngành khoa h c nh bao ngành khoa h c t nhiên khác hay không? Làọc ư ọc ực mới và đối tượng nghiên cứu (thế giới) củakhoa h c th c nghi m hay khoa h c lý thuy t?ọc ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ọc

Theo Brooks (trong Allen Newell Award Lecture) nghi ng r ng th c t các hi nời Cám Ơn ằng thực tế các hiện ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa

tược với quanng/đ i tối quan hệ giữa ược với quanng được với quanc nghiên c u b i các nhà khoa h c máy tính là máy tính vàứu, phát triển và công nghệ ởng Không nhiều ngành khoa học tiếp cận được với quan ọc

chương Pháp Khoa Học ng trình là nh ng th do con ngững khía cạnh khoa học của KHMT Đầu tiên nó định ứu, phát triển và công nghệ ười Cám Ơn ại học Malardaleni t o ra, vì v y chúng ta có th k t lu nận được với quan ển ận được với quan

r ng KHMT không ph i là m t ngành khoa h c t nhiên theo nghĩa truy n th ngằng thực tế các hiện ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ọc ực mới và đối tượng nghiên cứu (thế giới) của ề mối quan hệ giữa ối quan hệ giữa

c a nó.ủa KHMT Đầu tiên nó định

V y thì ch đ chính c a KHMT không ph i là máy tính, mà là thông tin và cácận được với quan ủa KHMT Đầu tiên nó định ề mối quan hệ giữa ủa KHMT Đầu tiên nó định

sánh v i quá trình x lý thông tin trong t nhiên, ch ng h n nh h th n kinh,ới quan $ ực mới và đối tượng nghiên cứu (thế giới) của ẳng hạn như hệ thần kinh, ại học Malardalen ư ệ giữa ầu tiên nó địnhquá trình di truy n…ề mối quan hệ giữa

V n đ v n còn nhi u tranh cãi.ề mối quan hệ giữa ẫn trên con đường phát triển, mang lại nhiều ứng dụng ề mối quan hệ giữa

Trong quá trình tìm tài li u cho môn h c Phệ giữa ọc ương Pháp Khoa Học ng pháp nghiên c u khoa h cứu, phát triển và công nghệ ọc trong tin h c, tôi ti p c n v i hai bài báo khoa h c Scientific Methods inọc ận được với quan ới quan ọc Computer Science c a Gordana D.C thu c khoa Khoa h c máy tính, Đ i h của KHMT Đầu tiên nó định ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ọc ại học Malardalen ọc Malardalen, Th y Đi n Và Should Computer Scientists Experiment More? c aụy Điển ển ủa KHMT Đầu tiên nó địnhWalter F Tichy, Đ i h c Karlsruhe, Đ c Trong khuôn kh bài thu ho ch mônại học Malardalen ọc ứu, phát triển và công nghệ ổ điển ại học Malardalen

h c này, tôi xin đọc ược với quanc phép trình bày l i bài báo khoa h c c a Gordan v i s hi uại học Malardalen ọc ủa KHMT Đầu tiên nó định ới quan ực mới và đối tượng nghiên cứu (thế giới) của ển

bi t h n ch c a tôi, trong quá trình chuy n ng v n còn m t s thu t ngại học Malardalen ủa KHMT Đầu tiên nó định ển ững khía cạnh khoa học của KHMT Đầu tiên nó định ẫn trên con đường phát triển, mang lại nhiều ứng dụng ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ối quan hệ giữa ận được với quan ững khía cạnh khoa học của KHMT Đầu tiên nó định

ch a chu n xác.ư ẩn mực của khoa học cổ điển

Cu i cùng tôi xin c m n GS TSKH Hoàng Ki m, ngối quan hệ giữa ơng Pháp Khoa Học ười Cám Ơni đã hưới quanng d n chúng tôiẫn trên con đường phát triển, mang lại nhiều ứng dụngmôn h c này (và m t s môn nh ng năm đ i h c c a tôi), và các b n bè, đ ngọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ối quan hệ giữa ởng Không nhiều ngành khoa học tiếp cận được với quan ững khía cạnh khoa học của KHMT Đầu tiên nó định ại học Malardalen ọc ủa KHMT Đầu tiên nó định ại học Malardalen ồmnghi p v i nh ng trao đ i thú v và s giúp đ chân thành.ệ giữa ới quan ững khía cạnh khoa học của KHMT Đầu tiên nó định ổ điển ịnh ực mới và đối tượng nghiên cứu (thế giới) của ỡ chân thành

Danh mục hình minh họa

Hình 1: Các ngành khoa h c c b n.ọc ơng Pháp Khoa Học .1

Hình 2:S đ mô t tính ch t l p c a phơng Pháp Khoa Học ồm ặp của phương pháp giả thuyết-suy luận ủa KHMT Đầu tiên nó định ương Pháp Khoa Học ng pháp gi thuy t-suy lu nận được với quan 4

Hình 3: M i quan h gi a Khoa h c, Nghiên c u, Phát tri n và Công nghối quan hệ giữa ệ giữa ững khía cạnh khoa học của KHMT Đầu tiên nó định ọc ứu, phát triển và công nghệ ển ệ giữa 8

Hình 4: KHMT trong c u trúc c a lĩnh v c Đi n toánủa KHMT Đầu tiên nó định ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa 8

Hình 5: Mô hình hóa 12

Hình 6: Quan ni m 3 chi u trong thu t toán Heapsort [21]ệ giữa ề mối quan hệ giữa ận được với quan 15

Hình 7: Khoa h c Tính toánọc .18

Hình 8: Mô ph ng so sánh các bi n th mô hình v t ch t đen l nh N-body trongển ận được với quan ại học Malardalen v t lý thiên th ận được với quan ển 19

Danh mục bảng biểu

B ng 1: B ng minh h a các ngành khoa h c c b nọc ọc ơng Pháp Khoa Học .2

B ng 2: Các khác bi t tiêu chu n gi a khoa h c v i công nghệ giữa ẩn mực của khoa học cổ điển ững khía cạnh khoa học của KHMT Đầu tiên nó định ọc ới quan ệ giữa 7

B ng 3: Th gi i th c và mô hìnhới quan ực mới và đối tượng nghiên cứu (thế giới) của 13

Mở Đầu

Không rõ ràng nh tên g i, Khoa h c Máy tính không mang tiêu chu n “khoaư ọc ọc ẩn mực của khoa học cổ điển

h c” theo cách lý thuy t truy n th ng v khoa h c [3-6] đ nh nghĩa c m t này.ọc ề mối quan hệ giữa ối quan hệ giữa ề mối quan hệ giữa ọc ịnh ụy Điển ừng, là sự hiện thực hóa ýKhoa h c Máy tính (KHMT) là m t ngành h c tr kh i đ u t Toán h c và V t lýọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ọc ẻ khởi đầu từ Toán học và Vật lý ởng Không nhiều ngành khoa học tiếp cận được với quan ầu tiên nó định ừng, là sự hiện thực hóa ý ọc ận được với quan

h c, tọc ương Pháp Khoa Học ng t nh các ngành khoa h c c đi n khác, t t c đ u có ngu n g cực mới và đối tượng nghiên cứu (thế giới) của ư ọc ổ điển ển ề mối quan hệ giữa ồm ối quan hệ giữatrong tri t h c c a Hy L p c đ i.ọc ủa KHMT Đầu tiên nó định ại học Malardalen ổ điển ại học Malardalen

N i lên trong giai đo n hi n đ i (máy tính đi n t kỹ thu t s đ u tiên đổ điển ại học Malardalen ệ giữa ại học Malardalen ệ giữa $ ận được với quan ối quan hệ giữa ầu tiên nó định ược với quanc xây

d ng vào th p niên 1940), KHMT đã l y nh ng ngành khoa h c hi n có làm n nực mới và đối tượng nghiên cứu (thế giới) của ận được với quan ững khía cạnh khoa học của KHMT Đầu tiên nó định ọc ệ giữa ề mối quan hệ giữa

t ng, t o ra c s cho mình t nhi u môn h c khác [11], [14], [16] Do đó nghiênại học Malardalen ơng Pháp Khoa Học ởng Không nhiều ngành khoa học tiếp cận được với quan ừng, là sự hiện thực hóa ý ề mối quan hệ giữa ọc

c u KHMT đòi h i ph i s d ng ý tứu, phát triển và công nghệ $ ụy Điển ưởng Không nhiều ngành khoa học tiếp cận được với quanng t nhi u lĩnh v c KHMT k t h p c lýừng, là sự hiện thực hóa ý ề mối quan hệ giữa ực mới và đối tượng nghiên cứu (thế giới) của ợc với quanthuy t v i th c nghi m, tr u tới quan ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ừng, là sự hiện thực hóa ý ược với quanng (t ng quan) v i thi t k (chi ti t).ổ điển ới quan

S phát tri n mang tính l ch s d n đ n vi c bùng n nhi u ngành khoa h cực mới và đối tượng nghiên cứu (thế giới) của ển ịnh $ ẫn trên con đường phát triển, mang lại nhiều ứng dụng ệ giữa ổ điển ề mối quan hệ giữa ọc trao đ i thông tin nhi u và nhi u h n b i vì không ch phổ điển ề mối quan hệ giữa ề mối quan hệ giữa ơng Pháp Khoa Học ởng Không nhiều ngành khoa học tiếp cận được với quan ỉ áp dụng cho máy tính mà còn ương Pháp Khoa Học ng ti n truy nệ giữa ề mối quan hệ giữa

th ng tr nên r t thu n ti n và hi u qu , mà còn nhu c u đ nhìn nh n th gi iồm ởng Không nhiều ngành khoa học tiếp cận được với quan ận được với quan ệ giữa ệ giữa ầu tiên nó định ển ận được với quan ới quan

dưới quani góc đ t ng th ngày càng tăng, đó là cách gi n th hóa th gi i đang th ngột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ổ điển ển ển ới quan ối quan hệ giữa

tr m nh mẽ hi n nay ịnh ại học Malardalen ệ giữa

1 Khoa học là gì

“T ng th s v t nhi u h n t ng các ph n c a nó”ổ điển ển ực mới và đối tượng nghiên cứu (thế giới) của ận được với quan ề mối quan hệ giữa ơng Pháp Khoa Học ổ điển ầu tiên nó định ủa KHMT Đầu tiên nó định

Nói v “khoa h c” chúng ta thề mối quan hệ giữa ọc ười Cám Ơnng có nhi u đ nh nghĩa v các ngành khoa h cề mối quan hệ giữa ịnh ề mối quan hệ giữa ọc khác nhau Và gi a các ngành khoa h c này l i khác bi t nhau r t nhi u Đ những khía cạnh khoa học của KHMT Đầu tiên nó định ọc ại học Malardalen ệ giữa ề mối quan hệ giữa ịnhnghĩa v khoa h c không đ n gi n và do đó cũng không rõ ràng Xem thêm m tề mối quan hệ giữa ọc ơng Pháp Khoa Học ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

s phân lo i có th trong [1] và [2] Ví d , l ch s và ngôn ng h c thối quan hệ giữa ại học Malardalen ển ụy Điển ịnh $ ững khía cạnh khoa học của KHMT Đầu tiên nó định ọc ười Cám Ơnng làkhoa h c nh ng không ph i lúc nào cũng đọc ư ược với quanc x p lo i nh là các ngành khoaại học Malardalen ư

h c.ọc

1.1 Các ngành khoa học kinh điển (Classical Sciences)

Hình 1: Các ngành khoa h c c b n ọc cơ bản ơ bản ản.

Hình trên cho th y r ng khoa h c có các lĩnh v c phân bi t rõ ràng Logic và toánằng thực tế các hiện ọc ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa

h c (tr u tọc ừng, là sự hiện thực hóa ý ược với quanng nh t và đ ng th i là khoa h c chính xác nh t) là ph n quanồm ời Cám Ơn ọc ầu tiên nó định

tr ng nhi u ho c ít h n so v i các ngành khoa h c khác Nó r t c n thi t cho v tọc ề mối quan hệ giữa ặp của phương pháp giả thuyết-suy luận ơng Pháp Khoa Học ới quan ọc ầu tiên nó định ận được với quan

lý, ít quan tr ng h n đ i v i hóa h c và sinh h c Và ý nghĩa c a nó ti p t c gi mọc ơng Pháp Khoa Học ối quan hệ giữa ới quan ọc ọc ủa KHMT Đầu tiên nó định ụy Điển

so v i các lĩnh v c khác ngoài lới quan ực mới và đối tượng nghiên cứu (thế giới) của ược với quanc đ trên.ồm

Dĩ nhiên cho đ n ngày nay, cách lý lu n logic v n là n n t ng cho t t c tri th cận được với quan ẫn trên con đường phát triển, mang lại nhiều ứng dụng ề mối quan hệ giữa ứu, phát triển và công nghệ.nhân lo i trong m i lĩnh v c khoa h c cũng nh tri t h c.ại học Malardalen ọc ực mới và đối tượng nghiên cứu (thế giới) của ọc ư ọc

C u trúc c a Hình 1 cho ta th y s tủa KHMT Đầu tiên nó định ực mới và đối tượng nghiên cứu (thế giới) của ương Pháp Khoa Học ng t nh khi nhìn vào m t kính hi n vi.ực mới và đối tượng nghiên cứu (thế giới) của ư ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ển

V i đ phân gi i cao nh t chúng ta có th nhìn th u vào khu v c g n trung tâmới quan ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ển ực mới và đối tượng nghiên cứu (thế giới) của ầu tiên nó định

nh t Bên trong khu v c trung tâm logic h c không ch là công c đ a ra quy tực mới và đối tượng nghiên cứu (thế giới) của ọc ỉ áp dụng cho máy tính mà còn ụy Điển ư

đ nh, đôi lúc nó còn là đ i tịnh ối quan hệ giữa ược với quanng đ nghiên c u M c dù ph n l n các b ph nển ứu, phát triển và công nghệ ặp của phương pháp giả thuyết-suy luận ầu tiên nó định ới quan ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ận được với quan

c a toán h c có th gi m g n l i thành logic h c (theo Freg, Rusell vàủa KHMT Đầu tiên nó định ọc ển ọc ại học Malardalen ọc Whitehead), nh ng vi c rút g n hoàn toàn thành logic h c là đi u không th ư ệ giữa ọc ọc ề mối quan hệ giữa ểnTrong t ng bừng, là sự hiện thực hóa ý ưới quanc thu nh l i, các lĩnh v c bên trong đại học Malardalen ực mới và đối tượng nghiên cứu (thế giới) của ược với quanc xem nh là đi u ki nư ề mối quan hệ giữa ệ giữatiên quy t cho các lĩnh v c bên ngoài V t lý s d ng toán h c và logic h c nhực mới và đối tượng nghiên cứu (thế giới) của ận được với quan $ ụy Điển ọc ọc ư

là các công c mà không c n ph i bi t rõ v c u trúc bên trong toán h c hayụy Điển ầu tiên nó định ề mối quan hệ giữa ọc logic Nghĩa là các thông tin v c u trúc sâu bên trong toán h c và logic đề mối quan hệ giữa ọc ược với quanc che

gi u khi nhìn t bên ngoài Từng, là sự hiện thực hóa ý ương Pháp Khoa Học ng t nh v y, v t lý là đi u ki n tiên quy t (c nực mới và đối tượng nghiên cứu (thế giới) của ư ận được với quan ận được với quan ề mối quan hệ giữa ệ giữa ầu tiên nó địnhthi t) cho hóa h c và t i lọc ới quan ược với quant hóa h c đọc ược với quanc che gi u bên trong lĩnh v c sinhực mới và đối tượng nghiên cứu (thế giới) của

h c…ọc

Ý tưởng Không nhiều ngành khoa học tiếp cận được với quanng c b n trên Hình 1 là trình bày m t cách gi n lơng Pháp Khoa Học ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ược với quanc m i liên h gi a baối quan hệ giữa ệ giữa ững khía cạnh khoa học của KHMT Đầu tiên nó địnhnhóm ngành khoa h c (Logic & Toán h c, Khoa h c T nhiên và Khoa h c Xãọc ọc ọc ực mới và đối tượng nghiên cứu (thế giới) của ọc

h i) cũng nh k t n i v i các h th ng t tột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ư ối quan hệ giữa ới quan ệ giữa ối quan hệ giữa ư ưởng Không nhiều ngành khoa học tiếp cận được với quanng c a nhân lo i.ủa KHMT Đầu tiên nó định ại học Malardalen

Cu i cùng toàn b h th ng lý lu n, khoa h c và tri th c c a nhân lo i đối quan hệ giữa ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ệ giữa ối quan hệ giữa ận được với quan ọc ứu, phát triển và công nghệ ủa KHMT Đầu tiên nó định ại học Malardalen ược với quanc

B ng ản 1: B ng minh h a các ngành khoa h c c b n ản ọc cơ bản ọc cơ bản ơ bản ản.

KHOA H C ỌC Đ I T ỐI TƯỢNG ƯỢNG NG PH ƯƠNG PHÁP THỐNG TRỊ NG PHÁP TH NG TR ỐI TƯỢNG Ị

Đ n gi n ơng Pháp Khoa Học Gi n hóa lu n (phân tích) ận được với quan

Logic & Toán h c ọc Các đ i t ối quan hệ giữa ược với quan ng tr u t ừng, là sự hiện thực hóa ý ược với quan ng: m nh ệ giữa

đ , s … ề mối quan hệ giữa ối quan hệ giữa Suy lu n (Deduction)ận được với quan

Khoa h c T nhiên ọc ự nhiên Các đ i t ối quan hệ giữa ược với quan ng t nhiên: các c u ực mới và đối tượng nghiên cứu (thế giới) của

trúc v t lý, tr ận được với quan ười Cám Ơn ng & t ương Pháp Khoa Học ng tác, các

c th s ng… ơng Pháp Khoa Học ển ối quan hệ giữa

Ph ương Pháp Khoa Học ng pháp gi thuy t-suy lu n ận được với quan (Hypothetico-deductive method)

Khoa h c Xã h i ọc ội Các đ i t ối quan hệ giữa ược với quan ng xã h i: cá nhân con ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

ng ười Cám Ơn i, nhóm, xã h i… ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan Ph(Hypothetico-deductive method) +ương Pháp Khoa Học ng pháp gi thuy t-suy lu nận được với quan

chú thích, gi i thích (Hermeneutics)

Nhân văn Các đ i t ối quan hệ giữa ược với quan ng văn hóa: ý t ưởng Không nhiều ngành khoa học tiếp cận được với quan ng c a ủa KHMT Đầu tiên nó định

con ng ười Cám Ơn i, hành đ ng và m i quan ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ối quan hệ giữa

h , ngôn ng , nh ng t o tác c a ệ giữa ững khía cạnh khoa học của KHMT Đầu tiên nó định ững khía cạnh khoa học của KHMT Đầu tiên nó định ại học Malardalen ủa KHMT Đầu tiên nó định nhân lo i… ại học Malardalen

Chú thích, gi i thích (Hermeneutics)

Ph c t p ứu, phát triển và công nghệ ại học Malardalen Chính th ển lu n, t ng h p ận được với quan ổ điển ợc với quan

(Synthesis)

1.2 Các ngành khoa học thuộc về nhiều lĩnh vực khác nhau

S phát tri n c a t tực mới và đối tượng nghiên cứu (thế giới) của ển ủa KHMT Đầu tiên nó định ư ưởng Không nhiều ngành khoa học tiếp cận được với quanng con người Cám Ơni song song v i s phát tri n c a xã h i loàiới quan ực mới và đối tượng nghiên cứu (thế giới) của ển ủa KHMT Đầu tiên nó định ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

người Cám Ơni đã d n đ n s xu t hi n các ngành khoa h c m i không thu c vào b t kỳẫn trên con đường phát triển, mang lại nhiều ứng dụng ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ọc ới quan ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

m t trong nh ng ngành kinh đi n trên, mà nó là các ph n chung chia s gi a cácột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ững khía cạnh khoa học của KHMT Đầu tiên nó định ển ầu tiên nó định ẻ khởi đầu từ Toán học và Vật lý ững khía cạnh khoa học của KHMT Đầu tiên nó định

Nhi u ngành khoa h c hi n đ i là các liên ngành, hay thu c lo i “chi t trung”.ề mối quan hệ giữa ọc ệ giữa ại học Malardalen ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ại học Malardalen

Đó là m t xu hột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ưới quanng cho các ngành khoa h c m i đ tìm ki m các phọc ới quan ển ương Pháp Khoa Học ng phápnghiên c u c a riêng nó và th m chí các v n đ trong nh ng lĩnh v c r ng l n.ứu, phát triển và công nghệ ủa KHMT Đầu tiên nó định ận được với quan ề mối quan hệ giữa ững khía cạnh khoa học của KHMT Đầu tiên nó định ực mới và đối tượng nghiên cứu (thế giới) của ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ới quanNgày nay, nó có th đển ược với quanc xem nh là m t k t qu c a vi c giao ti p xuyên quaư ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ủa KHMT Đầu tiên nó định ệ giữabiên gi i các lĩnh v c khoa h c khác nhau d dàng h n và m nh mẽ h n trới quan ực mới và đối tượng nghiên cứu (thế giới) của ọc ễn cấu trúc tri thức và thông tin về thế giới, bao gồm ơng Pháp Khoa Học ại học Malardalen ơng Pháp Khoa Học ưới quanc.KHMT là ví d bao g m lĩnh v c Trí tu nhân t o có ngu n g c t logic toán h cụy Điển ồm ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ại học Malardalen ồm ối quan hệ giữa ừng, là sự hiện thực hóa ý ọc

và toán h c nh ng dùng v t lý, hóa h c và sinh h c và th m chí có nh ng ph nọc ư ận được với quan ọc ọc ận được với quan ững khía cạnh khoa học của KHMT Đầu tiên nó định ầu tiên nó định

mà đó y h c và tâm lý h c r t quan tr ng.ởng Không nhiều ngành khoa học tiếp cận được với quan ọc ọc ọc

đây chúng ta có th tìm th y m t ti m năng c a th gi i quan t ng th m i) ển ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ề mối quan hệ giữa ủa KHMT Đầu tiên nó định ới quan ổ điển ển ới quan

tr i d y trong tỗi dậy trong tương lai ận được với quan ương Pháp Khoa Học ng lai

2 Phương pháp khoa học

Phương Pháp Khoa Học ng pháp khoa h c là h th ng các nguyên t c logic đọc ệ giữa ối quan hệ giữa ắng phân tích ngành Khoa học Máy tính ược với quanc các nhà khoa h cọc

s d ng đ tìm ki m các câu tr l i cho nh ng th c m c, câu h i đ$ ụy Điển ển ời Cám Ơn ững khía cạnh khoa học của KHMT Đầu tiên nó định ắng phân tích ngành Khoa học Máy tính ắng phân tích ngành Khoa học Máy tính ược với quanc đ t raặp của phương pháp giả thuyết-suy luậntrong khoa h c Phọc ương Pháp Khoa Học ng pháp khoa h c đọc ược với quanc dùng đ s n sinh ra nh ng lýển ững khía cạnh khoa học của KHMT Đầu tiên nó định

thuy t v các lý thuy t), cũng nh các lý thuy t đề mối quan hệ giữa ư ược với quanc dùng đ thi t k ra cácểncông c đ s n sinh các lý thuy t (các d ng c , phụy Điển ển ụy Điển ụy Điển ương Pháp Khoa Học ng ti n, các thu t toán…).ệ giữa ận được với quan

Đ n gi n trông gi ng hình sau (Hình 2)ơng Pháp Khoa Học ối quan hệ giữa

Hình 2:S đ mô t tính ch t l p c a ph ơ bản ồ mô tả tính chất lặp của phương pháp giả thuyết-suy luận ản ất lặp của phương pháp giả thuyết-suy luận ặp của phương pháp giả thuyết-suy luận ủa phương pháp giả thuyết-suy luận ươ bản ng pháp gi thuy t-suy lu n ản ết-suy luận ận

(hypothetico-deductive method)

1 Đ t ra các câu h i trong b i c nh c a tri th c hi n t i (lý thuy t & quanặp của phương pháp giả thuyết-suy luận ối quan hệ giữa ủa KHMT Đầu tiên nó định ứu, phát triển và công nghệ ệ giữa ại học Malardalensát) Nó có th là m t câu h i m i mà các lý thuy t cũ có kh năng tr l iển ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ới quan ời Cám Ơn(thười Cám Ơnng là trười Cám Ơnng h p này), hay câu h i m i c n kêu g i đ xây d ng m tợc với quan ới quan ầu tiên nó định ọc ển ực mới và đối tượng nghiên cứu (thế giới) của ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

lý thuy t m i.ới quan

2 Xây d ng m t gi thuy t nh là câu tr l i d ki n ực mới và đối tượng nghiên cứu (thế giới) của ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ư ời Cám Ơn ực mới và đối tượng nghiên cứu (thế giới) của

3 Suy ra các h qu và đ a ra các d đoán.ệ giữa ư ực mới và đối tượng nghiên cứu (thế giới) của

4 Ki m tra gi thuy t trong m t lĩnh v c lý thuy t/ th c nghi m c th ển ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ực mới và đối tượng nghiên cứu (thế giới) của ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ụy Điển ển

Gi thuy t m i ph i ch ng minh đ phù h p v i th gi i quan hi n có (1,ới quan ứu, phát triển và công nghệ ển ợc với quan ới quan ới quan ệ giữa

“khoa h c chu n đ nh ” normal science, theo Kunt) Trong trọc ẩn mực của khoa học cổ điển ịnh ười Cám Ơnng h p giợc với quanthuy t d n đ n s mâu thu n và yêu c u c n thay đ i căn b n trên n nẫn trên con đường phát triển, mang lại nhiều ứng dụng ực mới và đối tượng nghiên cứu (thế giới) của ẩn mực của khoa học cổ điển ầu tiên nó định ầu tiên nó định ổ điển ề mối quan hệ giữa

t ng lý thuy t hi n có, nó ph i đệ giữa ược với quanc ki m tra, th nghi m h t s c c nển $ ệ giữa ứu, phát triển và công nghệ ẩn mực của khoa học cổ điển

tr ng Gi thuy t m i đã đọc ới quan ược với quanc ch ng minh hi u qu và cung c p u đi mứu, phát triển và công nghệ ệ giữa ư ển

to l n, đ thay th mô hình khoa h c hi n t i Đi u này đới quan ển ọc ệ giữa ại học Malardalen ề mối quan hệ giữa ược với quanc g i là “cu cọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

đ nh, vòng l p 2-3-4 định ặp của phương pháp giả thuyết-suy luận ược với quan ặp của phương pháp giả thuyết-suy luận ại học Malardalen ới quanc l p l i v i vi c hi u ch nh gi thuy t cho đ nệ giữa ệ giữa ỉ áp dụng cho máy tính mà còn

khi đ t đại học Malardalen ược với quanc k t qu hài lòng, d n đ n bẫn trên con đường phát triển, mang lại nhiều ứng dụng ưới quanc 5 N u tìm th y s khôngực mới và đối tượng nghiên cứu (thế giới) của

nh t quán thì quá trình ph i b t đ u l i t bắng phân tích ngành Khoa học Máy tính ầu tiên nó định ại học Malardalen ừng, là sự hiện thực hóa ý ưới quanc 1

5 Khi đ t đại học Malardalen ược với quan ực mới và đối tượng nghiên cứu (thế giới) củac s nh t quán thì gi thuy t tr thành lý thuy t và nó cungởng Không nhiều ngành khoa học tiếp cận được với quan

c p m t t p h p các m nh đ m ch l c đ đ nh nghĩa m t l p hi nột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ận được với quan ợc với quan ệ giữa ề mối quan hệ giữa ại học Malardalen ại học Malardalen ển ịnh ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ới quan ệ giữa

tược với quanng m i hay m t khái ni m lý thuy t m i K t qu ph i đới quan ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ệ giữa ới quan ược với quanc công b ối quan hệ giữa

Lý thuy t giai đo n này là đ i tởng Không nhiều ngành khoa học tiếp cận được với quan ại học Malardalen ối quan hệ giữa ược với quanng c a quá trình “ch n l c t nhiên”ủa KHMT Đầu tiên nó định ọc ọc ực mới và đối tượng nghiên cứu (thế giới) của

gi a các lý thuy t đang c nh tranh (6) Sau đó m t lý thuy t sẽ tr thànhững khía cạnh khoa học của KHMT Đầu tiên nó định ại học Malardalen ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ởng Không nhiều ngành khoa học tiếp cận được với quankhuôn m u đ gi i thích các s ki n lý thuy t hay các quan sát và đ a raẫn trên con đường phát triển, mang lại nhiều ứng dụng ển ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ưcác d đoán Quá trình l i kh i đ u t s b t đ u bực mới và đối tượng nghiên cứu (thế giới) của ại học Malardalen ởng Không nhiều ngành khoa học tiếp cận được với quan ầu tiên nó định ừng, là sự hiện thực hóa ý ực mới và đối tượng nghiên cứu (thế giới) của ắng phân tích ngành Khoa học Máy tính ầu tiên nó định ởng Không nhiều ngành khoa học tiếp cận được với quan ưới quanc 1, được với quanc thay đ iổ điển

đ bao g m luôn lý thuy t m i hay c i ti n lý thuy t cũ.ển ồm ới quan

Hình 2 mô t r t t ng quát c u trúc logic c a phổ điển ủa KHMT Đầu tiên nó định ương Pháp Khoa Học ng pháp khoa h c đọc ược với quanc s$

d ng đ phát tri n lý thuy t m i Theo nh l u đ này cho th y, khoa h c luônụy Điển ển ển ới quan ư ư ồm ọc trong m t tr ng thái thay đ i và phát tri n thột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ại học Malardalen ổ điển ển ười Cám Ơnng xuyên

M t trong nh ng tính ch t quan tr ng nh t c a khoa h c là tính “t m th i” c aột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ững khía cạnh khoa học của KHMT Đầu tiên nó định ọc ủa KHMT Đầu tiên nó định ọc ại học Malardalen ời Cám Ơn ủa KHMT Đầu tiên nó địnhnó; nó b t bu c ph i liên t c ki m tra l i (re-examination) và t hi u ch nhắng phân tích ngành Khoa học Máy tính ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ụy Điển ển ại học Malardalen ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ỉ áp dụng cho máy tính mà còn(self-correction)

Đi u quan tr ng đ hi u r ng logic c a khoa h c là s đ quy (recursive).ề mối quan hệ giữa ọc ển ển ằng thực tế các hiện ủa KHMT Đầu tiên nó định ọc ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa

Trưới quanc khi m i quan sát/ th nghi m/ ki m tra v m t lý thuy t, có m t giỗi dậy trong tương lai $ ệ giữa ển ề mối quan hệ giữa ặp của phương pháp giả thuyết-suy luận ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quanthuy t (2) mà gi thuy t này b t ngu n t b n thân tri th c hi n đang có (1).ắng phân tích ngành Khoa học Máy tính ồm ừng, là sự hiện thực hóa ý ứu, phát triển và công nghệ ệ giữa

T t c các k t qu quan sát/ th nghi m đ u có m t th gi i quan nào đó bên$ ệ giữa ề mối quan hệ giữa ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ới quantrong nó Hay, nói theo Feyerabend, t t c các d li u th nghi m là “lý thuy t-ững khía cạnh khoa học của KHMT Đầu tiên nó định ệ giữa $ ệ giữa

V n đ cũng khá thú v đây là vi c thi t k các th t c hay công c th cề mối quan hệ giữa ịnh ởng Không nhiều ngành khoa học tiếp cận được với quan ệ giữa ủa KHMT Đầu tiên nó định ụy Điển ụy Điển ực mới và đối tượng nghiên cứu (thế giới) củanghi m phù h p v i lệ giữa ợc với quan ới quan ược với quanc đ (Hình 2):ồm

(1) B t đ u t khuôn m u th c nghi m/lý thuy t hi n có; (2) Xây d ng giắng phân tích ngành Khoa học Máy tính ầu tiên nó định ừng, là sự hiện thực hóa ý ẫn trên con đường phát triển, mang lại nhiều ứng dụng ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ệ giữa ực mới và đối tượng nghiên cứu (thế giới) của

mu n; (5-6) Ch p nh n.ối quan hệ giữa ận được với quan

Không có nghi ng nào v s đ phời Cám Ơn ề mối quan hệ giữa ơng Pháp Khoa Học ồm ương Pháp Khoa Học ng pháp khoa h c trong hình 2, nó đã đọc ược với quanclàm cho đ n gi n và tr u tơng Pháp Khoa Học ừng, là sự hiện thực hóa ý ược với quanng Nh ng ngững khía cạnh khoa học của KHMT Đầu tiên nó định ười Cám Ơni ch trích v phỉ áp dụng cho máy tính mà còn ề mối quan hệ giữa ương Pháp Khoa Học ng pháp githuy t-suy lu n (hypothetico-deductive method) cho r ng trong th c t khôngận được với quan ằng thực tế các hiện ực mới và đối tượng nghiên cứu (thế giới) của

có cái g i là “phọc ương Pháp Khoa Học ng pháp khoa h c” B i vì thu t ng “phọc ởng Không nhiều ngành khoa học tiếp cận được với quan ận được với quan ững khía cạnh khoa học của KHMT Đầu tiên nó định ương Pháp Khoa Học ng pháp khoa h c”ọc

th c s c có nghĩa là t p h p các quy t c c th đ xác đ nh làm th nào đ t raực mới và đối tượng nghiên cứu (thế giới) của ực mới và đối tượng nghiên cứu (thế giới) của ận được với quan ợc với quan ắng phân tích ngành Khoa học Máy tính ụy Điển ển ển ịnh ặp của phương pháp giả thuyết-suy luậncác v n đ m i thích h p và trình bày các gi thuy t thành công Th t ra, khôngề mối quan hệ giữa ới quan ợc với quan ận được với quan

th t n t i m t công th c kỳ di u nh v y.ển ồm ại học Malardalen ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ứu, phát triển và công nghệ ệ giữa ư ận được với quan

L i th quan tr ng c a phợc với quan ọc ủa KHMT Đầu tiên nó định ương Pháp Khoa Học ng pháp khoa h c là tính vô t (không thiên v ),ọc ư ịnhchúng ta không c n ph i tin vào m t nhà nghiên c u nào đó, v nguyên t cầu tiên nó định ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ứu, phát triển và công nghệ ề mối quan hệ giữa ắng phân tích ngành Khoa học Máy tính.chúng ta có th l p l i các th nghi m và xác đ nh k t qu ch c ch n có đúngển ặp của phương pháp giả thuyết-suy luận ại học Malardalen $ ệ giữa ịnh ắng phân tích ngành Khoa học Máy tính ắng phân tích ngành Khoa học Máy tính.hay không V n đ không thiên v c a khoa h c có liên quan ch t chẽ đ n tínhề mối quan hệ giữa ịnh ủa KHMT Đầu tiên nó định ọc ặp của phương pháp giả thuyết-suy luận

m và tính ph quát c a khoa h c, đó là ph m ch t n n t ng c a khoa h c M tởng Không nhiều ngành khoa học tiếp cận được với quan ổ điển ủa KHMT Đầu tiên nó định ọc ẩn mực của khoa học cổ điển ề mối quan hệ giữa ủa KHMT Đầu tiên nó định ọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

lý thuy t được với quanc ch p nh n trận được với quan ưới quanc tiên d a trên k t qu thu đực mới và đối tượng nghiên cứu (thế giới) của ược với quanc thông qua quátrình suy lu n logic, quan sát th c t và/ hay th c nghi m Các k t qu đ t đận được với quan ực mới và đối tượng nghiên cứu (thế giới) của ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ại học Malardalen ược với quanc

b ng phằng thực tế các hiện ương Pháp Khoa Học ng pháp khoa h c ph i đọc ược với quanc tái s n xu t (reproducible) N u như

nh ng công b khoa h c ban đ u không đững khía cạnh khoa học của KHMT Đầu tiên nó định ối quan hệ giữa ọc ầu tiên nó định ược với quanc xác minh ki m tra, thì các nguyênểnnhân c a s khác bi t ph i đủa KHMT Đầu tiên nó định ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ược với quanc nghiên c u th u đáo tri t đ ứu, phát triển và công nghệ ệ giữa ển

T t c các chân lý khoa h c là t m th i Nh ng m t gi thuy t đ đọc ại học Malardalen ời Cám Ơn ư ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ển ược với quanc coi là lýthuy t c n thi t ph i giành đầu tiên nó định ược với quan ực mới và đối tượng nghiên cứu (thế giới) củac s tin c y c a c ng đ ng khoa h c Trong m tận được với quan ủa KHMT Đầu tiên nó định ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ồm ọc ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

s lĩnh v c không có các lý thuy t đối quan hệ giữa ực mới và đối tượng nghiên cứu (thế giới) của ược với quanc ch p nh n r ng rãi (ch ng h n nh cácận được với quan ỗi dậy trong tương lai ẳng hạn như hệ thần kinh, ại học Malardalen ư

gi i thích v quá trình hình thành c a vũ tr - trong đó thuy t “big bang” là m tề mối quan hệ giữa ủa KHMT Đầu tiên nó định ụy Điển ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan

ví d ph bi n) s lụy Điển ổ điển ối quan hệ giữa ược với quanng các lý thuy t thay th khác (ngoài thuy t big bang, còncác lý thuy t khác gi i thích v s hình thành vũ tr ) có th t o thành b ph nề mối quan hệ giữa ực mới và đối tượng nghiên cứu (thế giới) của ụy Điển ển ại học Malardalen ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ận được với quan

c a tri th c khoa h c.ủa KHMT Đầu tiên nó định ứu, phát triển và công nghệ ọc

3 Khoa học, Nghiên cứu, Công nghệ

Trong m t nh n xét n i ti ng c a mình v khoa h c và công ngh , Aristotle đãột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ận được với quan ổ điển ủa KHMT Đầu tiên nó định ề mối quan hệ giữa ọc ệ giữaxác đ nh m t s đi m khác bi t quan tr ng v n định ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ối quan hệ giữa ển ệ giữa ọc ẫn trên con đường phát triển, mang lại nhiều ứng dụng ược với quanc trích d n thẫn trên con đường phát triển, mang lại nhiều ứng dụng ười Cám Ơnng xuyên và

th m chí còn dùng đ phân tích khoa h c hi n đ i và công ngh ận được với quan ển ọc ệ giữa ại học Malardalen ệ giữa

Theo Aristotle, có s khác bi t quan tr ng gi a khoa h c (episteme) và côngực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ọc ững khía cạnh khoa học của KHMT Đầu tiên nó định ọc ngh (techne) trong các đ i tệ giữa ối quan hệ giữa ược với quanng nghiên c u, các nguyên t c thay đ i, s k tứu, phát triển và công nghệ ắng phân tích ngành Khoa học Máy tính ổ điển ực mới và đối tượng nghiên cứu (thế giới) củathúc, các m c tiêu và ho t đ ng c a nó G n đây các đi m khác bi t này có thêmụy Điển ại học Malardalen ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ủa KHMT Đầu tiên nó định ầu tiên nó định ển ệ giữacác phương Pháp Khoa Học ng pháp, hình th c sáng t o, lo i k t qu , và ti n đ th i gian.ứu, phát triển và công nghệ ại học Malardalen ại học Malardalen ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ời Cám Ơn

3.1 Khoa học của Aristotle với Công nghệ

B ng ản 2: Các khác bi t tiêu chu n gi a khoa h c v i công ngh ệt tiêu chuẩn giữa khoa học với công nghệ ẩn giữa khoa học với công nghệ ữa khoa học với công nghệ ọc cơ bản ới công nghệ ệt tiêu chuẩn giữa khoa học với công nghệ

Khoa h c ọc Công nghệ

Đ i t ối tượng ượng ng Không thay đ i ổ điển Thay đ i ổ điển.

Nguyên t c chuy n đ ng ắc chuyển động ển động ội Bên trong Bên ngoài

K t thúc (tr thành) ết thúc (trở thành) ở thành) Hi u bi t chung ển Hi u bi t c th ển ụy Điển ển

Ho t đ ng ạt động ội Theoria: k t thúc t nó ực mới và đối tượng nghiên cứu (thế giới) của Poiesis: k t thúc b ng cái gì đó ằng thực tế các hiện

Ph ương pháp ng pháp Tr u t ừng, là sự hiện thực hóa ý ược với quan ng Mô hình c th (ph c t p) ụy Điển ển ứu, phát triển và công nghệ ại học Malardalen

Quy trình Quan ni m hóa ệ giữa T i u hóa ối quan hệ giữa ư

Hình th c sáng t o ức sáng tạo ạt động Phát hi n ệ giữa Sáng ch

Lo i k t qu ạt động ết thúc (trở thành) ả Các phát bi u nh qui lu t ển ư ận được với quan Các phát bi u nh quy t c ển ư ắng phân tích ngành Khoa học Máy tính.

Ti n đ th i gian ết thúc (trở thành) ội ời gian Dài h n ại học Malardalen Ng n h n ắng phân tích ngành Khoa học Máy tính ại học Malardalen

3.2 Khoa học hiện đại với Công nghệ

Các phân bi t truy n th ng mang tính nh nguyên r ch ròi gi a khoa h c vàệ giữa ề mối quan hệ giữa ối quan hệ giữa ịnh ại học Malardalen ững khía cạnh khoa học của KHMT Đầu tiên nó định ọc công ngh có v nh th t b i khi mang áp d ng vào khoa h c hi n đ i, b i vì cácệ giữa ẻ khởi đầu từ Toán học và Vật lý ư ại học Malardalen ụy Điển ọc ệ giữa ại học Malardalen ởng Không nhiều ngành khoa học tiếp cận được với quankhái ni m c b n c a khoa h c đã l i th i Khoa h c ngày nay ph c t p vàệ giữa ơng Pháp Khoa Học ủa KHMT Đầu tiên nó định ọc ỗi dậy trong tương lai ời Cám Ơn ọc ứu, phát triển và công nghệ ại học Malardalenkhông đ ng nh t h n nhi u so v i khoa h c th i c a Aristotle (các quan hồm ơng Pháp Khoa Học ề mối quan hệ giữa ới quan ọc ời Cám Ơn ủa KHMT Đầu tiên nó định ệ giữa

được với quanc mô t trong Hình 3), th c t là các lý thuy t hi n đ i v khoa h c ph iực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ại học Malardalen ề mối quan hệ giữa ọc

được với quanc xem xét tính đ n

Đó là lý do t i sao tri t h c v khoa h c là c n thi t đ hi u bi t sâu s c h n,ại học Malardalen ọc ề mối quan hệ giữa ọc ầu tiên nó định ển ển ắng phân tích ngành Khoa học Máy tính ơng Pháp Khoa Học

th c t h n v khoa h c hi n đ i Th i gian đã chín mu i cho s thay đ i v môực mới và đối tượng nghiên cứu (thế giới) của ơng Pháp Khoa Học ề mối quan hệ giữa ọc ệ giữa ại học Malardalen ời Cám Ơn ồm ực mới và đối tượng nghiên cứu (thế giới) của ổ điển ề mối quan hệ giữahình trong tri t h c c a khoa h c.ọc ủa KHMT Đầu tiên nó định ọc

Hình 3: M i quan h gi a Khoa h c, Nghiên c u, Phát tri n và Công ngh ối quan hệ giữa Khoa học, Nghiên cứu, Phát triển và Công nghệ ệt tiêu chuẩn giữa khoa học với công nghệ ữa khoa học với công nghệ ọc cơ bản ứu, Phát triển và Công nghệ ển và Công nghệ ệt tiêu chuẩn giữa khoa học với công nghệ

4 Khoa học Máy tính là gì?

Theo quan đi m hi n nay, KHMT có th n m trong m t b i c nh r ng h n c aển ệ giữa ển ằng thực tế các hiện ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ối quan hệ giữa ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ơng Pháp Khoa Học ủa KHMT Đầu tiên nó định

Hình 4: KHMT trong c u trúc c a lĩnh v c Đi n toán ất lặp của phương pháp giả thuyết-suy luận ủa phương pháp giả thuyết-suy luận ực Điện toán ệt tiêu chuẩn giữa khoa học với công nghệ

Nh v y lĩnh v c Đi n toán bao g m các ngành KHMT, Kỹ thu t Máy tính, Kỹư ận được với quan ực mới và đối tượng nghiên cứu (thế giới) của ệ giữa ồm ận được với quanthu t Ph n m m và H th ng Thông tin Dận được với quan ầu tiên nó định ề mối quan hệ giữa ệ giữa ối quan hệ giữa ưới quani đây là m t s đ nh nghĩa.ột lý tưởng Không nhiều ngành khoa học tiếp cận được với quan ối quan hệ giữa ịnh