Lý luận kế toán cơ khoa học
Mario Coppo sở trứ thư tịch
《 lý luận kế toán cơ khoa học 》 thị 2005 niên xuất bản đích đồ thư, tác giả thị Mario Coppo.
Quan vu kế toán hòa kế toán cơ giới đích sổ học lý luận, dã xưng vi kế toán lý luận hoặc kế toán cơ khoa học đích sổ học cơ sở. Lý luận kế toán cơ khoa học chủ yếu bao quát: ① tự động cơ luận dữ hình thức ngữ ngôn lý luận ② trình tự lý luận ③Hình thức ngữ nghĩa học④ toán pháp phân tích hòaKế toán phục tạp tính lý luận.
- Trung văn danh
- Kế toán hòa kế toán cơ giới đích sổ học lý luận
- Biệt danh
- Kế toán lý luận,Kế toán cơ khoa học đích sổ học cơ sở
- Tác giả
- Mario Coppo[1]
- Xuất bản thời gian
- 2005 niên 11 nguyệt
- ISBN
- 9783540291060[1]
Tại kỉ thiên niên đích sổ học phát triển sử trung, nhân môn nghiên cứu liễu các chủng các dạng đích kế toán, sang lập liễu hứa hứa đa đa đích toán pháp, đãn dĩ kế toán hoặc toán pháp mao cố khốc phù phù bổn thân đích tính chất vi nghiên cứu đối tượng đích sổ học lý luận khước thị đáo 20 thế kỷ 30 niên đại tài phát triển khởi lai đích. Đương thời vi liễu yếu giải quyết sổ học cơ sở đích mỗ ta lý luận vấn đề, tức thị phủ hữu đích vấn đề bất thị toán pháp khả giải đích, sổ lý la tập học gia đề đạo mai lậu sáo xuất liễu kỉ ngu sấm vĩnh chủng bất đồng đích ( hậu lai chứng minh thị bỉ thử đẳng giới đích ) toán pháp định nghĩa, tòng nhi kiến lập liễu toán pháp lý luận ( tức khả kế toán tính lý luận ). 30 niên đại tiền kỳ, K. Ca đức nhĩ hòa S.C. Khắc lâm ni đẳng nhân sang lập liễu đệ quy hàm ngưu thôi chủ sổ luận, tương sổ hưởng khẳng luận hàm sổ đích toán pháp khả kế toán tính khắc hoa chử lậu thể vi đệ quy tính. 30 niên đại trung kỳ, A.M. Đồ linh hòa E.L. Ba tư đặc bỉ thử độc lập địa đề xuất liễu lý tưởng kế toán cơ đích khái niệm, tương vấn đề đích toán pháp khả giải tính khắc hoa vi tại cụ hữu nghiêm cách định nghĩa đích lý tưởng kế trọng tuần khanh toán cơ thượng đích khả giải tính. 30 niên đại phát triển khởi lai đích toán pháp lý luận, đối tại 40 niên đại hậu kỳ xuất hiện đích tồn trữ trình tự hình kế toán cơ đích thiết kế tư tưởng thị hữu ảnh hưởng đích. Đồ linh đề xuất đích lý tưởng kế toán cơ ( xưng vi đồ linh cơ ) trung đích nhất chủng thông dụng cơ tựu thị tồn trữ trình tự hình đích.
Tại giá ta lĩnh vực trung, tự động cơ lý luận hòa hình thức ngữ ngôn lý luận thị 50 niên đại phát triển khởi lai đích. Tiền giả đích lịch sử hoàn khả dĩ thượng tố đáo 30 niên đại, nhân vi đồ linh cơ tựu thị nhất loại tự động cơ ( vô hạn tự động cơ ). 50 niên đại dĩ lai nhất ta học giả khai thủy khảo lự dữ hiện thật đích kế toán cơ canh tương tự đích lý tưởng kế toán cơ, J. Nặc y mạn tại 50 niên đại sơ đề xuất liễu hữu tự phồn thực công năng đích kế toán cơ đích khái niệm. Vương hạo tại 50 niên đại trung kỳ đề xuất liễu nhất chủng đồ linh cơ đích biến chủng, giá thị nhất chủng bỉ nguyên lai đích đồ linh cơ canh tiếp cận hiện thật cơ khí đích cơ khí. Tha hoàn đề xuất nhất chủng tồn trữ đái thượng đích nội dung bất năng thanh trừ đích cơ khí, tịnh chứng minh giá chủng cơ khí thị dữ đồ linh cơ đẳng giới đích. 60 niên đại tiền kỳ, hựu hữu nhân đề xuất cụ hữuTùy cơ tồn thủ tồn trữ khíĐích kế toán cơ ( giản xưng RAM ) dĩ cập đa đái đồ linh cơ đẳng.
Hình thức ngữ ngôn lý luận
Đạo nguyên vu sổ lý ngữ ngôn học trung đích kiều mỗ tư cơ lý luận. Tại giá chủng lý luận trung, hình thức ngữ ngôn phân vi tứ chủng:①0 hình ngữ ngôn; ②1 hình ngữ ngôn;③2 hình ngữ ngôn;④3 hình ngữ ngôn. Tương ứng địa tồn tại trứ 0 hình, 1 hình, 2 hình, 3 hình tứ chủng hình thức văn pháp. 1 hình ngữ ngôn hựu danh thượng hạ văn hữu quan ngữ ngôn, 2 hình ngữ ngôn hựu danh thượng hạ văn vô quan ngữ ngôn, 3 hình ngữ ngôn hựu danh chính tắc ngữ ngôn. Kỳ trung 2 hình ngữ ngôn tối thụ nhân chú ý. 60 niên đại trung kỳ, hoàn phát hiện liễu giá tứ loại ngữ ngôn dữ tứ loại tự động cơ chi gian đích đối ứng quan hệ ( kiến biểu )
Tại thượng biểu trung, tả biên sở liệt đích ngữ ngôn kháp hảo thị hữu biên dữ chi đối ứng đích tự động cơ sở năng thức biệt đích ngữ ngôn ( kiến hình thức ngữ ngôn lý luận ).
Trình tự thiết kế lý luận
Bao quát trình tự chính xác tính chứng minh hòa trình tự nghiệm chứng, tha đích nhất ta cơ bổn khái niệm hòa phương pháp thị 40 niên đại hậu kỳ nặc y mạn hòa đồ linh đẳng nhân đề xuất đích. Nặc y mạn đẳng tại nhất thiên luận văn trung đề xuất tá trợ vu chứng minh lai nghiệm chứng trình tự chính xác tính đích phương pháp. Hậu lai đồ linh hựu chứng minh liễu nhất cá tử trình tự đích chính xác tính. Tha đích phương pháp thị: Thiết hữu nhất cấp định đích trình tự, thả hữu biến lượng X1, X2,…, Xn dĩ cập thâu nhập vị từ P(X1,…, Xn) dữ thâu xuất vị từ Q(X1,…, Xn). Như quả năng chứng minh hạ liệt sự thật: Nhược tại trình tự chấp hành tiền vị từ P ( X1,…, Xn ) thành lập, tắc tại trình tự chấp hành hậu, vị từ Q(X1,…, Xn) thành lập, trình tự đích chính xác tính đắc chứng.
Đồ linhĐích giá nhất kết quả trường kỳ vị dẫn khởi chú ý, nhất trực đáo P. Não nhĩ tại 1963 niên hòa E.F. Phí lạc y đức tại 1966 niên trọng tân đề xuất giá nhất phương pháp hậu, tài dẫn khởi kế toán cơ khoa học giới đích trọng thị. Thử hậu, hữu bất thiếu lý luận công tác giả tại tòng sự giá phương diện đích nghiên cứu. Đãn chính như E.W. Đái khắc tư đặc lạp tại 70 niên đại trung kỳ tằng chỉ xuất đích, thật tế hữu hiệu đích phương pháp thị biên thiết kế biên nghiệm chứng, tại thiết kế hoàn tất thời chứng minh hoặc nghiệm chứng đích quá trình dã đồng thời kết thúc. J.T. Thi ngõa tư hòa M. Đái duy tư 70 niên đại hậu kỳ đề xuất liễu nhất chủng tha môn xưng chi vi “Chính xác trình tự kỹ thuật” đích nhuyễn kiện kỹ thuật. Giá chủng phương pháp thị tiên tuyển định thành thiên chủng cơ bổn trình tự mô khối, tịnh tá trợ dĩ tri đích các chủng nghiệm chứng phương pháp ( bao quát trình tự chính xác tính chứng minh ) lai bảo chứng giá ta cơ bổn trình tự đích chính xác tính. Nhiên hậu tái đề xuất nhất tổ năng bảo trì chính xác tính đích trình tự tổ hợp quy tắc. Giá dạng, tựu khả dĩ thông quá bất đoạn đích tổ hợp, sinh thành các chủng các dạng đích trình tự.
Hữu nhân chỉ xuất, trình tự chính xác tính chứng minh kỹ thuật sở phát triển xuất lai đích “Tuần hoàn bất biến thức”,Tức nhất cá trình tự trung đích mỗ nhất tuần hoàn đích nhập khẩu hoặc xuất khẩu điểm thượng sở phụ đích vị từ, hữu ta văn hiến trung xưng tác “Quy nạp đoạn ngôn”, khả dĩ dụng lai cung trình tự nghiên cứu dụng. Dã tựu thị thuyết, bất tượng quá khứ na dạng, đối nhất cá cấp định đích trình tự trảo xuất kỳ nhược càn cá tuần hoàn bất biến thức, nhiên hậu tá trợ giá ta bất biến thức lai chứng minh giá cá trình tự đích chính xác tính; nhi thị tại biên chế giá cá trình tự chi tiền, căn cư đối giá nhất trình tự đích yếu cầu, trảo xuất nhược càn cá tuần hoàn bất biến thức, nhiên hậu căn cư giá ta bất biến thức lai sinh thành giá cá trình tự.
Tự động trình tự thiết kế đích khái niệm dã thị tòng 40 niên đại đề xuất đích. Đồ linh tại 1947 niên đích nhất thiên luận văn trung, đề xuất tá trợ định lý chứng minh đích phương pháp lai thiết kế trình tự. Tha đích tưởng pháp đại trí như hạ: Thiết yếu cầu thiết kế nhất cá trình tự, sử thành vi kế toán nhất cá cấp định đích đệ quy hàm sổ F(X) đích trình tự, tịnh lệnh F(n)=m ( giá lí n thị nhậm nhất tự nhiên sổ, m thị tự nhiên sổ ), nhu yếu trảo đáo nhất cá chứng minh F(n)=m đích cấu tạo tính chứng minh. Tại hữu liễu giá dạng nhất cá cấu tạo tính chứng minh dĩ hậu, tựu khả dĩ tòng giá cá chứng minh trung đề thủ xuất F(X) đích cầu trị toán pháp, nhiên hậu sinh thành sở nhu yếu đích trình tự. Đồ linh đích giá nhất tư tưởng trường thời gian bất vi nhân sở tri. 1969 niên hựu hữu nhân độc lập địa đề xuất liễu giá nhất tưởng pháp.
Trình tự ngữ ngôn đích hình thức ngữ pháp đích nghiên cứu, tòng 50 niên đại trung kỳ khởi hữu liễu giác đại đích phát triển. Nhi hình thức ngữ nghĩa đích nghiên cứu tự 60 niên đại dĩ lai tuy hữu bất thiếu nghiên cứu công tác giả tòng sự giá phương diện đích công tác, đề xuất kỉ chủng bất đồng đích ngữ nghĩa lý luận, chủ yếu thịThao tác ngữ nghĩa học,Chỉ xưng ngữ nghĩa học hoặc xưng sổ học ngữ nghĩa học,Công lý ngữ nghĩa họcHòaĐại sổ ngữ nghĩa học,Đãn nhưng một hữu nhất chủng công nhận tại nhuyễn kiện kỹ thuật trung cú dụng đíchHình thức ngữ nghĩa học,Nhân nhi nhu yếu đề xuất nhất chủng canh thích vu dụng đáo thật tế kế toán trung đích tân đích ngữ nghĩa học.
Tại trình tự chính xác tính chứng minh hòa hình thức ngữ nghĩa học trung ứng dụng đích trình tự la tập, thị 60 niên đại mạt phát triển khởi lai đích. Giá thị vị từ la tập đích nhất chủng khoách sung. Nguyên lai đích vị từ la tập trung thị một hữu thời gian khái niệm đích, sở khảo lự đích thôi lý quan hệ thị tại đồng nhất thời gian lí đích quan hệ. Trình tự thị nhất chủng quá trình, nhất cá trình tự đích thâu nhập vị từ dữ thâu xuất vị từ chi gian đích la tập quan hệ tựu bất thị đồng nhất thời gian lí đích quan hệ. Nhân thử, tại hữu quan trình tự tính chất đích thôi lý trung, nguyên lai đích vị từ la tập bất cú dụng, nhu yếu hữu nhất chủng tân đích la tập.
60 niên đại mạt, E. Ân cách lặc đẳng nhân sang lập liễu toán pháp la tập. C.A.R. Hoắc nhĩ dã sang lập liễu nhất chủng trình tự la tập. Giá chủng la tập thị tại nguyên lai đích la tập thượng tăng gia nhất cá trình tự toán tử nhi đắc đáo đích. Lệ như, khả dĩ tương trình tự tác vi nhất chủng tân đích toán tử trí vu nhất cá vị từ công thức đích tiền diện, như biểu đạt thức
{S}P(X1,…, Xn) biểu kỳ tại trình tự S chấp hành hoàn tất thời, vị từ P(X1,…, Xn) thành lập ( giá lí đích ) X1,…, Xn thị trình tự S trung đích biến lượng.
Toán pháp phân tích hòa kế toán phục tạp tính lý luận
Quan vu toán pháp đích phục tạp tính đích nghiên cứu. Quan vu giá nhất lĩnh vực đích danh xưng tằng hữu tranh luận. Nhất bàn nhận vi, các loại cụ thể toán pháp đích phục tạp tính đích nghiên cứu xưng tác toán pháp phân tích, nhi nhất bàn toán pháp phục tạp tính đích nghiên cứu xưng tácKế toán phục tạp tính lý luận.Kế toán phục tạp tính lý luận nguyên thị khả kế toán lý luận đích nhất chi, thị dĩ các chủngKhả kế toán hàm sổ( tứcĐệ quy hàm sổ) đích kế toán phục tạp tính ( tại tảo kỳ xưng tác “Kế toán nan độ” ) vi kỳ nghiên cứu đối tượng đích. Khả kế toán tính phân vi lý luận khả kế toán tính hòa thật tế khả kế toán tính lưỡng chủng. Tác viKhả kế toán tính lý luậnNhất chi đích kế toán phục tạp tính lý luận, thị dĩ tiền giả đích phục tạp trình độ vi kỳ nghiên cứu đối tượng đích; nhi tác vi kế toán cơ khoa học nhất cá lĩnh vực đích phục tạp tính lý luận, tắc thị dĩ hậu giả đích phục tạp trình độ vi kỳ nghiên cứu đối tượng đích.
Giá nhất phân chi đích cơ bổn vấn đề thị yếu lộng thanh sở thật tế khả kế toán hàm sổ loại đích kết cấu hòa nhất ta tính chất. Thật tế khả kế toán tính thị nhất cá trực quan đích khái niệm. Như hà đối giá nhất khái niệm tiến hành tinh xác đích miêu thuật, thị nhất cá tịnh bất dung dịch đích vấn đề. 60 niên đại trung kỳ dĩ lai, hữu quan đích nghiên cứu công tác giả nhất bàn thị dĩ kế toán thời gian đa hạng thức hữu giới đích hàm sổ tác vi thật tế khả kế toán đích hàm sổ. Giá thật tế thượng thị nhất cá luận đề, nhi bất thị nhất cá khả dĩ tại sổ học trung gia dĩ chứng minh hoặc phủ chứng đích mệnh đề. Hữu nhân chỉ xuất, tại hữu quan đích đa hạng thức thứ sổ giác cao thời ( như n đích tình hình ), ngận nan thuyết thị thật tế khả kế toán đích.
Lánh nhất cá đái căn bổn tính đích vấn đề thị: Xác định tính cơ khí dữ phi xác định tính cơ khí đích giải đề năng lực đích bỉ giác vấn đề. Nhân môn tảo dĩ tri đạo, xác định tính đồ linh cơ dữ phi xác định tính đồ linh cơ đích giải đề năng lực thị tương đẳng đích. Nhân vi phi xác định tính cơ khí tuy bỉ xác định tính cơ khí hiệu suất cao, nhi như quả kế toán thời gian một hữu hạn chế, tắc xác định tính cơ khí tổng khả dĩ dụng cùng cử đích phương pháp lai mô nghĩ phi xác định tính cơ khí. Nhân thử, nhị giả đích giải đề năng lực thị nhất dạng đích. Đãn tại kế toán thời gian đa hạng thức hữu giới thời, nhị giả đích giải đề năng lực thị phủ tương đẳng, giá tựu thị hữu danh đích P=? NP vấn đề.
Quan vu kế toán hòa toán pháp ( bao quát trình tự ) đích nghiên cứu, đối xuyến hành kế toán đích tính chất nghiên cứu giác đa, nhi đối tịnh hành kế toán tính chất đích nghiên cứu tắc hoàn ngận bất cú ( đặc biệt thị đối dị bộ đích tịnh hành kế toán canh thị như thử ). Nhân thử, quan vu tịnh hành kế toán đích nghiên cứu ngận khả năng tương thành vi kế toán cơ lý luận đích nghiên cứu trọng điểm.
