Kết quả tìm kiếm - "logic, symbolic and mathematical"

21

Tìm đường trong mê cung Tuyển các bài toán tin cho học sinh giỏi có hướng dẫn và toàn văn chương trình

Bỡi Nguyễn Xuân Huy
Được phát hành 1997

Những chủ đề: “...logic, symbolic and mathematical,pascal ( computer program language )...”

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

22

Data engineering: Fuzzy mathematics in systems theory and data analysis

Bỡi Olaf Wolkenhauer
Được phát hành 2001

Những chủ đề: “...fuzzy sets,set theory,logic, symbolic and mathematical...”

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

23

Propositions, functions, and analysis selected essays on Russell's philosophy

Bỡi Hylton, Peter
Được phát hành 2008

Những chủ đề: “...Russell; Bertrand; Analysis (Philosophy); Logic; Symbolic and mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Trà Vinh

24

Symbolic logic syntax, semantics, and proof

Bỡi Agler, David W
Được phát hành 2013

Những chủ đề: “...Logic, Modern; Logic, Symbolic and mathematical; Logic ký hiệu...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Liên kết dữ liệu

25

Paradox and paraconsistency : conflict resolution in the abstract sciences

Bỡi Woods, John
Được phát hành 2003

Những chủ đề: “...Logic, Symbolic and mathematical,Pluralism,Nguyên lý toán học...”

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

26

Bài giảng cơ sở logic và tập hợp

Bỡi Lê, Văn Sáng
Được phát hành 2000

Những chủ đề: “...Ensembles ( mathematics ),Ensembles ( mathematics ),Logic, symbolic and mathematical,Logic...”

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

27

Giáo trình cơ sở logic và lý thuyết tập hợp

Bỡi Lê, Phương Thảo
Được phát hành 2008

Những chủ đề: “...Set theory,Logic, symbolic and mathematical,Lý thuyết tập hợp...”

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

28

Computability and logic

Bỡi Boolos, George
Được phát hành 2002

Những chủ đề: “...Computable functions,Recursive functions,Logic, Symbolic and mathematical,Toán Logic...”

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

29

Lôgich toán và cơ sở toán học Cơ sở Grobner

Bỡi Phan, Đình Diệu
Được phát hành 2003

Những chủ đề: “...Loogic, biểu tượng và toán học,Logic, Symbolic and mathematical...”

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

30

Logically determined design : Clockless system design with NULL convention logic

Bỡi Fant, Karl M.
Được phát hành 2005

Những chủ đề: “...Asynchronous circuits,Logic, symbolic and mathematical,Logic design,Computer architecture...”

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

31

Giáo trình mô hình hóa quyết định

Bỡi Huỳnh, Xuân Hiệp
Được phát hành 2014

Những chủ đề: “...Programming ( mathematics ),Lô gíc, thuật toán ứng dụng,Logic, symbolic and mathematical...”

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

32

Logic and language models for computer science

Bỡi Henry Hamburger
Được phát hành 2002

Những chủ đề: “...programming languages ( electronic computers ),logic, symbolic and mathematical,computer science...”

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

33

Analysis and logic

Được phát hành 2002

Những chủ đề: “...Mathematical analysis,Logic, Symbolic and mathematical,Toán học giải tích,Lôgic, Toán học...”

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

34

Mô hình hóa quyết định với phép toán tích hợp trung bình trọng số được sắp thứ tự : Luận văn thạc sĩ Tin học chuyên ngành Hệ thống Thông tin

Bỡi Nguyễn, Thị Thủy Chung
Được phát hành 2010

Những chủ đề: “...Logic, symbolic and mathematical,Programming ( mathematics ),Lô gíc, thuật toán ứng dụng...”

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

35

Applications of discrete mathematics

Bỡi Michaels, John G.
Được phát hành 1992

Những chủ đề: “...Algebra, abstract,Combinatorial analysis,Logic, symbolic and mathematical...”

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

36

Schaum's outline of theory and problems of discrete mathematics

Bỡi Lipschutz, Seymour
Được phát hành 1997

Những chủ đề: “...algebra, abstract,combinatorial analysis,logic, symbolic and mathematical...”

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

37

Nonstandard logics and nonstandard metrics in physics

Bỡi Honig, William M
Được phát hành 1995

Những chủ đề: “...Logic, Symbolic and mathematical.; Mathematical physics; Metric spaces.; Nonstandard mathematical...”

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một

Liên kết dữ liệu

38

Theorems, corollaries, lemmas, and methods of proof

Bỡi Rossi, Richard J.
Được phát hành 2006

Những chủ đề: “...Proof theory,Mathematical analysis,Logic, Symbolic and mathematical,Bằng chứng lý thuyết...”

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

Tìm kiếm hẹp