Tin học lý thuyết

Côd QR

Tin học lý thuyết

Cung cấp các kiến thức về toán học, thuật ngữ và phương pháp chứng minh toán học, khái niệm chung về ngôn ngữ, các thành phần và một số phép toán dùng xác định ngôn ngữ, văn phạm chính quy, khảo sát lớp văn phạm kế tiếp,......

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Võ, Huỳnh Trâm
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	Cần Thơ Trường Đại học Cần Thơ 2009
Pynciau:	Machine theory,Formal languages,Lý thuyết máy tính,Hình thức ngôn ngữ
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

An introduction to formal languages and machine computation /
gan: Yan, Song Y.
Cyhoeddwyd: (1998)

Lý thuyết ngôn ngữ hình thức và Otomat
gan: Đặng, Huy Ruận
Cyhoeddwyd: (2002)

Introduction to automata theory, language, and computation
gan: Hopcroft, John E.
Cyhoeddwyd: (2007)

Semigroups, algorithms, automata, and languages :
Cyhoeddwyd: (2002)

Cơ sở lý thuyết tính toán =
gan: Hopcroft, J.
Cyhoeddwyd: (2003)

Giáo trình lý thuyết automat và ngôn ngữ hình thức
gan: Hồ, Văn Quân
Cyhoeddwyd: (2002)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
gan: Nguyễn, Thanh Tùng
Cyhoeddwyd: (1993)

Automata and computability
gan: Kozen, Dexter
Cyhoeddwyd: (1997)

An introduction to formal languages and automata
gan: Linz, Peter
Cyhoeddwyd: (2012)

Elements of the theory of computation /
gan: Lewis, Harry R.
Cyhoeddwyd: (1998)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Cyhoeddwyd: (2002)

Cơ sở lý thuyết tính toán /
gan: Hopcroft, J.
Cyhoeddwyd: (2003)

Cơ sở lý thuyết tính toán /
gan: Hopcroft, J.
Cyhoeddwyd: (2003)

lý thuyết automat và ngôn ngữ hình thức
gan: Trịnh, Thanh Đèo
Cyhoeddwyd: (2008)

Automata and languages : Theory and applications
gan: Meduna, Alexander
Cyhoeddwyd: (2010)

Lý thuyết Automat và ngôn ngữ hình thức
Cyhoeddwyd: (2002)

Computability, complexity, and languages :
gan: Davis, Martin
Cyhoeddwyd: (1994)

Problem solving in automata, languages, and complexity
gan: Ding-zhu Du
Cyhoeddwyd: (2001)

Lý thuyết và bài tập Pascal nâng cao
Cyhoeddwyd: (2001)

Phân lớp thư rác dựa trên mô hình túi từ và giải thuật Random multinomial Naive Bayes :
gan: Nguyễn, Thị Thu Hà
Cyhoeddwyd: (2012)

Lý thuyết ngôn ngữ và tính toán Sách dùng cho sing viên đại học và học viên cao học của các ngành Công nghệ thông tin và Toán ở các trường đại học
gan: Nguyễn Văn Ba
Cyhoeddwyd: (2006)

Lý thuyết và bài tập Pascal nâng cao Dành cho học sinh phổ thông trung học và sinh viên
Cyhoeddwyd: (2001)

Proceedings of the workshop semigroups and languages
Cyhoeddwyd: (2004)

Teaching Formal Methods
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
gan: Konev, Boris, et al.
Cyhoeddwyd: (2020)

Finite Model Theory and Its Applications
gan: Grädel, Erich, et al.
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
gan: Gramlich, Bernhard
Cyhoeddwyd: (2020)

Frontiers of Combining Systems
Cyhoeddwyd: (2020)

Pillars of Computer Science
gan: Avron, Arnon, et al.
Cyhoeddwyd: (2020)

Fuzzy Systems and Knowledge Discovery
gan: Wang, Lipo, et al.
Cyhoeddwyd: (2020)

Computer Science Logic
Cyhoeddwyd: (2020)

Theorem Proving in Higher Order Logics
gan: Schneider, Klaus, et al.
Cyhoeddwyd: (2020)

Phân lớp dữ liệu văn bản lớn dựa trên mô hình túi từ (Bag-of-words) và với giải thuật máy học véc tơ hỗ trợ (SVM) :
gan: Trần, Thị Kim Ngọc
Cyhoeddwyd: (2012)

Finiteness and regularity in semigroups and formal languages /
gan: De Luca, A.
Cyhoeddwyd: (1999)

Finite automata
gan: Mark V. Lawson
Cyhoeddwyd: (2004)

Robustness and Usability in Modern Design Flows
gan: Fey, Görschwin, et al.
Cyhoeddwyd: (2020)

Lý thuyết thông tin
gan: Đặng, Văn Chuyết
Cyhoeddwyd: (2011)

Introduction to languages and the theory of computation
gan: Martin, John C.
Cyhoeddwyd: (2011)

Giáo trình lý thuyết và bài tập Pascal toàn tập
gan: Nguyễn Đình Tê.
Cyhoeddwyd: (2004)

Giáo trình lý thuyết lập trình căn bản B :
gan: Vũ, Duy Linh
Cyhoeddwyd: (2010)