Câu lạc bộ Tin học dành cho học sinh Tiểu học

[༎ຶ‿༎ຶ 5/10 Nguyễn Hoàng Gia Phú]

Khoa học hình thức là một nhánh của khoa học, có mục đích nghiên cứu các ngành liên quan đến hệ thống hình thức, chẳng hạn như logic, toán học, thống kê, trí tuệ nhân tạo, lý thuyết thông tin,....Trong khi khoa học tự nhiên và khoa học xã hội tìm cách mô tả đặc tính của các hệ thống vật chất và hệ thống xã hội, bằng cách sử dụng các phương pháp thực nghiệm, thì khoa học hình thức là công cụ ngôn ngữ liên quan đến việc mô tả các cấu trúc trừu tượng được mô tả bởi các hệ thống hình thức. Các ngành khoa học hình thức hỗ trợ khoa học tự nhiên và khoa học xã hội bằng cách cung cấp thông tin về các cấu trúc được sử dụng để mô tả thế giới vật chất và những suy luận có thể được thực hiện về chúng.[<em><a href="https://vi.wikipedia.org/wiki/Wikipedia:Chú_thích_nguồn_gốc" title="Wikipedia:Chú thích nguồn gốc"><span title="Tuyên bố này cần tham khảo đến các nguồn đáng tin cậy. (tháng 1 năm 2017)">cần dẫn nguồn</span></a></em>]

​

Cách sử dụng hiện đại của thuật ngữ khoa học hình thức, trong văn học tiếng Anh, xuất hiện ít nhất là vào đầu năm 1860,[<em><a href="https://vi.wikipedia.org/wiki/Wikip...Nguồn_sơ_cấp,_nguồn_thứ_cấp,_và_nguồn_hạng_ba" title="Wikipedia:Không đăng nghiên cứu chưa được công bố"><span title="Khẳng định này cần dẫn chứng từ nguồn chính đáng tin cậy.">cần nguồn thứ cấp</span></a></em>] trong một ấn phẩm di cảo các bài giảng về triết học của Sir William Hamilton, trong đó logic và toán học được liệt kê là các ngành khoa học hình thức.<a href="https://vi.wikipedia.org/wiki/Khoa_học_hình_thức#cite_note-1"><span>[</span>1<span>]</span></a> Đi xa hơn nữa vào năm 1819, một cuốn sách giáo khoa bằng tiếng Đức về logic được xuất bản bởi Wilhelm Esser, làm sáng tỏ tầm quan trọng của việc chỉ định khoa học hình thức (Formalwissenschaft) áp dụng cho logic.<a href="https://vi.wikipedia.org/wiki/Khoa_học_hình_thức#cite_note-2"><span>[</span>2<span>]</span></a>