bài 6 ngôn ngữ tân từ
Bài 6: Ngôn ngữ tân từ pot
... Bài 6: Ngôn ngữ tân từ www.Athena.Edu.Vn Nội dung Giới thiệu Cú pháp Các định nghĩa Diễn giải công thức Quy tắc lượng giá công thức Ngôn ngữ tân từ có biến n Ngôn ngữ tân từ có biến ... www.Athena.Edu.Vn Giới thiệu • Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) Lacroit, Proix Ullman phát triển, cài đặt số ngôn ngữ QBE, ALPHA • Đặc điểm: – Ngôn ngữ phi thủ tục – Rút ... M={a1,a2,…,an} F(ai), aiM • Lượng từ : x biến, x F(x): Đ với aiM/F(ai):Đ M={a1,a2,…,an} F(ai), aiM www.Athena.Edu.Vn 10 Ngôn ngữ tân từ có biến n 6. 1 6. 2 6. 3 6. 4 Qui tắc Định nghĩa Công thức...
- 26
- 175
- 0
Bài 6: Ngôn ngữ tân từ doc
... công thức Quy tắc lượng giá công thức Ngôn ngữ tân từ có biến n Ngôn ngữ tân từ có biến miền giá trị Khoa HTTT - Đại học Giới thiệu Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) ... M={a1,a2,…,an} ≡∨F(ai), ai∈M Lượng từ ∀: x biến, ∀x F(x): Đ với ∀ ai∈M/F(ai):Đ M={a1,a2,…,an} ≡∧F(ai), ai∈M Khoa HTTT - Đại học 10 Ngôn ngữ tân từ có biến n 6. 1 6. 2 6. 3 6. 4 Qui tắc Định nghĩa Công thức ... (∨) Các lượng từ: với (∀), tồn (∃) Khoa HTTT - Đại học Các định nghĩa (1) Định nghĩa 1: Tân từ Tân từ định nghĩa tập X biến x có giá trị chạy phần tử X Với giá trị x, tân từ P(x) mệnh...
- 25
- 561
- 2
Ngôn ngữ tân từ doc
... Giới thiệu Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) Lacroit, Proix Ullman phát triển, cài đặt số ngôn ngữ QBE, ALPHA Đặc điểm: Ngôn ngữ phi thủ tục Rút ... Khả diễn đạt tương đương với đại số quan hệ Có hai loại: Có biến n Có biến miền giá trị Ngôn ngữ tân từ có biến n Câu hỏi có biến n biểu diễn sau: {s | F s} {s | F(s)} Trong s biến n bộ, F công ... ∧ (∀s ∈ SanPham : s.mau =' Do' ) (∃c ∈ CungCap : c.masp = s.masp ∧ c.mancc = n.mancc)} 11 Ngôn ngữ tân từ có biến miền giá trị {(x1,x2,…,xn) | F(x1,x2,…,xn)} Trong đó: • xi biến tự F • Q= {(x1,x2,…,xn)...
- 12
- 385
- 0
tài liệu Ngôn ngữ tân từ
... công thức Quy tắc lượng giá công thức Ngôn ngữ tân từ có biến n Ngôn ngữ tân từ có biến miền giá trị Khoa HTTT - Đại học Giới thiệu Ngôn ngữ tân từ ngôn ngữ truy vấn hình thức Codd đề nghị (1972-1973) ... M={a1,a2,…,an} ≡∨F(ai), ai∈M Lượng từ ∀: x biến, ∀x F(x): Đ với ∀ ai∈M/F(ai):Đ M={a1,a2,…,aKhoa HTTTi∈M học n} ≡∧F(ai), a - Đại 10 Ngôn ngữ tân từ có biến n 6. 1 6. 2 6. 3 6. 4 Qui tắc Định nghĩa Công thức ... (∨) Các lượng từ: với (∀), tồn (∃) Khoa HTTT - Đại học Các định nghĩa (1) Định nghĩa 1: Tân từ Tân từ định nghĩa tập X biến x có giá trị chạy phần tử X Với giá trị x, tân từ P(x) mệnh...
- 25
- 364
- 0
Bài 3 ngôn ngữ SQL và ứng dụng SQL trong lập trình hướng đối tượng
... thuê vào làm việc từ ngày 10/10/1980 đến 10/10/1999 Use northwind select * from employees where hiredate between '10/10/1980' and '10/10/1999' 26 Lệnh Select với LIKE – Not LIKE • Từ khóa LIKE áp ... (student_id INT IDENTITY(100, 5) NOT NULL, name NVARCHAR( 16) ) CREATE TABLE [dbo].[Customers] ( [CustomerID] [nchar](5) NOT NULL, [Address] [nvarchar] (60 ) NULL, [Phone] [nvarchar](24) NULL, [Fax] [nvarchar](24) ... đăng ký mua hàng sau ‘1/1/19 96 use northwind select customerID , address from customers where customerID in (select customerID from orders where orderDate>'1/1/19 96' ) 24 Lệnh Select với EXISTS...
- 54
- 941
- 0
Bài giảng Ngôn ngữ định nghĩa đối tượng
... 155,1 56 632 (1b) GVHB 512 1 368 ,11x (1a)DTBH 3 36, 11x (1) Nhận hàng 1 56 133 33311 14 Xuất giao hàng, sử dụng PXK kiêm VCNB Đơn vị bán 155,1 56 157 (1) GV (2b) 512 63 2 1 368 ,11x (2a)DTBH Đơn vị mua 3 36 ... hộ, thu hộ 11x 3 36 33x,6xx (3) (1) 1 368 11x (4) (2) 16 9.2.4- Kế tóan quan hệ nội nghĩa vụ tài a/ Trích nộp kinh phí quản lý cấp Đv cấp 511 1 36( 1 368 ) Phải thu KPQL Đơn vị cấp 3 36 642 Phải nộp KPQL ... hợp lãi cấp phải nộp cấp Đơn vị cấp Đơn vị cấp 421 1 36( 1 368 ) 3 36 421 • Trường hợp cấp cấp cấp bù lỗ Đơn vị cấp Đơn vị cấp 3 36 421 421 1 36( 1 368 ) 18 c/ Quan hệ phân phối quỹ DN • Trường hợp quỹ...
- 21
- 398
- 0
Bài giảng Ngôn ngữ lập trình C Chương 11: Đối tượng và lớp
... phần: định nghĩa lớp lớp Tất thành phần liệt kê sau từ khóa private protected truy nhập thành phần bên lớp Còn tất thành phần liệt kê sau từ khóa public truy nhập hàm • Ví dụ 1: • Class Diem ... u.y; } • • • • • • • • • • • • Ví dụ 7: void main() { Diem a(2, -6) ; a.Xuat(); Diem b = a; //Gọi hàm thiết lập chép b.Xuat(); Diem c( -6, 8); float d = a.KC(c); //Gọi hàm thiết lập chép cout
- 30
- 388
- 0
Bài giảng ngôn ngữ lập trình c chương 7 chuỗi ký tự
... liệu nhập từ bàn phím theo lệnh scanf, gets, getchar, … trước hết chúng đưa vào stdin, sau gán cho biến, lưu lại cho lệnh nhập sau Muốn xóa stdin phải dùng lệnh fflush(stdin) Ví dụ 6: void main() ... vị trí chuỗi s1 mà chứa nội dung chuỗi ký tự s2; không hàm trả NULL • • • • • • • • • • • Ví dụ 6: void main() { char *string = “Borland International”, char *substring = “nation”; char *blank...
- 10
- 225
- 0
Bài giảng ngôn ngữ lập trình c chương 13 toán tử trên lớp
... gia phép toán đối tượng Toán tử định nghĩa chồng cách định nghĩa hàm toán tử với tên bao gồm từ khóa operator theo sau ký hiệu toán tử cần định nghĩa chồng • Ví dụ 1: Một số ví dụ tên hàm toán ... res(x + u.re, u.im); return res; } //Hàm void main() { SoPhuc a(-2, 4); a.Xuat(); SoPhuc b(8, -6) ; b.Xuat(); SoPhuc c = a + b; // CT dịch hiểu c = a.operator+(b) c.Xuat(); SoPhuc d = + c; //...
- 12
- 323
- 0
Bài giảng ngôn ngữ lập trình c phần 2 lập trình hướng đối tượng c
... chiếu Trong trường hợp biểu thức trả câu lệnh return phải tên biến xác định từ bên hàm, sử dụng giá trị hàm • Ví dụ 6: • //Nguyên mẫu hàm • int &fct(); • int x; //biến toàn cục • void main() •...
- 19
- 162
- 0
Ngôn ngữ nguyễn tuân trong các bài viết về văn học nghệ thuật
... tu từ Biện pháp tu từ, thế, "là kết hợp ngôn ngữ đặc biệt hoàn cảnh ngôn ngữ cụ thể nhằm mục đích định" [6, 183] Đọc văn Nguyễn Tuân, không loại Nguyễn Tuân không sử dụng biện pháp tu từ, từ ... Dùng từ lạ, độc đáo Vốn nghệ sĩ ngôn từ, Nguyễn Tuân có ý thức giữ gìn, trân trọng làm cho kho từ vựng thêm phong phú Ông biến hoá từ ngữ đặc biệt sáng tạo từ mẻ, lạ tai, xa lạ nhiều ngời Những từ ... câu, từ trạng ngữ, bổ ngữ, liên ngữ, tình thái ngữ, định ngữ giải thích ngữ Có câu nhà văn Nguyễn Tuân vận dụng tới hai thành phần phụ vào câu Các thành phần phụ câu văn Nguyễn Tuân đợc thể từ...
- 54
- 728
- 1
Bài tập ngôn ngữ lập trình C có giải
... Học Quốc Gia TP.HCM BÀI TẬP LẬP TRÌNH HƯỚNG ĐỐI TƯỢNG C++ getch(); } Bài Xây dựng lớp XE gồm thông tin: Nhãn hiệu, Giá, Năm sản xuất yêu cầu thong tin có lớp XE lớp dẫn xuất từ lớp XE phép truy ... TP.HCM BÀI TẬP LẬP TRÌNH HƯỚNG ĐỐI TƯỢNG C++ } cout
- 13
- 16,205
- 127
Bài giảng ngôn ngữ SQL
... thiệu Các ngôn ngữ giao tiếp Ngôn ngữ định nghĩa liệu Ngôn ngữ thao tác liệu Ngôn ngữ truy vấn liệu có cấu trúc Ngôn ngữ điều khiển liệu Khoa HTTT - Đại học CNTT Giới thiệu Là ngôn ngữ chuẩn ... quan hệ Là ngôn ngữ phi thủ tục Khởi nguồn SQL SEQUEL - Structured English Query Language, năm 1974) Các chuẩn SQL SQL89 SQL92 (SQL2) SQL99 (SQL3) Khoa HTTT - Đại học CNTT Các ngôn ngữ giao ... Đại học CNTT Các ngôn ngữ giao tiếp Ngôn ngữ định nghĩa liệu (Data Definition Language - DDL): cho phép khai báo cấu trúc bảng, mối quan hệ ràng buộc Ngôn ngữ thao tác liệu (Data Manipulation...
- 41
- 836
- 6
Bài giảng ngôn ngữ SQL
... Thị Kim Dung 22 Bài Ngon ngu SQL Hà Thị Kim Dung 23 Phần 2: Ngôn ngữ thao tác liệu Bài Ngon ngu SQL Hà Thị Kim Dung 24 Chèn, sửa, xóa liệu Table Bài Ngon ngu SQL Hà Thị Kim Dung 25 Bài Ngon ngu ... Dung 35 Một số ý khác Bài Ngon ngu SQL Hà Thị Kim Dung 36 Một số ý khác Bài Ngon ngu SQL Hà Thị Kim Dung 37 Một số ý khác Bài Ngon ngu SQL Hà Thị Kim Dung 38 Kết luận • Ngôn ngữ định nghĩa liệu: ... giản Bài Ngon ngu SQL Hà Thị Kim Dung Một số ý với SQL MSQL 2000 Server Bài Ngon ngu SQL Hà Thị Kim Dung Một số ý với SQL MSQL 2000 Server Bài Ngon ngu SQL Hà Thị Kim Dung Phần 1: Ngôn ngữ định...
- 40
- 1,044
- 3
Bài giảng ngôn ngữ đại số quan hệ
... HOCVIEN×MONHOC Khoa HTTT-Đại học CNTT 20 3 .6 Phép kết 3 .6. 1 Phép kết 3 .6. 2 Phép kết bằng, phép kết tự nhiên 3 .6. 3 Phép kết Khoa HTTT-Đại học CNTT 21 3 .6. 1 Phép kết (Theta-Join) (1) Theta-join ... thể đặt tên cho quan hệ tạo từ biểu thức ĐSQH Có thể đổi tên thuộc tính quan hệ tạo từ biểu thức ĐSQH Khoa HTTT-Đại học CNTT Các phép toán 3.1 3.2 3.3 3.4 3.5 3 .6 3.7 3.8 Giới thiệu Phép chọn ... S(B1,B2,…Bn) Phép tích thường dùng kết hợp với phép chọn để kết hợp có liên quan từ hai quan hệ Ví dụ: từ hai quan hệ HOCVIEN MONHOC, có tất trường hợp “học viên đăng ký học môn học”, giả...
- 40
- 3,185
- 17
Bài giảng ngôn ngữ lập trình
... ngôn ngữ lập trình bao gồm ngôn ngữ: Ngôn ngữ máy Hợp ngữ Ngôn ngữ bậc cao Các bạn ghi nhớ vai trò ngôn ngữ ngôn ngữ lập trình.\ E Bài tập nhà câu hỏi ôn tập(1') * Nghiên cứu học * Em hiểu ngôn ngữ ... thuật toán cho ta chương trình, ngôn ngữ để viết chương trình gọi ngôn ngữ lập trình Có nhiều loại ngôn ngữ lập trình Để hiểu rõ ngôn ngữ lập trình hôm tìm hiểu ngôn ngữ Thuyết trình: 10' số người ... người ta xây dựng 10' 15' ngôn ngữ lập trình bậc cao, ngôn ngữ viết gần với ngôn ngữ tự nhiên hơn, có tính độc lập cao, phụ thuộc vào loại máy tính Ngôn ngữ bậc cao ngôn ngữ FOTRAN (FORmula TRANslator)...
- 4
- 1,291
- 5
Slide bài giảng ngôn ngữ C
... khác 16 4.Các dạng công DoS (tt) d SYN flood attack - Khi hai hệ thống kết nối TCP với nhau,chúng phải bắt tay qua bước client SYN gửi từ clien > sever client < SYN/ACK gửi từ sever ... sever client ACK gửi từ clien -> sever 9/14/12 17 4.Các dạng công DoS (tt) - Sau nhận SYN packet từ A, B trả lời cho A chờ thời gian để nhận SYN packet khác từ A Nếu A không trả lời, ... lạc để nhận lệnh từ người dùng từ xa Ví dụ cụ thể người công, bot Trojan Horse 9/14/12 Bot ứng dụng – Spamming (phát tán thư rác) : Thư rác gửi tới botnet, sau phân phối qua bot từ phát tán tới...
- 51
- 764
- 3
Bài tập Ngôn ngữ C
... từ bàn phím loại hình chọn - Trường hợp chọn hình là: thì: +Nhập cạnh từ bàn phím +Tính diện tích thì: +Nhập chiều dài, chiều rộng từ bàn phím +Tính diện tích thì: +Nhập chiều cao, cạnh đáy từ ... dứt BÀI 17 Viết chương trình giải phương trình bậc hai: ax2 + bx + c = BÀI 18: Viết chương trình giải hệ phương trình: a1x + b1y = c1 a2x + b2y = c2 với a1, a2, b1, b2, c1, c2 nhập từ bàn phím BÀI ... b1, b2, c1, c2 nhập từ bàn phím BÀI 19: Tìm UCLN số nhập từ bàn phím BÀI 20: Nhập số thực x, x>0 tính bậc x, x
- 2
- 921
- 8
Tìm thêm: xác định các nguyên tắc biên soạn khảo sát các chuẩn giảng dạy tiếng nhật từ góc độ lí thuyết và thực tiễn xác định thời lượng học về mặt lí thuyết và thực tế điều tra với đối tượng sinh viên học tiếng nhật không chuyên ngữ1 khảo sát các chương trình đào tạo theo những bộ giáo trình tiêu biểu nội dung cụ thể cho từng kĩ năng ở từng cấp độ phát huy những thành tựu công nghệ mới nhất được áp dụng vào công tác dạy và học ngoại ngữ mở máy động cơ lồng sóc mở máy động cơ rôto dây quấn hệ số công suất cosp fi p2 đặc tuyến hiệu suất h fi p2 đặc tuyến mômen quay m fi p2 đặc tuyến tốc độ rôto n fi p2 đặc tuyến dòng điện stato i1 fi p2 động cơ điện không đồng bộ một pha sự cần thiết phải đầu tư xây dựng nhà máy thông tin liên lạc và các dịch vụ từ bảng 3 1 ta thấy ngoài hai thành phần chủ yếu và chiếm tỷ lệ cao nhất là tinh bột và cacbonhydrat trong hạt gạo tẻ còn chứa đường cellulose hemicellulose chỉ tiêu chất lượng theo chất lượng phẩm chất sản phẩm khô từ gạo của bộ y tế năm 2008 chỉ tiêu chất lượng 9 tr 25