Tin học lý thuyết

Κώδικας 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,......

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Võ, Huỳnh Trâm
Μορφή:	Βιβλίο
Γλώσσα:	Undetermined
Έκδοση:	Cần Thơ Trường Đại học Cần Thơ 2009
Θέματα:	Machine theory,Formal languages,Lý thuyết máy tính,Hình thức ngôn ngữ
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

An introduction to formal languages and machine computation /
ανά: Yan, Song Y.
Έκδοση: (1998)

Lý thuyết ngôn ngữ hình thức và Otomat
ανά: Đặng, Huy Ruận
Έκδοση: (2002)

Introduction to automata theory, language, and computation
ανά: Hopcroft, John E.
Έκδοση: (2007)

Semigroups, algorithms, automata, and languages :
Έκδοση: (2002)

Cơ sở lý thuyết tính toán =
ανά: Hopcroft, J.
Έκδοση: (2003)

Giáo trình lý thuyết automat và ngôn ngữ hình thức
ανά: Hồ, Văn Quân
Έκδοση: (2002)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
ανά: Nguyễn, Thanh Tùng
Έκδοση: (1993)

Automata and computability
ανά: Kozen, Dexter
Έκδοση: (1997)

An introduction to formal languages and automata
ανά: Linz, Peter
Έκδοση: (2012)

Elements of the theory of computation /
ανά: Lewis, Harry R.
Έκδοση: (1998)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Έκδοση: (2002)

Cơ sở lý thuyết tính toán /
ανά: Hopcroft, J.
Έκδοση: (2003)

Cơ sở lý thuyết tính toán /
ανά: Hopcroft, J.
Έκδοση: (2003)

lý thuyết automat và ngôn ngữ hình thức
ανά: Trịnh, Thanh Đèo
Έκδοση: (2008)

Automata and languages : Theory and applications
ανά: Meduna, Alexander
Έκδοση: (2010)

Lý thuyết Automat và ngôn ngữ hình thức
Έκδοση: (2002)

Computability, complexity, and languages :
ανά: Davis, Martin
Έκδοση: (1994)

Problem solving in automata, languages, and complexity
ανά: Ding-zhu Du
Έκδοση: (2001)

Lý thuyết và bài tập Pascal nâng cao
Έκδοση: (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 :
ανά: Nguyễn, Thị Thu Hà
Έκδοση: (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
ανά: Nguyễn Văn Ba
Έκδοση: (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
Έκδοση: (2001)

Proceedings of the workshop semigroups and languages
Έκδοση: (2004)

Teaching Formal Methods
Έκδοση: (2020)

Frontiers of Combining Systems
ανά: Konev, Boris, κ.ά.
Έκδοση: (2020)

Finite Model Theory and Its Applications
ανά: Grädel, Erich, κ.ά.
Έκδοση: (2020)

Frontiers of Combining Systems
ανά: Gramlich, Bernhard
Έκδοση: (2020)

Frontiers of Combining Systems
Έκδοση: (2020)

Pillars of Computer Science
ανά: Avron, Arnon, κ.ά.
Έκδοση: (2020)

Fuzzy Systems and Knowledge Discovery
ανά: Wang, Lipo, κ.ά.
Έκδοση: (2020)

Computer Science Logic
Έκδοση: (2020)

Theorem Proving in Higher Order Logics
ανά: Schneider, Klaus, κ.ά.
Έκδοση: (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) :
ανά: Trần, Thị Kim Ngọc
Έκδοση: (2012)

Finiteness and regularity in semigroups and formal languages /
ανά: De Luca, A.
Έκδοση: (1999)

Finite automata
ανά: Mark V. Lawson
Έκδοση: (2004)

Robustness and Usability in Modern Design Flows
ανά: Fey, Görschwin, κ.ά.
Έκδοση: (2020)

Lý thuyết thông tin
ανά: Đặng, Văn Chuyết
Έκδοση: (2011)

Introduction to languages and the theory of computation
ανά: Martin, John C.
Έκδοση: (2011)

Giáo trình lý thuyết và bài tập Pascal toàn tập
ανά: Nguyễn Đình Tê.
Έκδοση: (2004)

Giáo trình lý thuyết lập trình căn bản B :
ανά: Vũ, Duy Linh
Έκδοση: (2010)