Thư viện tập trung - Thư viện điện tử

Sách, tuyển tập

Tài liệu điện tử

Phát triển các kỹ thuật tìm bất biến (Invariants) và biến (Variants) cho việc sử dụng Hoare Logic để chứng minh tính đúng đắn của chu trình / Nguyễn, Minh Hải; Đặng, Văn Hưng

Tác giả : Nguyễn, Minh Hải; Đặng, Văn Hưng

Năm xuất bản : 2016

Mô tả vật lý : 63 tr.

Chủ đề : 1. Bất biến (Invariants). 2. Bất biến (Invariants) -- Kỹ thuật tìm. 3. Biến (Variants). 4. Kỹ thuật phần mềm. 5. Kỹ thuật tìm. 6. Logic Hoare. 7. Thesis.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Tìm hiểu và làm rõ những kiến tức liên quan đến logic Hoare. Qua phần nghiên cứu, tôi muốn cung cấp một tài liệu cụ thể nằm hướng dẫn việc chứng minh tính đúng của lnh chu trình bằng logic Hoare. Bên cạnh đó, việc đưa ra những gợi mở về bản chất ca vòng lặp thông qua bất biến vòng lặp được trú trọng. Cung cấp cái nhìn tổng quan nhất ềbin và bất biến bằng những lý thuyết và bài toán áp dụng trên các thuật toán cơ bản. Phát triển các kỹ thuật tìm bất bin (invariants) và biến (variants)cho việc sử dụng logic Hoare để chứng minh tính đúng đắn của chu trình là mục đích nghiên cứu của luận văn.

Chia sẻ

Hiển thị MARC

Thông tin dữ liệu nguồn

Thư viện	Ký hiệu xếp giá	Dữ liệu nguồn
Đại học Công nghệ - ĐHQGHN		https://repository.vnu.edu.vn/handle/VNU_123/17204

Lời ngỏ

Để phục vụ nhu cầu tìm kiếm và xem tài liệu trên nhiều lĩnh vực khác nhau: Triết học, Tâm lý học, Tôn giáo, Khoa học xã hội, Ngôn ngữ, Khoa Học Tự Nhiên, Toán học, Công nghệ, Nghệ thuật, Văn học, Địa lý, Lịch sử,... tại các thư viện trung tâm, thư viện trường học, các tổ chức,... chúng tôi đã thu thập, liên kết các thông tin với nhau tạo thành mạng lưới thư viện (Thư viện tập trung) chia sẻ nguồn tài nguyên vô tận này; cùng với mong muốn giữ gìn di sản văn hóa của dân tộc, chúng tôi sưu tầm, sắp xếp, tổ chức và phân loại giúp bạn đọc có thể tìm kiếm, chia sẻ dễ dàng trên internet (IoT) thông qua các thiết bị truy cập như: điện thoại di động, máy tính bảng, máy tính cá nhân,...
Trong quá trình cập nhật, chúng tôi đã cố gắng liên kết thông tin kỹ lưỡng để có những tài liệu chất lượng cho bạn đọc. Tuy nhiên, với số lượng tài liệu quá nhiều, đôi khi không tránh khỏi sai sót. Rất mong các bạn đóng góp ý kiến để chất lượng tài liệu ngày một tốt hơn.

Mục đích và phương châm hoạt động

Trang website được xây dựng nhằm những mục đích sau:

+ Thu thập dữ liệu các thư viện theo thời gian thực (Hàng ngày, hàng tuần) dựa trên các giao thức chuẩn thư viện thông qua Internet.
+ Liên kết thư viện và xây dựng nguồn tài nguyên bách khoa toàn thư về tất cả các lĩnh vực khác nhau.
- Chia sẻ dữ liệu trực tiếp trong cùng hệ thống.
- Chia sẻ dữ liệu gián tiếp cho các thư viện khác qua giao thức chuẩn thư viện: OAI-PMH, METS.
+ Phục vụ nhu cầu tra cứu tìm đọc tài liệu ở khắp mọi nơi trên miền đất nước.
+ Phổ biến rộng rãi di sản văn hóa, phục vụ hoạt động nghiên cứu phát triển và đổi mới sáng tạo của các nhà khoa học, cán bộ nghiên cứu - giảng dạy, sinh viên, học sinh, doanh nghiệp và cộng đồng.

Bản quyền

Những tài liệu mà bạn đang tham khảo:
+ Là tài nguyên được quản lý ở tất cả các đơn vị mạng liên kết bao gồm các nguồn mở, nguồn nội sinh và nguồn ngoại sinh.

+ Là truy cập, chia sẻ tại các đơn vị mạng liên kết theo cơ chế mở và không thu phí.

Xin chân thành cảm ơn!

Kết nối và chia sẻ nguồn tri thức, những người yêu và đam mê đọc sách.

Chọn tất cả thư viện

Đại học Công nghệ - ĐHQGHN

Đại học Giáo dục - ĐHQGHN

Đại học khoa học tự nhiên - ĐHQGHN

Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN

Đại học Kinh tế - ĐHQGHN

Đại học Ngoại ngữ - ĐHQGHN

Đại học quốc gia Hà Nội

Đại học sư phạm Đà Nẵng

Đại học Y - Dược - ĐHQGHN

Học Viện Hàng Không Việt Nam

Thư viện đại học Cần Thơ

Thư viện Huyện Bình Chánh - TVKHTH TP.HCM

Thư viện huyện Bình Minh - TV Vĩnh Long

Thư viện huyện Bình Tân - TV Vĩnh Long

Thư viện Huyện Cần Giờ - TVKHTH TP.HCM

Thư viện Huyện Củ Chi - TVKHTH TP.HCM

Thư viện Huyện Hóc Môn - TVKHTH TP.HCM

Thư viện huyện Long Hồ - TV Vĩnh Long

Thư viện huyện Mang Thít - TV Vĩnh Long

Thư viện Huyện Nhà Bè - TVKHTH TP.HCM

Thư viện huyện Tam Bình - TV Vĩnh Long

Thư viện huyện Trà Ôn - TV Vĩnh Long

Thư viện Khoa học Tổng hợp TP.HCM

Thư viện quận 1 - TVKHTH TP.HCM

Thư viện quận 10 - TVKHTH TP.HCM

Thư viện quận 11 - TVKHTH TP.HCM

Thư viện quận 12 - TVKHTH TP.HCM

Thư viện quận 2 - TVKHTH TP.HCM

Thư viện quận 3 - TVKHTH TP.HCM

Thư viện quận 4 - TVKHTH TP.HCM

Thư viện quận 5 - TVKHTH TP.HCM

Thư viện quận 6 - TVKHTH TP.HCM

Thư viện quận 7 - TVKHTH TP.HCM

Thư viện quận 8 - TVKHTH TP.HCM

Thư viện quận Bình Tân - TVKHTH TP.HCM

Thư viện quận Bình Thạnh - TVKHTH TP.HCM

Thư viện quận Gò Vấp - TVKHTH TP.HCM

Thư viện quận Phú Nhuận - TVKHTH TP.HCM

Thư viện quận Tân Bình - TVKHTH TP.HCM

Thư viện quận Tân Phú - TVKHTH TP.HCM

Thư viện Quốc gia Việt Nam

Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM

Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM

Thư Viện Tỉnh An Giang

Thư viện tỉnh Vĩnh Long

Tổ chức y tế thế giới

Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN

Trung tâm Hỗ trợ Sinh viên - ĐHQGHN

Trường Đại học Luật - ĐHQGHN

Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN

Trường Quản trị và Kinh doanh - ĐHQGHN

Viện Công nghệ Thông tin - ĐHQGHN

Viện Đảm bảo chất lượng giáo dục - ĐHQGHN

Viện Quốc tế Pháp ngữ - ĐHQGHN

Viện Tài nguyên và Môi trường - ĐHQGHN

Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN

Viện Việt Nam học và Khoa học phát triển - ĐHQGHN

Ldr		00025nam a2200024 a 4500
001		CLN240012323
041	__	$avi
100	__	$aNguyễn, Minh Hải
245	__	$aPhát triển các kỹ thuật tìm bất biến (Invariants) và biến (Variants) cho việc sử dụng Hoare Logic để chứng minh tính đúng đắn của chu trình /$cNguyễn, Minh Hải; Đặng, Văn Hưng
260	__	$c2016
300	__	$a63 tr.
500	__	$aNguyễn, Minh Hải. (2016). Phát triển các kỹ thuật tìm bất biến (Invariants) và biến (Variants) cho việc sử dụng Hoare Logic để chứng minh tính đúng đắn của chu trình. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam
520	__	$aTìm hiểu và làm rõ những kiến tức liên quan đến logic Hoare. Qua phần nghiên cứu, tôi muốn cung cấp một tài liệu cụ thể nằm hướng dẫn việc chứng minh tính đúng của lnh chu trình bằng logic Hoare. Bên cạnh đó, việc đưa ra những gợi mở về bản chất ca vòng lặp thông qua bất biến vòng lặp được trú trọng. Cung cấp cái nhìn tổng quan nhất ềbin và bất biến bằng những lý thuyết và bài toán áp dụng trên các thuật toán cơ bản. Phát triển các kỹ thuật tìm bất bin (invariants) và biến (variants)cho việc sử dụng logic Hoare để chứng minh tính đúng đắn của chu trình là mục đích nghiên cứu của luận văn.
650	__	$aKỹ thuật phần mềm
650	__	$aLogic Hoare
650	__	$aBất biến (Invariants)
650	__	$aBất biến (Invariants) -- Kỹ thuật tìm
650	__	$aBiến (Variants)
650	__	$aKỹ thuật tìm
655	__	$aThesis
856	__	$uhttps://repository.vnu.edu.vn/handle/VNU_123/17204
900		1
907		https://repository.vnu.edu.vn/retrieve/0c090317-1fff-453c-987d-7708bb628768/00050007621.pdf.jpg
925		G
926		0
927		SH

Phát triển các kỹ thuật tìm bất biến (Invariants) và biến (Variants) cho việc sử dụng Hoare Logic để chứng minh tính đúng đắn của chu trình / Nguyễn, Minh Hải; Đặng, Văn Hưng

Thông tin dữ liệu nguồn

Tài liệu cùng tác giả

Giáo dục kĩ năng công dân số lớp 2 / Lê Anh Vinh (ch.b.), Nguyễn Minh Hải, Đỗ Duy Hiếu...

Giáo dục kĩ năng công dân số lớp 1 / Lê Anh Vinh (ch.b.), Nguyễn Minh Hải, Đỗ Duy Hiếu...

Không gian dịch vụ resort tại Khánh Hoà : Sách chuyên khảo / Phí Hải Long, Phạm Hồng Long (ch.b.), Phạm Thị Hoàn Nguyên...

Nghiên cứu phương pháp giảm chiều biến dựa trên hàm nhân và ứng dụng trong bài toán dự báo kim ngạch xuất khẩu : LATS Hệ thống thông tin: 9.48.01.04 / Nguyễn Minh Hải

35 đề ôn luyện Toán 3 / Lê Anh Vinh (ch.b.), Nguyễn Áng, Nguyễn Minh Hải...

Lời ngỏ

Mục đích và phương châm hoạt động

Bản quyền