Tin học lý thuyết

QR-koodi

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,......

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Võ, Huỳnh Trâm
Aineistotyyppi:	Kirja
Kieli:	Undetermined
Julkaistu:	Cần Thơ Trường Đại học Cần Thơ 2009
Aiheet:	Machine theory,Formal languages,Lý thuyết máy tính,Hình thức ngôn ngữ
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

An introduction to formal languages and machine computation /
Tekijä: Yan, Song Y.
Julkaistu: (1998)

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

Introduction to automata theory, language, and computation
Tekijä: Hopcroft, John E.
Julkaistu: (2007)

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

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

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

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

Automata and computability
Tekijä: Kozen, Dexter
Julkaistu: (1997)

An introduction to formal languages and automata
Tekijä: Linz, Peter
Julkaistu: (2012)

Elements of the theory of computation /
Tekijä: Lewis, Harry R.
Julkaistu: (1998)

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

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

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

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

Automata and languages : Theory and applications
Tekijä: Meduna, Alexander
Julkaistu: (2010)

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

Computability, complexity, and languages :
Tekijä: Davis, Martin
Julkaistu: (1994)

Problem solving in automata, languages, and complexity
Tekijä: Ding-zhu Du
Julkaistu: (2001)

Lý thuyết và bài tập Pascal nâng cao
Julkaistu: (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 :
Tekijä: Nguyễn, Thị Thu Hà
Julkaistu: (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
Tekijä: Nguyễn Văn Ba
Julkaistu: (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
Julkaistu: (2001)

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

Teaching Formal Methods
Julkaistu: (2020)

Frontiers of Combining Systems
Tekijä: Konev, Boris, et al.
Julkaistu: (2020)

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

Frontiers of Combining Systems
Tekijä: Gramlich, Bernhard
Julkaistu: (2020)

Frontiers of Combining Systems
Julkaistu: (2020)

Pillars of Computer Science
Tekijä: Avron, Arnon, et al.
Julkaistu: (2020)

Fuzzy Systems and Knowledge Discovery
Tekijä: Wang, Lipo, et al.
Julkaistu: (2020)

Computer Science Logic
Julkaistu: (2020)

Theorem Proving in Higher Order Logics
Tekijä: Schneider, Klaus, et al.
Julkaistu: (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) :
Tekijä: Trần, Thị Kim Ngọc
Julkaistu: (2012)

Finiteness and regularity in semigroups and formal languages /
Tekijä: De Luca, A.
Julkaistu: (1999)

Finite automata
Tekijä: Mark V. Lawson
Julkaistu: (2004)

Robustness and Usability in Modern Design Flows
Tekijä: Fey, Görschwin, et al.
Julkaistu: (2020)

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

Introduction to languages and the theory of computation
Tekijä: Martin, John C.
Julkaistu: (2011)

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

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