 1259905. LA VĂN ÁINgôn ngữ hình thức kiến trúc/ La Văn Ái, Triệu Quang Diệu ; Đặng Thái Hoàng biên dịch.- H.: Xây dựng, 2004.- 161tr.: hình vẽ; 24cm. Tóm tắt: Trình bày kiến thức về các hình thức cơ bản của kiến trúc như điểm, tuyến, diện, khối và các yếu tố cơ bản về hình dáng, màu sắc, chất cảm và hoa văn (Cấu trúc; Kiến trúc; ) [Vai trò: Triệu Quang Diệu; Đăng Thái Hoàng; ] DDC: 720 /Price: 42000đ /Nguồn thư mục: [NLV]. |
| 1466990. Lý thuyết Automat và ngôn ngữ hình thức/ Trần Đức Quang chọn lọc và biên dịch.- Tp. Hồ Chí Minh.: Nxb. Đại học quốc gia Tp. Hồ Chí Minh, 2002.- 276tr.; 24cm. Tóm tắt: Giới thiệu sơ lược về Automat và các ứng dụng của lý thuyết này với những khái niệm quan trọng như bộ chữ cái, ngôn ngữ và bài toán, các loại Automat, các biểu thức chính quy, văn phạm phi ngữ cảnh và Automat (Lý thuyết Automat; Ngôn ngữ; Tin học; ) [Vai trò: Trần Đức Quang; ] DDC: 005.131 /Price: 19đ /Nguồn thư mục: [TBDI]. |
| 1120557. LA VĂN ÁI Ngôn ngữ hình thức kiến trúc/ La Văn Ái, Triệu Quang Diệu ; Đặng Thái Hoàng biên dịch.- Tái bản.- H.: Xây dựng, 2010.- 161tr: hình vẽ; 24cm. Tóm tắt: Trình bày kiến thức về các hình thức cơ bản của kiến trúc như điểm, tuyến, diện, khối và các yếu tố cơ bản về hình dáng, màu sắc, chất cảm và hoa văn (Cấu trúc; Kiến trúc; ) [Vai trò: Triệu Quang Diệu; Đặng Thái Hoàng; ] DDC: 720 /Price: 52000đ /Nguồn thư mục: [NLV]. |
| 1147322. TRỊNH THANH ĐÈO Lý thuyết automat và ngôn ngữ hình thức/ Trịnh Thanh Đèo.- Tp. Hồ Chí Minh: Đại học Quốc gia Tp. Hồ Chí Minh, 2008.- 139tr.: hình vẽ, bảng; 24cm. Thư mục cuối chính văn Tóm tắt: Những khái niệm cơ bản về lĩnh vực automat và ngôn ngữ hình thức, ngôn ngữ chính qui, automat hữu hạn, văn phạm và ngôn ngữ phi ngữ cảnh... cùng một số ứng dụng, phân tích, xử lí các ngôn ngữ lập trình và xây dựng các ngôn ngữ lập trình mới (Lí thuyết ôtômát; Ngôn ngữ hình thức; Toán tin; ) DDC: 511.3 /Price: 10000đ /Nguồn thư mục: [NLV]. |
| 1477739. ĐẶNG HUY RUẬN Lý thuyết ngôn ngữ hình thức và Otomat/ Đặng Huy Ruận.- In lần thứ 2.- H.: Nxb. Đại học quốc gia Hà Nội, 2005.- 204tr: hình vẽ; 24cm. Thư mục: tr. 201 - 204 Tóm tắt: Gồm các khái niệm cơ bản của văn phạm hình thức và các otomat, phân loại ngôn ngữ của Chomsky. Trình bày ngôn ngữ chính quy gồm bốn công cụ sinh ngôn ngữ chính quy: nguồn, Otomat hữu hạn, văn phạm chính quy và biểu thức chính quy; ngôn ngữ phi ngữ cảnh (Giáo trình; Lí thuyết; Ngôn ngữ hình thức; Ngôn ngữ thông tin; ) DDC: 005.13071 /Price: 24000đ /Nguồn thư mục: [TBDI]. |
| 1306665. ĐẶNG HUY RUẬN Lý thuyết ngôn ngữ hình thức và Otomat/ Đặng Huy Ruận.- H.: Đại học Quốc gia, 2002.- 204tr; 24cm. ĐTTS ghi: Đại học Quốc gia Hà Nội Tóm tắt: Trình bày các khái niệm cơ bản của văn phạm hình thức, phân loại ngôn ngữ của Homsky. Trình bày ngôn ngữ chính quy và Otomat hữu hạn, trong đó có bốn công cụ sinh ngôn ngữ chính quy là nguồn, Otomat hữu hạn, văn phạm chính quy và biểu thức chính quy. Ngôn ngữ phi ngữ cảnh và Otomat đẩy xuống là công cụ đoán nhận ngôn ngữ phi ngữ cảnh {Lí thuyết; Ngôn ngữ thông tin; Otomat; Tin học; } |Lí thuyết; Ngôn ngữ thông tin; Otomat; Tin học; | DDC: 005.131 /Price: 20500đ /Nguồn thư mục: [NLV]. |
| 1302206. NGUYỄN VĂN BA Ngôn ngữ hình thức/ Nguyễn Văn Ba.- H.: Khoa học và Kỹ thuật, 2002.- 126tr : hình vẽ; 24cm. Thư mục: tr. 126 Tóm tắt: Đại cương về ngôn ngữ hình thức và cách xác định ngôn ngữ. Trình bày các văn phạm phi ngữ cảnh và văn phạm chính quy; các ôtômát hữu hạn, biểu thức chính quy, ôtômát đẩy xuống, máy turing và ôtômát tuyến tính giới nội {Giáo trình; Ngôn ngữ hình thức; Ngôn ngữ lập trình; Tin học; } |Giáo trình; Ngôn ngữ hình thức; Ngôn ngữ lập trình; Tin học; | DDC: 005.131 /Price: 15000đ /Nguồn thư mục: [NLV]. |
| 897857. FREGE, GOTTLOB Hệ ghi ý - Ngôn ngữ khái niệm. Về nghĩa và rép= Begriffsschrift. Über Sinn und Bedeutung : Một ngôn ngữ hình thức (được mô hình theo ngôn ngữ số học) biểu diễn tư tưởng ròng/ Gottlob Frege ; Trần Đình Thắng dịch.- Đà Nẵng: Nxb. Đà Nẵng, 2020.- 204tr.: minh hoạ; 24cm. Phụ lục: tr. 191-195 ISBN: 9786048451752 Tóm tắt: Trình bày kiến thức về logic học: Phán đoán, tính điều kiện, phủi, đồng nhất nội dung, hàm, tính tổng quát. Giới thiệu về “nghĩa” và “rép” (Logic học; ) [Vai trò: Trần Đình Thắng; ] DDC: 160 /Price: 190000đ /Nguồn thư mục: [NLV]. |
| 1069363. NGUYỄN THANH BÌNH Giáo trình ngôn ngữ hình thức/ Nguyễn Thanh Bình.- H.: Thông tin và Truyền thông, 2012.- 182tr.: hình vẽ; 24cm. Thư mục cuối chính văn ISBN: 9786048001603 Tóm tắt: Trình bày các khái niệm cơ bản về ngôn ngữ hình thức, văn phạm và ô-tô-mát. Giới thiệu về ôtômát hữu hạn, biểu thức chính quy, văn phạm chính quy và tính chất của ngôn ngữ chính quy, văn phạm phi ngữ cảnh, ôtômát đẩy xuống và máy turing (Ngôn ngữ hình thức; ) DDC: 511.3 /Price: 50000đ /Nguồn thư mục: [NLV]. |
| 1127703. ĐOÀN VĂN BAN Giáo trình ngôn ngữ hình thức và ôtômát/ Đoàn Văn Ban (ch.b.), Nguyễn Hiền Trinh.- Thái Nguyên: Đại học Thái Nguyên, 2009.- 268tr.: hình vẽ, bảng; 24cm. Thư mục : tr. 267 Tóm tắt: Trình bày các tính chất quan trọng của các cấu trúc đại số, logic mệnh đề, lí thuyết ôtômát, ngôn ngữ hình thức, ngôn ngữ chính qui và lí thuyết tính toán với nhiều ví dụ minh hoạ (Lí thuyết ôtômat; Ngôn ngữ hình thức; ) [Vai trò: Nguyễn Hiền Trinh; ] DDC: 511.3 /Price: 47000đ /Nguồn thư mục: [NLV]. |
| 1727039. LA, VĂN ÁI Ngôn ngữ hình thức kiến trúc. T.2/ La Văn Quán, Triệu Quang Diệu ; Đặng Thái Hoàng biên dịch.- Tái bản.- Hà Nội: Xây Dựng, 2010.- 255 tr.: minh hoạ; 24 cm. Tóm tắt: Đây là một cuốn sách cần thiết và bổ ích cho sinh viên kiến trúc và các kiến trúc sư. Cuốn sách được trình bày bằng những hình tượng kiến trúc có cách vẽ sinh động, trình bày kiến thức về các hình thức cơ bản của kiến trúc như điểm, tuyến, diện, khối và các yếu tố cơ bản về hình dáng, màu sắc, chất cảm và hoa văn. (Architecture; Structural design; Kiến trúc; Thiết kế cấu trúc; ) |Cấu trúc khung; Ngôn ngữ kiến trúc; | [Vai trò: Triệu, Quang Diệu; Đặng, Thái Hoàng; ] DDC: 721.042 /Price: 66000 /Nguồn thư mục: [SCTHU]. |
| 1737131. HỒ, VĂN QUÂN Lý thuyết Automat và ngôn ngữ hình thức, 2006 /Price: 17500 /Nguồn thư mục: [SCTHU]. |
| 1669662. HỒ, VĂN QUÂN Giáo trình lý thuyết automat và ngôn ngữ hình thức/ Hồ Văn Quân.- Thành phố Hồ Chí Minh: Đại học Quốc gia, 2002.- 161 tr.: minh họa; 24 cm. Sách có danh mục tài liệu tham khảo Tóm tắt: Giới thiệu về lý thuyết automat và ngôn ngữ hình thức, trình bày về các lớp automat từ dơn giản đến nâng cao, trình bày về máy Turing, một só giải thuật và kết quả khác (Automath; Machine theory; Automat; Ngôn ngữ hình thức; ) |Automat hữu hạn; Ngôn ngữ chính quy; | DDC: 511.3 /Nguồn thư mục: [SCTHU]. |
| 1608415. TRẦN CAO ĐỆ Bài giảng môn lý thuyết ngôn ngữ hình thức và Automat/ Trần Cao Đệ.- Cần Thơ: Đại học Cần Thơ, 1995.- 46 tr.; 29 cm.. |Automat; Ngôn ngữ; | DDC: 005.13 /Nguồn thư mục: [SDTHU]. |
| 1689338. NGUYỄN VĂN BA Giáo trình ngôn ngữ hình thức/ Nguyễn Văn Ba.- Hà Nội: Trường Đại học Bách Khoa Hà Nội, 1994; 93tr.. Tóm tắt: Đại cương về ngôn ngữ hình thức và các cách xác định ngôn ngữ; Ôtomát hữu hạn và biểu thức chính quy; Văn phạm phi ngữ cảnh và văn phạm chính quy; Ôtomát đẩy xuống; Máy turing và ôtômát tuyến tính giới nội. (program languages; ) |Ngôn ngữ hình thức; | DDC: 005.13 /Nguồn thư mục: [SCTHU]. |
| 1736330. NGUYỄN, THANH TÙNG Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat/ Nguyễn Thanh Tùng.- Thành phố Hồ Chí Minh: Đại học Bách khoa, 1993.- 112 tr.: minh hoạ; 30 cm. Tóm tắt: Sách trình bày các kiến thức cơ bản của ngôn ngữ hình thức, ngôn ngữ chính quy, ngôn ngữ phi cảnh, ngôn ngữ loại 0 ngôn ngữ loại 1, trình bày về máy Turing với các biến dạng (Automath; Machine theory; Ngôn ngữ hình thức; Ôtômat; ) |Ngôn ngữ chính quy; Ngôn ngữ phi cảnh; | DDC: 511.3 /Nguồn thư mục: [SCTHU]. |
| 1743299. LA, VĂN ÁI Ngôn ngữ hình thức kiến trúc/ La Văn Ái, Triệu Quang Diệu; Đặng Thái Hoàng biên dịch.- Tái bản.- Hà Nội: Xây dựng, 2013.- 161 tr.: hình vẽ; 24 cm. Tóm tắt: Trình bày những hình thức cơ bản của kiến trúc: điểm, tuyến, diện, hình khối và các yếu tố cơ bản về hình dáng, màu sắc, chất cảm và hoa văn (Kiến trúc; ) |Hình thức; | [Vai trò: Triệu, Quang Diệu; Đặng, Thái Hoàng; ] DDC: 720 /Price: 73000 VND /Nguồn thư mục: [NBDU]. |
| 1649711. ĐẶNG HUY RUẬN Lý thuyết ngôn ngữ hình thức và Otomat: Giáo trình/ Đặng Huy Ruận.- In lần thứ 2.- H.: Nxb. Đại học quốc gia Hà Nội, 2005.- 204tr.; 24cm. |Logic toán; Lý thuyết Ôtômat; Ngôn ngữ hình thức; Toán học; | /Price: 24000đ /Nguồn thư mục: [DHPH]. |
| 1755688. LA VĂN ÁI Ngôn ngữ hình thức kiến trúc. Tâp 2: Ngôn ngữ hình thức kiến trúc/ La Văn Ái, Triệu Quang Diệu; Đặng Thái Hoàng biên dịch.- Hà Nội: Xây dựng, 2004.- 2545 tr.; 24 cm. Tóm tắt: Giới thiệu các khái niệm, và các kiểu kiến trúc có kèm theo hình ảnh minh hoạ |Kiến trúc; | [Vai trò: Triệu Quang Diệu; ] DDC: 720 /Price: 35000VND /Nguồn thư mục: [NBDU]. |
| 947400. TRẦN XUÂN SANG Giáo trình ngôn ngữ hình thức và automata/ Trần Xuân Sang (ch.b.), Nguyễn Thị Uyên, Hoàng Hữu Việt.- Vinh: Đại học Vinh, 2018.- 184tr.: minh hoạ; 24cm. Phụ lục: tr. 155-182. - Thư mục: tr. 183 ISBN: 9786049234019 Tóm tắt: Tổng quan về ngôn ngữ hình thức và Automata theo hướng tiếp cận toán học; một số kiến thức về automata hữu hạn, biểu thức chính quy và văn phạm chính quy, văn phạm phi ngữ cảnh và automata đẩy xuống (Ngôn ngữ hình thức; Toán học; ) {Automata; } |Automata; | [Vai trò: Hoàng Hữu Việt; Nguyễn Thị Uyên; ] DDC: 511.30711 /Price: 52000đ /Nguồn thư mục: [NLV]. |