Tìm đường trong mê cung

QR Kodea

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

Hiển thị phiên bản (1) khác

Sách giới thiệu vắn tắt về bản chất các phương pháp và kỹ thuật lập trình; tiếp theo sách cung cấp các đề toán, trình bày và phân tích chi tiết lời giải. Ngoài ra, sách cũng giới thiệu toàn văn các chương trình viết bằng ngôn ngữ lập...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Nguyễn Xuân Huy
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	Hà Nội Giáo Dục 1997
Gaiak:	logic, symbolic and mathematical,pascal ( computer program language )
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Logic for computer scientists
nork: Uwe Schoning
Argitaratua: (1989)

Discrete-event system simulation
Argitaratua: (2001)

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

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

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

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

Cơ sở toán trong lập trình
nork: Đỗ Đức Giáo
Argitaratua: (1998)

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

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

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

Logic toán
nork: S L Edenmar
Argitaratua: (1981)

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

An introduction to symbolic logic
nork: Langer, Susanne Katherina
Argitaratua: (1953)

Logic
Argitaratua: (1980)

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

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

Mathematical logic for computer science.
nork: Lu Zhungwan
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Mathematical logic for computer science /
nork: Lu, Zhongwan.
Argitaratua: (1989)

Transition to higher mathematics :
nork: Dumas , Bob A.
Argitaratua: (2007)

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

Logic and language models for computer science
nork: Henry Hamburger
Argitaratua: (2002)

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

Logic for mathematics and computer sicence
nork: Burris, Stanley N.
Argitaratua: (1998)

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

Discrete mathematics by example
nork: Andrew Simpson
Argitaratua: (2002)

Discrete mathematics
nork: Johnsonbaugh, Richard
Argitaratua: (2005)

101 thuật toán và chương trình :
nork: Lê, Văn Doanh
Argitaratua: (1996)

Computability and logic
nork: Boolos, George
Argitaratua: (2002)

Symbolic logic
nork: Agler, David W
Argitaratua: (2013)

Elements of the theory of computation /
nork: Lewis, Harry R.
Argitaratua: (1998)

Relational and Algebraic Methods in Computer Science
nork: Höfner, Peter, et al.
Argitaratua: (2020)

Relations and Kleene Algebra in Computer Science
nork: Berghammer, Rudolf, et al.
Argitaratua: (2020)

Condensed Pascal /
nork: Cooper, Doug.
Argitaratua: (1987)

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

Pascal and beyond-data abstraction and data structures using Turbo Pascal /
nork: Fisher, Steven.
Argitaratua: (1992)

Giáo trình mô hình hóa quyết định
nork: Huỳnh, Xuân Hiệp
Argitaratua: (2014)

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

Giáo trình tối ưu hóa
nork: Bùi Minh Trí
Argitaratua: (1996)

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