Khác biệt giữa bản sửa đổi của “Lý thuyết hình thái”

n
không có tóm lược sửa đổi
(→‎Đọc thêm: clean up, general fixes using AWB)
nKhông có tóm lược sửa đổi
 
{{Chuyên ngành}}Trong [[toán học]], [[logic]] và [[khoa học máy tính]], một '''lý thuyết hình thái''' hoặc một '''hệ hình thái''' là một hệ thống hình thức trong đó mọi '''đối tượng''' đều có một '''hình thái''' (hay mọi ''biến'' đều có một ''kiểu'', mọi ''từ'' đều có một ''loại'',...). Hình thái của một đối tượng hạn chế các ''tác động'' (hay ''phép toán'', ''cách dùng'') có thể được thực hiện trên đối tượng (hay ''biến'', ''từ'') ấy. Ngành nghiên cứu các hệ hình thái cũng được gọi là Lý thuyết Hình Thái.
 
Một số lý thuyết hình thái có thể đóng vai trò thay thế [[lý thuyết tập hợp]] để làm nền tảng cho toán học. Hai lý thuyết như vậy khá nổi tiếng là lý thuyết [[Phép tính lambda|phép tính lambda hình thái]] của Alonzo và lý thuyết hình thái trực giác của Per Martin-Löf.