Kết quả tìm kiếm

1201

Automated Reasoning with Analytic Tableaux and Related Methods

Bỡi Olivetti, Nicola
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Formal Languages...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1202

ứng dụng lý thuyết mờ để hiệu chỉnh tham số của bộ điều khiển PID

Bỡi Giang Thị Châm
Được phát hành 2018

Những chủ đề: “...Ứng dụng Logic mờ...”

Thư viện lưu trữ: Trung tâm Học liệu và E-Learning, Trường Đại học Sư phạm – Đại học Đà Nẵng

Liên kết dữ liệu

1203

Solving Problems in Mathematical Analysis, Part I

Bỡi Radożycki, Tomasz
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Foundations...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu

1204

Springer Handbook of Model-Based Science. 1st ed. 2017

Bỡi Magnani, Lorenzo, Bertolotti, Tommaso
Được phát hành 2020

Những chủ đề: “...Mathematical Logic and Foundations...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu
Liên kết dữ liệu

1205

Rèn luyện tư duy logic và ngôn ngữ chính xác trong dạy học chủ đề Phương pháp toạ độ trong mặt phẳng, hình học 10 Luận văn thạc sĩ khoa học giáo dục. Chuyên ngành: LL và PP dạy học bộ môn Toán . Mã số: 8.14.01.11

Bỡi Phan, Công Trứ
Được phát hành 2020

Những chủ đề: “...Tư duy logic...”

Thư viện lưu trữ: Trung tâm Học liệu Lê Vũ Hùng, Trường Đại học Đồng Tháp

1206

Xây dựng, phát triển, ứng dụng một số mô hình kết hợp giữa mạng Nơron(NN) Logic mờ(FL) và thuật giả di truyền (GA)

Bỡi Lê, Hoàng Thái
Được phát hành 2018

Thư viện lưu trữ: Trung tâm Học liệu và E-Learning, Trường Đại học Sư phạm – Đại học Đà Nẵng

Liên kết dữ liệu

1207

Cấu hình và xây dựng sơ đồ logic cho rơle bảo vệ quá dòng bảo vệ trạm biến áp cho phụ tải 110kV

Bỡi Đặng, Mỹ Nhựt, Nguyễn, Thanh Quang
Được phát hành 2023

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu
Liên kết dữ liệu

1208

Nghiên cứu, thiết kế bộ điều khiển tránh va chạm thông minh cho tàu thủy ứng dụng logic mờ và trí tuệ nhân tạo A

Bỡi Nguyễn, Thanh Vân, Đinh, Anh Tuấn, Đoàn, Hữu Khánh, Nguyễn, Văn Hùng
Được phát hành 2024

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu
Liên kết dữ liệu

1209

Thực nghiệm biện pháp phát triển năng lực sử dụng ngôn ngữ toán học cho sinh viên sư phạm thông qua dạy học Logic toán

Bỡi Nguyễn, Thị Chung, Đỗ, Thị Hoài, Đào, Hồng Diệu, Nguyễn, Thị Ngọc Hằng
Được phát hành 2023

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liên kết dữ liệu
Liên kết dữ liệu

1210

On instantiation and integration commutability of design pattern /

Bỡi Dong, Jing.

Những chủ đề: “...Logics...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1211

Hands- ON AI with Java Smart Gaming Robotics, and More /

Bỡi Wise Edwin
Được phát hành 2004

Những chủ đề: “...Thinking Logically...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

1212

Về hội thảo khoa học : Lôgíc truyền thống - Các vấn đề lịch sử và ứng dụng /

Bỡi Trần Thị Huyền.

Những chủ đề: “...Logic học...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1213

Comprehensive mathematics for computer scientists 1 : sets and numbers, graphs and algebra, logic and machines, linear geometry /

Bỡi Guerino, Mazzola,.
Được phát hành 2004

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1214

Comprehensive mathematics for computer scientists 1 : sets and numbers, graphs and algebra, logic and machines, linear geometry /

Bỡi Guerino, Mazzola,.
Được phát hành 2004

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1215

An inquiry into meaning and truth : The William James lectures for 1940 delivered at Harvard University

Bỡi Russell, Bertrand
Được phát hành 1980

Những chủ đề: “...Meaning (Philosophy),Philosophy,Knowledge, theory of,Logic,Truth...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

1216

Họ Vi Điều Khiển

Bỡi Tống, Văn On
Được phát hành 2001

Những chủ đề: “...Programmable controllers,Programmable logic devices,Chương trình điều khiển...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

1217

Essentials of error-control coding

Bỡi Moreira, Jorge Castineira
Được phát hành 2006

Những chủ đề: “...Error-correcting codes (Information theory),Computer arithmetic and logic units...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

1218

Toán học và thi ca /

Bỡi Lê Quốc Hán.

Những chủ đề: “...Tư duy logic...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1219

Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL /

Những chủ đề: “...Higher-order logic...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

1220

Hình thành kỹ năng tư duy cho học sinh tiểu học thông qua dạy học giải toán /

Bỡi Đỗ Tùng, ThS.

Những chủ đề: “...Logic...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Tìm kiếm hẹp