loading
  • Trang chủ
  • Luận án, luận văn
  • Nâng cao hiệu quả suy diễn trong phần mềm trợ giúp chứng minh hình học: LATS Toán học: 1.01.10/ Nguyễn Vũ Quốc Hưng
Luận án, luận văn

Nâng cao hiệu quả suy diễn trong phần mềm trợ giúp chứng minh hình học: LATS Toán học: 1.01.10/ Nguyễn Vũ Quốc Hưng

Tác giả : Nguyễn Vũ Quốc Hưng

Năm xuất bản : 1999

Nơi xuất bản : H.

Mô tả vật lý : 99tr.; 32cm 1 tt

Số phân loại : 004.01

Chủ đề : 1. Hình học. 2. Phần mềm máy tính. 3. Toán tin. 4. 7.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Xác lập đặc trưng của phần mềm dạy học và các yếu tố quyết định để thiết kế xây dựng phần mềm đó. Phương thức biểu diễn tri thức hình học trong phần mềm trợ giúp chứng minh hình học, kỹ thuật nâng cao hiệu quả trong suy diễn dựa trên các hàm đánh giá mức độ cần thiết khi chọn luật áp dụng phần mềm đó
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 LA04.7155
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-246167.html

 

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

placeholder+image

Sách, tuyển tập

Hoạt động giáo dục nghề phổ thông - Nghề tin học văn phòng: Dùng cho giáo viên và học sinh THPT/ Nguyễn Vũ Quốc Hưng (ch.b.), Vũ Thái Giang, Nguyễn Tiến Trung

Tác giả : Nguyễn Vũ Quốc Hưng (ch.b.), Vũ Thái Giang, Nguyễn Tiến Trung

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

Năm xuất bản : 2014

placeholder+image

Sách, tuyển tập

Hoạt động giáo dục nghề phổ thông - Nghề tin học văn phòng: Dùng cho giáo viên và học sinh THCS/ Nguyễn Vũ Quốc Hưng (ch.b.), Vũ Thái Giang, Nguyễn Tiến Trung

Tác giả : Nguyễn Vũ Quốc Hưng (ch.b.), Vũ Thái Giang, Nguyễn Tiến Trung

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

Năm xuất bản : 2011

placeholder+image

Sách, tuyển tập

Hoạt động giáo dục nghề phổ thông - Nghề tin học văn phòng: Dùng cho giáo viên và học sinh THPT/ Nguyễn Vũ Quốc Hưng (ch.b.), Vũ Thái Giang, Nguyễn Tiến Trung

Tác giả : Nguyễn Vũ Quốc Hưng (ch.b.), Vũ Thái Giang, Nguyễn Tiến Trung

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

Năm xuất bản : 2011

placeholder+image

Sách, tuyển tập

Tin học lớp 11: Giáo dục thường xuyên cấp THPT/ B.s.: Nguyễn Vũ Quốc Hưng (ch.b.), Nguyễn Hồng Sơn, Nguyễn Minh Tuấn

Tác giả : B.s.: Nguyễn Vũ Quốc Hưng (ch.b.), Nguyễn Hồng Sơn, Nguyễn Minh Tuấn

Nhà xuất bản : Giáo dục

Năm xuất bản : 2009

placeholder+image

Sách, tuyển tập

Hướng dẫn dạy học tin học lớp 12: Giáo dục thường xuyên cấp trung học phổ thông/ B.s.: Nguyễn Vũ Quốc Hưng (ch.b.), Nguyễn Quỳnh Diệp, Nguyễn Hồng Sơn.

Tác giả : B.s.: Nguyễn Vũ Quốc Hưng (ch.b.), Nguyễn Quỳnh Diệp, Nguyễn Hồng Sơn.

Nhà xuất bản : Giáo dục

Năm xuất bản : 2009

 

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

placeholder+image

Sách, tuyển tập

Giáo trình tin học đại cương : Dùng cho sinh viên các khối kỹ thuật điện tử tin học, sinh học, kinh tế, sư phạm tự nhiên / Nguyễn Văn Linh

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

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 1991

placeholder+image

Sách, tuyển tập

Bài giảng tin học đại cương A / Châu Xuân Phương (Biên soạn)

Tác giả : Châu Xuân Phương (Biên soạn)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2000

placeholder+image

Sách, tuyển tập

Bài giảng quản trị dự án tin học / Phạm Thúc Trung

Tác giả : Phạm Thúc Trung

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2000

placeholder+image

Sách, tuyển tập

Giáo trình tin học; T2 / Hồ Sỹ Đàm, Lê Khắc Thành

Tác giả : Hồ Sỹ Đàm, Lê Khắc Thành

Nhà xuất bản : ĐHQG Hà Nội

Năm xuất bản : 2000

placeholder+image

Sách, tuyển tập

Giáo trình tin học; T1 / Hồ Sỹ Đàm, Lê Khắc Thành

Tác giả : Hồ Sỹ Đàm, Lê Khắc Thành

Nhà xuất bản : ĐHQG Hà Nội

Năm xuất bản : 2000