loading
Luận án, luận văn

Formal description of geometrical properties: Doctor of Philosophy in Logic in Computer Science/ Pham Tuan Minh

Tác giả : Pham Tuan Minh

Năm xuất bản : 2011

Nơi xuất bản : Nice

Mô tả vật lý : 134 p.: fig.; 30 cm 1 resume

Số phân loại : 516.00285

Chủ đề : 1. $2Bộ TK TVQGHình học. 2. $2Bộ TK TVQGMô tả hình thức. 3. $2Bộ TK TVQGTin học ứng dụng. 4. $2Bộ TK TVQGTính chất. 5. 7. 6. 7.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Nghiên cứu hình thức hoá những tính chất hình học Euclide dựa trên hìnhh học Afin, mô tả khái niệm hướng trong mặt phẳng cũng như nền tảng của hình học và kết hợp giữa công cụ chứng minh hình thức và phần mềm hình học động Geogebra dựa trên giao diện chứng minh tương tác Pcoq, đồng thời mô tả những tính chất này trong hệ thống chứng minh Coq cho phép người dùng tương tác trực tiếp với các đối tượng hình học trong quá trình chứng minh
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
Thư viện Quốc gia Việt Nam LA11.0873.1, LA11.0873.2, LA11.0873.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-667416.html

 

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

placeholder+image

Sách, tuyển tập

Proceedings of 2015 2nd National Foundation for Science and Technology Development Conference on Information and Computer Science: NICS 2015/ Pham Van Hau, Le Trung Quan, Nguyen Dac Hoang... ; Ed.: Vo Nguyen Quoc Bao..

Tác giả : Pham Van Hau, Le Trung Quan, Nguyen Dac Hoang... ; Ed.: Vo Nguyen Quoc Bao..

Nhà xuất bản : Science and Technics

Năm xuất bản : 2015

placeholder+image

Sách, tuyển tập

Hãy gia nhập công đoàn vì quyền và lợi ích hợp pháp chính đáng của mình/ Phạm Tuấn Minh b.s

Tác giả : Phạm Tuấn Minh b.s

Nhà xuất bản : Lao động

Năm xuất bản : 2011

placeholder+image

Luận án, luận văn

Modélisation et analyse de la distribution de contenus dans un réseau DTN: Informatique/ Pham Tuan Minh

Tác giả : Pham Tuan Minh

Năm xuất bản : 2011

placeholder+image

Sách, tuyển tập

Hướng dẫn ôn luyện chuẩn bị cho các lì thi quốc gia môn tiếng Anh: Dành cho học sinh lớp 12 ôn tập và nâng cao kĩ năng làm bài/ Phạm Thị Thuỷ Hương, Nguyễn Thị Chi, Phạm Tuấn Minh

Tác giả : Phạm Thị Thuỷ Hương, Nguyễn Thị Chi, Phạm Tuấn Minh

Nhà xuất bản : Đại học Sư phạm

Năm xuất bản : 2009

placeholder+image

Sách, tuyển tập

Ngân hàng câu hỏi trắc nghiệm tiếng Anh trung học phổ thông/ Phạm Thị Thuỷ Hương, Nguyễn Thị Chi, Phạm Tuấn Minh. T.1

Tác giả : Phạm Thị Thuỷ Hương, Nguyễn Thị Chi, Phạm Tuấn Minh.

Nhà xuất bản : Đại học Sư phạm

Năm xuất bản : 2008

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Hướng dẫn giải bài tập hình học 10: Tóm tắt lý thuyết. Bài tập căn bản. Bài tập tương tự và nâng cao/ Nguyễn Văn Lộc (ch.b.), Trần Quang Tài, Mai Xuân Đông..

Tác giả : Nguyễn Văn Lộc (ch.b.), Trần Quang Tài, Mai Xuân Đông..

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Hướng dẫn giải bài tập hình học 10: Nâng cao : Tóm tắt lý thuyết. Bài tập căn bản. Bài tập tương tự và nâng cao/ Nguyễn Văn Lộc (ch.b.), Trần Quang Tài, Mai Xuân Đông..

Tác giả : Nguyễn Văn Lộc (ch.b.), Trần Quang Tài, Mai Xuân Đông..

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Phân loại và giải chi tiết các dạng bài tập hình học 10: Có hướng dẫn - nhận xét - ghi chú/ Trần Xuân Tiếp, Phạm Hoàng, Phạm Toàn, Phan Hoàng Ngân

Tác giả : Trần Xuân Tiếp, Phạm Hoàng, Phạm Toàn, Phan Hoàng Ngân

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Phương pháp giải toán tự luận & trắc nghiệm hình học 12: Luyện thi trung học phổ thông/ Nguyễn Văn Nho

Tác giả : Nguyễn Văn Nho

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2017

placeholder+image

Sách, tuyển tập

Phương pháp giải các chủ đề căn bản hình học 11: Bồi dưỡng học sinh giỏi/ Lê Hoành Phò

Tác giả : Lê Hoành Phò

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2017