Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003
Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003
ĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸTẠ THỊ THU HIẺNNGHIÊN CÚ I VẺ CHÚNG MINH TỤ ĐỘNG (THEOREM PROVING) TRONG CafcOBJli;ặn VĂNTIIẠCSĨHàNội- Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003 -2010ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸTẠ THỊ THU HIÉNNGHIÊN cửu VÈ CHỦNG MINH TỤ ĐỘNG (THEOREM PROVING) TRONG CaieOBJNgành Chuyên ngành Mã soiCÔNGNGIlỢ THÔNG TIN ; CÒNG NGHẸ PHÁN MÉM :60 48 10ĩ,1 ’AN VÃN THẠC SĩNGƯỜI 111 ÓNG DẤN khoa HỌC: TS. Phạm Ngọc HùngHà Nội-2010iLÒĨ CẢM ƠNTrước Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003 tiên tôi xin bày tỏ lòng biết ơn sâu sác tới TS. Phạm Ngọc Hùng, giang viên Bộ môn Công nghệ phần mềm - Khoa Công nghệ thông tin - Trường Đại học CôngLuận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003
nghệ - ĐHQGHN. Trong thời gian học và lãm luận vãn tốt nghiệp, thầy đà dành nhiều thời gian qui báu và tận tình chi bao. hướng dần tôi trong việc nghĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸTẠ THỊ THU HIẺNNGHIÊN CÚ I VẺ CHÚNG MINH TỤ ĐỘNG (THEOREM PROVING) TRONG CafcOBJli;ặn VĂNTIIẠCSĨHàNội- Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003 âu đáo hơn lĩnh vực mà minh nghiên cứu dể có thê vận dụng những kiến thức dó vào trong còng tác cúa minh.Xin cam ơn bạn bè. đong nghiệp và nliâl là các thành viên trong gia đình đà tạo mọi diều kiện tot nhắt, dộng viên, cô vũ tôi trong suốt quá trinh học tập và nghiền cứu đê hoàn thành lốt ban luận Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003 văn lol nghiệp này.Hà nội, tháng 9 năm 20 ỉ 0Học viên thực hiệnTạ Thị Thu Hiền• ♦iiLỜI C AM DOANTôi xin cam đoan rang, đây là kết qua nghiên cứu cua tLuận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003
ôi trong đó có sự giúp dờ rất lớn của thầy hướng dần và các dồng nghiệp ỡ cơ quan. Các nội dung nghiên cứu và kết quà trong đề lài này hoàn toàn trungĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸTẠ THỊ THU HIẺNNGHIÊN CÚ I VẺ CHÚNG MINH TỤ ĐỘNG (THEOREM PROVING) TRONG CafcOBJli;ặn VĂNTIIẠCSĨHàNội- Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003 g 9 năm 2010Học viên thực hiệnTạ Thị Thu HiềniiỉMỤC LỤCLỜI CẢM ƠN...........................................................iiLỜI CAM ĐOAN.........................................................iiMỤC LỤC.............................................................iii Luận văn thạc sĩ VNU UET nghiên cứu về chứng minh tự động (theorem proving) trong CafeOBJ003 ĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸTẠ THỊ THU HIẺNNGHIÊN CÚ I VẺ CHÚNG MINH TỤ ĐỘNG (THEOREM PROVING) TRONG CafcOBJli;ặn VĂNTIIẠCSĨHàNội-Gọi ngay
Chat zalo
Facebook