Cơ sở toán trong lập trình

QR-koodi

Cơ sở toán trong lập trình

Näytä muut versiot (1)

Sách cung cấp có hệ thống những khái niệm về kiến thức cơ bản nhất của toán học trong khoa học máy tính, đặc biệt trong lĩnh vực lập trình

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Đỗ Đức Giáo
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	Hà Nội KHKT 1998
Aiheet:	logic, symbolic and mathematical
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

Một số vấn đề về thuật toán
Tekijä: Nguyễn, Hữu Điển
Julkaistu: (2006)

How to read and do proofs : an introduction to mathematical thought processes /
Tekijä: Solow, Daniel.
Julkaistu: (1990)

Logic toán
Tekijä: S L Edenmar
Julkaistu: (1981)

Bước đầu làm quen với logic toán
Tekijä: Nguyễn Mạnh Trinh
Julkaistu: (1997)

Các bài toán về suy luận logic
Tekijä: Trần, Diên Hiển
Julkaistu: (2000)

Bước đầu làm quen với logic toán
Tekijä: Nguyễn Mạnh Trinh
Julkaistu: (1999)

Bảy phương pháp giải các bài toán logic
Tekijä: Đặng Huy Ruận

Bảy phương pháp giải các bài toán logic
Tekijä: Đặng, Huy Ruận
Julkaistu: (2002)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Tekijä: Banerjee, Mohua, et al.
Julkaistu: (2015)

An introduction to symbolic logic
Tekijä: Langer, Susanne Katherina
Julkaistu: (1953)

Logic
Julkaistu: (1980)

The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Tekijä: Koslow, Arnold, et al.
Julkaistu: (2015)

Logic for computer scientists
Tekijä: Uwe Schoning
Julkaistu: (1989)

Transition to higher mathematics :
Tekijä: Dumas , Bob A.
Julkaistu: (2007)

Giáo trình khái niệm tập hợp, logic; phương pháp thống kê
Tekijä: Hoàng Chúng
Julkaistu: (1977)

Toán rời rạc ứng dụng trong tin học =
Tekijä: Rosen, Kenneth H.
Julkaistu: (2002)

Tập hợp và logic :
Tekijä: Hoàng, Xuân Sính
Julkaistu: (1998)

Discrete-event system simulation
Julkaistu: (2001)

Cơ sở lí thuyết tập hợp và lôgic toán :
Tekijä: Trần, Diên Hiển
Julkaistu: (2007)

Logic for mathematics and computer sicence
Tekijä: Burris, Stanley N.
Julkaistu: (1998)

Nhập môn lý thuyết tập hợp và logic
Tekijä: Phan Hữu Chân
Julkaistu: (1977)

Discrete mathematics by example
Tekijä: Andrew Simpson
Julkaistu: (2002)

Discrete mathematics
Tekijä: Johnsonbaugh, Richard
Julkaistu: (2005)

Mathematical logic for computer science.
Tekijä: Lu Zhungwan
Julkaistu: (1989)

Mathematical logic for computer science /
Tekijä: Lu, Zhongwan.
Julkaistu: (1989)

Mathematical logic for computer science /
Tekijä: Lu, Zhongwan.
Julkaistu: (1989)

Symbolic logic
Tekijä: Agler, David W
Julkaistu: (2013)

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Tekijä: van Atten, Mark
Julkaistu: (2015)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Tekijä: Chakraborty, M, et al.
Julkaistu: (2015)

Bài giảng cơ sở logic và tập hợp
Tekijä: Lê, Văn Sáng
Julkaistu: (2000)

Lôgich toán và cơ sở toán học
Tekijä: Phan, Đình Diệu
Julkaistu: (2003)

Tìm đường trong mê cung
Tekijä: Nguyễn Xuân Huy
Julkaistu: (1997)

Computability and logic
Tekijä: Boolos, George
Julkaistu: (2002)

Giáo trình cơ sở logic và lý thuyết tập hợp
Tekijä: Lê, Phương Thảo
Julkaistu: (2008)

Data engineering: Fuzzy mathematics in systems theory and data analysis
Tekijä: Olaf Wolkenhauer
Julkaistu: (2001)

Propositions, functions, and analysis
Tekijä: Hylton, Peter
Julkaistu: (2008)

Set theory and the continuum hypothesis /
Tekijä: Cohen, Paul J., 1934-2007.
Julkaistu: (1966)

Collected works
Julkaistu: (2003)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Tekijä: Baixeries, Jaume, et al.
Julkaistu: (2015)

Nonstandard logics and nonstandard metrics in physics /
Tekijä: Honig, William M.
Julkaistu: (1995)