Đang tải... (xem toàn văn)
Bài 6. Thuật ngữ tài liệu, giáo án, bài giảng , luận văn, luận án, đồ án, bài tập lớn về tất cả các lĩnh vực kinh tế, ki...
1 Chính sách dân số Bộ môn Dân Số Trường ĐH Y Tế Công Cộng, 2010 2 Mục tiêu Sau khi học xong bài này, học viên có thể: Trình bày được một số khái niệm cơ bản về chính sách dân số; Trình bày được một số nét chính về các chính sách dân số ở Việt Nam và bài học kinh nghiệm. [...]... vùng đất mới, giải toả sức ép về kinh tế-xã hội tại các vùng dân cư nhằm sử dụng có hiệu quả nhất lực lượng lao động xã hội và các nguồn tài nguyên quốc gia 17 Phân loại CSDS Phân bố dân số và chính sách dân số theo nhóm nước TỔNG SỐ NƯỚC Toàn thế giới Nước đã phát triển Nước đang phát triển 19 70 79 13 22 4 6 48 75 4 41 102 21 168 1 11 21 6 39 3 30 81 15 129 A Mức độ chấp nhận sự phân bố theo không... để hạn chế mất cân bằng giới tính 3 Vấn đề phân bổ dân cư, di dân tự phát 4 Chính sách khuyến khích bảo đảm điều kiện cho lao động ngoại tỉnh 5 Xây dựng và quản lý hệ dữ liệu dân cư quốc gia 6 Tăng cường nguồn lực cho công tác dân số và chăm sóc SKSS ở các vùng khó khăn, dân tộc, miền núi 7 Bảo vệ và hỗ trợ các dân tộc thiểu số 8 Lồng ghép vấn đề dân số, gia đình 9 Vấn đề người già 29 Vì sao mới Từ năm... việc kiện toàn bộ máy, tổ chức 1993: Nghị quyết Hội nghị lần thứ 4 BCHTW Đảng khoá 7 1993: Chiến lược Dân số – KHHGĐ đến năm 2000 24 CSDS ở Việt Nam 3 Giai đoạn sau 2000 2000: Chiến lược dân số 2000-2010, Chiến lược chăm sóc SKSS 2003: Pháp lệnh Dân số 25 CSDS ở Việt Nam: Điểm nhấn từ 2000 đến nay Lồng ghép dân số và phát triển (gia đình, người già, di dân, bình đẳng giới…), Quy mô gia đình... - Cải thiện điều kiện vệ sinh và dịch vụ y tế công cộng - Tăng thu nhập, nâng cao mức sống 16 Phân loại CSDS 3 Các chính sách tác động tới di cư - Chính sách di dân có mục tiêu nhằm điều chỉnh dân số và cơ cấu dân số theo vùng lãnh thổ (giảm nhẹ sức ép dân số ở những vùng đông dân, điều chỉnh cơ cấu tuổi, giới tính theo vùng lãnh thổ ) - Phân bố lại lực lượng lao động và ngành Trường THCSTT CÁI NHUM Vì lợi ích mươ øi nă m trồ ng câ y Vì lợi ích tră m nă m trồ ng ngư KIỂM TRA BÀI CŨ: Nêu cách làm phát triển từ vựng Tiếng việt? Em tìm từ ngữ thời gian gần cấu tạo sở từ “mơi trường” Ph¸t triĨn tõ vùng Ph¸t triĨn vỊ nghÜa Ph¬ng thøc Èn dơ Ph¬ng thøc ho¸n dơ Ph¸t triĨn vỊ sè lỵng T¹o tõ ng÷ míi Mỵn tiÕng níc ngoµi - Mơi trường tự nhiên - Mơi trường sinh thái - Mơi trường nhân tạo… TIẾT 29 THUẬT NGỮ I - THUẬT NGỮ LÀ GÌ? So sánh cách giải thích sau nghĩa từ nước từ muối a Cách 1: - Nước chất lỏng khơng màu, khơng mùi có sơng, hồ, biển… -Muối tinh thể trắng, vị mặn, thường tách từ nước biển, dùng để ăn b Cách 2: -Nước hợp chất ngun tố Hi-drơ ơxi, có cơng thức H2O -Muối hợp chất mà phân tử gồm có hay nhiều ngun tử kim loại liên kết với hay nhiều gốc a-xít TIẾT 29 THUẬT NGỮ I - THUẬT NGỮ LÀ GÌ? * Nhận xét: - Cách cách giải thích dựa vào đặc tính bên ngồi vật hình thành sở kinh nghiệm, có tính chất cảm tính - Cách dựa vào đặc tính bên vật khơng thể nhận biết qua cảm tính mà phải qua nghiên cứu khoa học biết Theo em cách giải thích người khơng có kiến thức chun mơn khơng thể hiểu được? Các định nghĩa thuộc mơn nào? Em học định nghĩa mơn nào? -Thạch nhũ sản phẩm hình thành hang động nhỏ ĐỊA LÝ giọt dung dịch đá vơi hồ tan nước có chứa a-xít các-bơníc HỐ HỌC - Ba-dơ hợp chất mà phân tử gồm có ngun tử kim loại liên kết với hay nhiều nhóm hi-đrơ-xít TIẾNG VIỆT -Ẩn dụ gọi tên vật, tượng tên vật, tượng khác có nét tương đồng với TỐN HỌC -Phân số thập phân phân số mà mẫu luỹ thừa 10 TIẾT 29 THUẬT NGỮ I - THUẬT NGỮ LÀ GÌ? Thuật ngữ từ ngữ biểu thị khái niệm khoa học, cơng nghệ; * Nhận xét - Những từ ngữ định nghĩa dùng chủ yếu loại văn khoa học cơng nghệ -Ngồi văn khoa học cơng nghệ, đơi lúc dùng loại văn bản: Bản tin, phóng sự, bình luận báo chí thường dùng văn khoa học, cơng nghệ Vậy thuật ngữ gì? TIẾT 29 THUẬT NGỮ I THUẬT NGỮ LÀ GÌ? II.ĐẶC ĐIỂM CỦA THUẬT NGỮ: Mỗi thuật ngữ biểu thị khái niệm, ngược lại khái niệm biểu thị thuật ngữ - Muối hợp chất mà phân tử gồm có hay nhiều ngun tử kim loại liên kết với hay nhiều gốc a-xít “Muối” có nghĩa khác khơng? Thuật ngữ khơng có nghĩa khác TIẾT 29 THUẬT NGỮ I.THUẬT NGỮ LÀ GÌ? II.ĐẶC ĐIỂM CỦA THUẬT NGỮ: - Mỗi thuật ngữ biểu thị khái niệm ngược lại khái niệm biểu thị thuật ngữ - Thuật ngữ khơng có tính biểu cảm a Muối hợp chất hồ tan nước b Tay nâng chén muối đĩa gừng Gừng cay, muối mặn xin đừng qn (Ca dao) Từ muối ví dụ có sắc thái biểu cảm? Em hiểu câu ca dao có ý nghĩa gì? TIẾT 29 THUẬT NGỮ I THUẬT NGỮ LÀ GÌ? II ĐẶC ĐIỂM CỦA THUẬT NGỮ: III.LUYỆN TẬP: Bài 1: Vận dụng kiến thức học mơn Ngữ văn, Lịch sử, Địa lý, Tốn học, Vật lý, Hố học, Sinh học để tìm thuật ngữ thích hợp điền vào chỗ trống Và cho biết thuật ngữ thuộc lĩnh vực khoa học nào? Lực ……………: tác dụng đẩy, kéo vật lên vật khác thực Xâm …………….: làm hủy hoại lớp đất đá phủ mặt đất tác nhân: gió, băng hà, nước chảy … tượng hóa học 3.Hiện ……………………… : tượng sinh chất từ vựng Trường …………… .: tập hợp từ có nét chung nghĩa Di ………………: nơi có dấu vết cư trú sinh sống người xưa Thụ phấn ……………….: tượng hạt phấn tiếp xúc với bầu nhụy lượng Lưu ……………… : lượng nước chảy qua mặt cắt ngang lòng sơng điểm đó, giây đồng hồ Đơn vị đo: m3/s Bài 2: Đọc đoạn trích sau: “Nếu làm hạt giống để mùa sau Nếu lịch sử chọn ta làm điểm tựa Vui làm người lính đầu Trong đêm tối tim ta làm lửa” Tố Hữu – Chào xn 67 Từ “điểm tựa” đoạn trích có dùng thuật ngữ vật lý khơng? “Điểm tựa” có nghĩa gì? -“Điểm tựa”(thuật ngữ Vật lý): Điểm cố định đòn bẩy thơng qua lực tác động truyền tới lực cản - “Điểm tựa” (trong đoạn trích): khơng dùng thuật ngữ, mà “điểm tựa” nơi làm chỗ dựa Bài 3: - Hỗn hợp (hóa học): nhiều chất trộn lẫn vào mà khơng hóa hợp thành chất khác - Hỗn hợp (nghĩa thơng thường): gồm có nhiều thành phần thành phần khơng tính chất riêng Vậy cho biết hai câu sau, câu “hỗn hợp” thuật ngữ? Câu “hỗn hợp” nghĩa thơng thường? a Nước tự nhiên ao, hồ, sơng, biển … hỗn hợp Thuật ngữ b Đó chương trình biểu diễn hỗn hợp nhiều tiết mục Nghĩa thơng thường Đặt câu với từ “hỗn hợp” hiểu theo nghĩa thơng thường? Ví dụ: Đây loại thức ăn hỗn hợp nhằm thúc đẩy tăng trưởng loại gia cầm Bài - Thị trường (thuật ngữ kinh tế học): nơi thường xun tiêu thụ hàng hóa (Thị: chợ - yếu tố Hán Việt) - Thị trường (thuật ngữ vật lí): Chỉ phần khơng gian mà mắt quan sát (Thị: thấy - yếu tố Hán Việt) Hiện tượng đồng âm có vi phạm ngun tắc thuật ngữ - khái niệm nêu ghi nhớ khơng? Vì sao? Khơng vi phạm hai thuật ngữ dùng hai lĩnh vực khoa học riêng biệt khơng phải lĩnh vực Em giải thích thuật ngữ sau: -Mơi trường: Bao gồm yếu tố tự nhiên yếu tố vật chất nhân tạo quan hệ mật thiết với nhau, bao quanh người, có ảnh hưởng tới đời sống, sản xuất, tồn tại, phát triển người thiên nhiên." -Cơng nghệ mơi trường: "Cơng nghệ mơi trường tổng hợp biện pháp vật lý, hố học, sinh học nhằm ngăn ngừa xử lý chất độc hại phát sinh từ q trình sản xuất hoạt động người Cơng nghệ mơi trường bao gồm tri thức dạng ngun lý, quy trình thiết bị kỹ thuật thực ngun lý quy trình đó" ...LOGO QUẢN LÝ SỨC KHỎE VÀ AN TOÀN NGHỀ NGHIỆP Ths. Nguyễn Thúy Quỳnh Bộ môn VSLĐ - BNN LOGO MỤC TIÊU 1. Trình bày hệ thống văn bản pháp qui SK-ATNN ở Việt Nam. 2. Mô tả hệ thống quản lý SK-ATNN ở Việt Nam và những chức năng, nhiệm vụ. 3. Trình bày một số hoạt động quốc gia và quốc tế hiện nay về SK-ATNN. 4. Sử dụng các báo cáo tổng kết công tác YTLĐ hàng năm của Bộ Y tế để phân tích tình hình VSLĐ và ảnh hưởng trên SK người lao động. LOGO 1.1. HỆ THỐNG VĂN BẢN VỀ AN TOÀN VỆ SINH LAO ĐỘNG. Luật, Pháp lệnh Nghị định Văn bản chỉ đạo (Thông tư, Quyết định) LOGO CƠ QUAN CÓ THẨM QUYỀN BAN HÀNH CÁC VĂN BẢN PHÁP QUY VỀ SKATNN Quốc hội Luật Chính phủ Nghị định Bộ lao động – thương binh xã hội BHLĐ, Quy phạm Nhà nước về ATLĐ, tiêu chuẩn phân loại lao động theo ĐKLĐ. Bộ y tế Tiêu chuẩn VSLĐ và SK LOGO CƠ QUAN CÓ THẨM QUYỀN BAN HÀNH CÁC VĂN BẢN PHÁP QUY VỀ SKATNN Bộ khoa học công nghệ môi trường tiêu chuẩn chất lượng, quy cách các phương tiện bảo vệ cá nhân Các bộ ngành khác Ban hành, hướng dẫn áp dụng hệ thống tiêu chuẩn, quy phạm ATVSLĐ câp ngành. UBND tỉnh thành phố trực thuộc TW Ban hành chỉ thị, hướng dẫn thực hiện quản lý Nhà nước về ATVSLĐ trong phạm vi địa phương mình. LOGO LUẬT NGHỊ ĐỊNH Bộ Luật lao động: Chương IX qui định về ATVSLĐ và luật sửa đổi năm 2002. Nghị định số 195/CP (31/12/1994) của Chính phủ về thời gian làm việc, thời gian nghỉ ngơi. Nghị định số 110/2002/NĐCP (27/12/ 2002) về sửa đổi bổ sung một số điều của Nghị định số 06/CP (20/1/1995) của Chính phủ về ATVSLĐ. LOGO VĂN BẢN HƯỚNG DẪN THỰC HiỆN – MTLĐ hồ sơ VSLĐ Thông tư 01/2011/TTLT-BLĐTBXH-BYT hướng dẫn tổ chức thực hiện ATVSLĐ trong cơ sở lao động. Thông tư số 19/2011/TT-BYT, ngày 6/6/2011 Hướng dẫn quản lý VSLĐ sức khỏe người lao động và bệnh nghề nghiệp (thay thế thông tư 13/BYT-TT ngày 24/10/1996) LOGO VĂN BẢN HƯỚNG DẪN THỰC HiỆN – Bệnh nghề nghiệp được bảo hiểm Thông tư số 08/ TT - LB (19/5/1976) của Liên Bộ Y tế, LĐTBXH và TLĐLĐVN qui định 8 BNN Thông tư liên bộ số 29 /TT - LB (25/12/1991) của Liên Bộ bổ sung thêm 8 BNN Quyết định số 167/ BYT - QĐ (4/2/1997) của Bộ Y tế Ban hành bổ sung 5 bệnh nghề nghiệp Thông tư số 08/ TT - LB (20/4/1998) của Liên Bộ Y tế và LĐTBXH hướng dẫn thực hiện các qui định về bệnh nghề nghiệp. Quyết định số 27/2006/QĐ-BYT ngày 21/9/2006 về bổ sung 4 bệnh nghề nghiệp mới Thông tư số 42/2011/TT-BYT bổ sung 3 BNNBH LOGO VĂN BẢN HƯỚNG DẪN THỰC HiỆN – Bệnh và TNTT nghề nghiệp Thông tư số 12/2006/TT-BYT 10/11/2006 của Bộ Y tế hướng dẫn khám BNN. Thông tư liên tịch 08 ngày 20/2/1998 BYT-LĐTBXH hướng dẫn thực hiện quy định BNN Thông tư số 14/2005/TTLT/BLĐTBXH - BYT-TLĐLĐVN, Hướng dẫn điều tra báo cáo về TNLĐ LOGO VĂN BẢN HƯỚNG DẪN THỰC HiỆN – Ngành Y tế Thông tư số 18/2009/TT-BYT, ngày 14/10/2009 của Bộ Y tế Hướng dẫn tổ chức thực hiện công tác kiểm soát nhiễm khuẩn trong các cơ sở khám bệnh, chữa bệnh Phụ lục 1, thông tư 12/2006/TT-BYT ngày 10/11/2006 – Đánh giá tiếp xúc nghề nghiệp các yếu tố Vi sinh vật Quyết định số 3079/QĐ-BYT ngày 21/8/2008 Qui chế tổ chức và hoạt động của hệ thống làm công tác BHLĐ trong các cơ sở y tế. Chỉ thị số 07/CT-BYT ngày 21/8/2008 Tăng cường công tác VSLĐ – PC BNN trong ngành y tế [...]... KHÁM BỆNH NGHỀ NGHIỆP (Nguồn Cục QLMT-YT) T T Tên bệnh nghề nghiệp Số khám 2010 Trường ĐH Khoa Học Tự Nhiên Tp. Hồ Chí Minh TRUNG TÂM TIN HỌC 2014 Lập trình Android Bài 6. Tài nguyên ứng dụng hình ảnh & giao diện Ngành Mạng & Thiết bị di động Lập trình Android (2014) – Bài 6. Tài nguyên hình ảnh và giao diện 2 1. Tài nguyên hình ảnh ● Thư mục lưu trữ - Định dạng – Truy xuất ● Các dạng tài nguyên hình ảnh 2. Tài nguyên giao diện Nội dung Lập trình Android (2014) – Bài 6. Tài nguyên hình ảnh và giao diện 3 1.1 Thư mục lưu trữ - Định dạng – Truy xuất Thư mục lưu trữ: ● Các tài nguyên hình ảnh được lưu trữ trong thư mục res/drawable. ● Có thể có nhiều thư mục drawable theo từ hạn định khác nhau: Ví du: drawable-hdpi, drawable-xhdpi… Định dạng: ● Tài nguyên hình ảnh bao gồm cả định dạng *.xml và định dạng hình ảnh (.png, .gif, .jpg). Truy xuất: bao gồm 2 cách thức: ● Java: R.drawable.<tên tài nguyên>. ● XML: @[pakage:]drawable/<tên tài nguyên>. Lập trình Android (2014) – Bài 6. Tài nguyên hình ảnh và giao diện 4 1.1 Thư mục lưu trữ - Định dạng – Truy xuất Ví dụ truy xuất tài nguyên hình ảnh: ● Java: Resources res = getResources(); Drawable drawable = res.getDrawable(R.drawable.ic_launcher); ● XML: <ImageView android:layout_width=“50dp” android:layout_height=“50dp” android:src= “@drawable/ic_launcher” /> <ImageButton android:layout_width=“50dp” android:layout_height=“50dp” android:background= “@drawable/ic_launcher” /> Lập trình Android (2014) – Bài 6. Tài nguyên hình ảnh và giao diện 5 1.2 Các dạng tài nguyên hình ảnh Bao gồm các định dạnh: ● Bitmap ● Shape ● LayerList ● StateList ● LevelList ● Transition ● Inset ● Clip ● Scale ● Nine-Patch Lập trình Android (2014) – Bài 6. Tài nguyên hình ảnh và giao diện 6 1.2 Các dạng tài nguyên hình ảnh Bitmap: ● Định dạng ảnh nhị phân, Android hỗ trợ ba định dạng tài nguyên hình ảnh: png, jpg và gif. ● Các thực thi của Bitmap bao gồm: Sử dụng như tài nguyên thông qua R.drawable.filename Tham chiếu biên dịch tài nguyên thông qua đối tượng BitmapDrawable. Lập trình Android (2014) – Bài 6. Tài nguyên hình ảnh và giao diện 7 1.2 Các dạng tài nguyên hình ảnh Bitmap: ● Sử dụng các thuộc tính Bitmap trong XML:. AntinAlias (XML) Dither Filter Gravity Mipmap Tilemode Automirrored Lập trình Android (2014) – Bài 6. Tài nguyên hình ảnh và giao diện 8 1.2 Các dạng tài nguyên hình ảnh Bitmap: ● Ví dụ xây dựng Bitmap trong XML: mipmap.xml <bitmap xmlns:android="http://schemas.android.com/apk/res/android" android:mipMap="false" NGÔN NGỮ TÂN TỪ www.Athena.Edu.Vn 1 1. 2. Cú pháp 3. 4. 5. 6. 7. www.Athena.Edu.Vn 2 • - • Đặc điểm: – – – • Có hai loại: – – www.Athena.Edu.Vn 3 2. Cú pháp • • Biến • Hằng • Hàm • Tân từ • Các phép toán logic), kéo theo (), và ( (). • Các lượng từ) www.Athena.Edu.Vn 4 • Định nghĩa 1: Tân từ 1 ngôi – – – Ví dụ • • P(gt), gtX = {Nguyen Van A, Tran Thi B} • x là người nữ • • www.Athena.Edu.Vn 5 • Định nghĩa 2: Tân từ n ngôi – 1 , X 2 n và n 1 , x 2 n i – i X i , x i =a i – x 1 , x 2 n ) – Ví dụ: CHA(x 1 ,x 2 1 2 – Chú ý: • Các X i • i =a i , P(x 1 , x 2 i n -1 ngôi www.Athena.Edu.Vn 6 • Định nghĩa 3: Từ – – 1 , t 2 n • Định nghĩa 4: Công thức – 1 , t 2 n ), t i – 1 , F 2 1 F 2 , F 1 F 2 , F 1 =>F 2 , F 1 – 1 :F 1 , x:F 1 – 1 1 www.Athena.Edu.Vn 7 • Định nghĩa 4: – đóng – mở • Ví dụ: – C 1 :xty(P(x,y,a) z(Q(y,z,t) , – C 2 :x t (P(x,y,a) z(Q(y,z,t) , www.Athena.Edu.Vn 8 Gồm 4 phần: • • • • n www.Athena.Edu.Vn 9 [...]... F(ai), aiM www.Athena.Edu.Vn 10 6 Ngôn ngữ tân từ có biến là n bộ 6.1 6.2 6.3 6.4 Qui tắc Định nghĩa Công thức an toàn Biểu diễn các phép toán www.Athena.Edu.Vn 11 6.1 Quy tắc (1) 1 Biến là 1 bộ của quan hệ 2 Từ: hằng, biến hoặc biểu thức có dạng s*C+, s: biến, C: tập các thuộc tính của quan hệ được gọi là từ chiếu Khoa HTTT - Đại học CNT T 1 Bài 6: Ngôn ngữ tân từ Khoa HTTT - Đại học CNTT 2 Nội dung 1. Giới thiệu 2. Cú pháp 3. Các định nghĩa 4. Diễn giải của một công thức 5. Quy tắc lượng giá công thức 6. Ngôn ngữ tân từ có biến là n bộ 7. Ngôn ngữ tân từ có biến là miền giá trị Khoa HTTT - Đại học CNTT 3 1. Giới thiệu Ngôn ngữ tân từ là ngôn ngữ truy vấn hình thức do Codd đề nghị (1972-1973) được Lacroit, Proix và Ullman phát triển, cài đặt trong một số ngôn ngữ như QBE, ALPHA Đặc điểm: Ngôn ngữ phi thủ tục Rút trích cái gì chứ không phải rút trích như thế nào Khả năng diễn đạt tương đương với đại số quan hệ Có hai loại: Có biến là n bộ Có biến là miền giá trị Khoa HTTT - Đại học CNTT 4 2. Cú pháp ( ) : biểu thức trong ngoặc Biến: dùng chữ thường ở cuối bộ ký tự: x,y,z,t,s… Hằng: dùng chữ thường ở đầu bộ ký tự: a,b,c,… Hàm: là một ánh xạ từ một miền giá trị vào tập hợp gồm 2 giá trị: đúng hoặc sai. Thường dùng chữ thường ở giữa bộ ký tự: h,g,f,… Tân từ: là một biểu thức được xây dựng dựa trên biểu thức logic. Dùng chữ in hoa ở giữa bộ ký tự P,Q,R… Các phép toán logic: phủ định (¬), kéo theo (⇒), và (∧), hoặc (∨). Các lượng từ: với mọi (∀), tồn tại (∃) Khoa HTTT - Đại học CNTT 5 3. Các định nghĩa (1) Định nghĩa 1: Tân từ 1 ngôi Tân từ 1 ngôi được định nghĩa trên tập X và biến x có giá trị chạy trên các phần tử của X. Với mỗi giá trị của x, tân từ P(x) là một mệnh đề logic, tức là nó có giá trị đúng (Đ) hoặc sai (S) Ví dụ P(x), x là biến chạy trên X, là một tân từ P(gt), gt∈X là một mệnh đề, X = {Nguyen Van A, Tran Thi B} Với tân từ NỮ(x) được xác định: “x là người nữ”. Khi đó Mệnh đề NỮ(Nguyen Van A): cho kết quả Sai NỮ(Tran Thi B): cho kết quả Đúng Khoa HTTT - Đại học CNTT 6 3. Các định nghĩa (2) Định nghĩa 2: Tân từ n ngôi Tân từ n ngôi được định nghĩa trên các tập X 1 , X 2 , …, X n và n biến x 1 , x 2 , …, x n lấy giá trị trên các tập X i tương ứng. Với mỗi giá trị a i ∈X i , x i =a i .Tân từ n ngôi là một mệnh đề. Ký hiệu: P(x 1 , x 2 , …, x n ) Ví dụ: CHA(x 1 ,x 2 ): “x 1 là CHA của x 2 ” Chú ý: Các X i không nhất thiết phải là rời nhau Với x i =a i , P(x 1 , x 2 , …, a i , …, x n ) là tân từ n-1 ngôi Khoa HTTT - Đại học CNTT 7 3. Các định nghĩa (3) Định nghĩa 3: Từ Từ là một hằng hay là một biến Nếu f(t 1 , t 2 , …, t n ) là hàm n ngôi thì f là một từ Định nghĩa 4: Công thức Công thức nguyên tố: P(t 1 , t 2 , …, t n ), t i là các từ Nếu F 1 , F 2 là các công thức thì các biểu thức sau cũng là các công thức: F 1 ∨F 2 , F 1 ∧F 2 , F 1 =>F 2 , ¬F 1 Nếu F 1 là một công thức thì ∀:F 1 , ∃x:F 1 cũng là các công thức Nếu F 1 là công thức thì (F 1 ) cũng là một công thức Khoa HTTT - Đại học CNTT 8 3. Các định nghĩa (4) Định nghĩa 4: Công thức đóng là công thức nếu mọi biến đều có kèm với lượng từ. (khẳng định Đ, S) Công thức mở là công thức tồn tại 1 biến không kèm lượng từ. (tìm kiếm thông tin) Ví dụ: C 1 :∀x∃t∀y(P(x,y,a)⇒ ∃z(Q(y,z,t)∧R(x,t)) là công thức đóng vì các biến x,y,z,t đều có kèm lượng từ ∀,∃ C 2 :∀x ∃t (P(x,y,a)⇒ ∃z(Q(y,z,t)∧R(x,t)) là công thức mở vì biến y không có lượng từ ∀,∃ Khoa HTTT - Đại học CNTT 9 4. Diễn giải của một công thức Gồm 4 phần: Miền giá trị của các biến của công thức (ký hiệu là tập M) Sử dụng các hằng, các tân từ (ý nghĩa tân từ, xác định được quan hệ n ngôi) Ý nghĩa của công thức Xác định 1 quan hệ n ngôi trên tập M n Khoa HTTT - Đại học CNTT 10 5. Quy tắc lượng ... Phát triển từ vựng Phát triển nghĩa Phơng thức ẩn dụ Phơng thức hoán dụ Phát triển số lợng Tạo từ ngữ Mợn tiếng nớc - Mụi trng t nhiờn - Mụi trng sinh thỏi - Mụi trng nhõn to TIT 29 THUT NG I -