stanford-oval/wikipedia huggingface dataset:
Các ngày nghỉ lễ ở Hàn Quốc

Các ngày nghỉ lễ ở Hàn Quốc là những ngày nghỉ lễ do luật pháp Hàn Quốc quy định. Vào ngày nghỉ lễ, các văn phòng cơ quan chính phủ và trường học công lập đóng cửa, trừ doanh nghiệp nhà nước. Từ đó, các công ty hay tập đoàn tư nhân có quyền ký thỏa ước tập thể quy định về việc đi làm vào ngày nghỉ lễ.
Hàn Quốc không áp dụng ngày nghỉ thay thế, nghĩa là không được nghỉ bù ngày khác nếu ngày nghỉ lễ rơi vào cuối tuần. Tháng 4 năm 2013, có nguồn tin cho biết một tiểu ban trong Quốc hội Hàn Quốc đã thông qua một luật cho phép nghỉ bù nếu ngày lễ rơi vào thứ Bảy hoặc Chủ nhật.
Các ngày nghỉ lễ theo quy định của luật Hàn Quốc là: Ngày Chủ nhật, các ngày nghỉ lễ quốc gia gồm Ngày Độc lập, Ngày Giải phóng, Ngày Lập quốc và Ngày Hàn ngữ, Ngày 1 tháng 1, Tết âm lịch (gồm ngày cuối tháng Chạp, ngày 1 tháng Giêng và ngày 2 tháng Giêng), Ngày Phật đản, Ngày Thiếu nhi, Ngày Tưởng niệm, Tết Trung thu (ba ngày 14, 15 và 16 tháng 8 âm lịch), Ngày Giáng sinh, Ngày bầu cử chính thức và ngày khác do Chính phủ Hàn Quốc quy định.
Những ngày nghỉ lễ trước đây

| Tên | Ngày | Năm thiết lập | Năm hủy bỏ | Ghi chú |
| --- | --- | --- | --- | --- |
| Hai ngày của Tết dương lịch | 2 và 3 tháng 1 | 1949 | 1999, 1990 | Từ 1990 và 1999, lần lượt ngày 3 tháng 1 và 2 tháng 1 bị bỏ khỏi Tết dương lịch. |
| Ngày Trồng cây | 5 tháng 4 | 1949 | 2006 |  |
| Ngày Hiến pháp | 17 tháng 7 | 1949 | 2008 | Ngày này không còn là ngày nghỉ lễ sau khi Chính phủ ra luật tuần làm việc 40 giờ đối với công sở của Nhà nước. |
| Ngày Quân lực | 1 tháng 10 | 1976 | 1991 | Bị loại ra do số lượng các ngày nghỉ lễ tăng lên. |
| Ngày Liên Hợp Quốc | 24 tháng 10 | 1950 | 1976 | Năm 1976, Hàn Quốc loại ngày này và bổ sung Ngày Quân lực. |
Niên biểu thiết lập

4 tháng 6 năm 1946: thiết lập các ngày nghỉ lễ đầu tiên
8 tháng 9 năm 1950: chỉ định Ngày Liên Hợp Quốc (24 tháng 10) làm ngày nghỉ lễ
19 tháng 4 năm 1956: thiết lập Ngày Tưởng niệm làm ngày nghỉ lễ
27 tháng 3 năm 1959: thiết lập hệ thống ngày nghỉ lễ thay thế (nếu ngày nghỉ lễ rơi vào Chủ nhật thì ngày kế tiếp sẽ là ngày nghỉ lễ)
30 tháng 12 năm 1960: hủy hệ thống ngày nghỉ lễ thay thế
27 tháng 1 năm 1975: chỉ định Ngày Thiếu nhi, Ngày Phật đản làm ngày nghỉ lễ
3 tháng 9 năm 1976: bỏ Ngày Liên Hợp Quốc, thêm Ngày Quân lực (1 tháng 10) làm ngày nghỉ lễ
21 tháng 1 năm 1985: thêm Tết âm lịch (khi đó còn gọi là Ngày Dân gian) vào danh sách ngày nghỉ lễ
11 tháng 9 năm 1986: thêm Tết Trung thu làm ngày nghỉ lễ
1 tháng 2 năm 1989: đổi tên Ngày Dân gian thành Tết âm lịch; quy định số ngày nghỉ lễ của Tết Trung thu và Tết âm lịch là ba ngày.
5 tháng 11 năm 1990: Ngày Quân lực và Ngày Hàn ngữ không còn là ngày nghỉ lễ
18 tháng 12 năm 1998: bỏ ngày 2 tháng 1
30 tháng 6 năm 2005: chỉ định Ngày Trồng cây và Ngày Hiến pháp làm ngày nghỉ lễ. Ngày Hiến pháp không còn là ngày nghỉ lễ từ năm 2008.
6 tháng 9 năm 2006: thêm Ngày bầu cử
28 tháng 12 năm 2012: chuyển Ngày Hàn ngữ từ 28 tháng 12 sang 9 tháng 10.
Chú thích

↑  Kim Jae-won (22 tháng 4 năm 2013), Alternative holiday may be available, The Korea Times. Truy cập ngày 20 tháng 10 năm 2013 (tiếng Anh)
↑  관공서의 공휴일에 관한 규정, 국가법령정보센터 (tiếng Hàn)
1 2  A.F.C. “Why South Korea is so distinctively Christian”. The Economist explains. Kiểm tra giá trị ngày tháng trong: |archive-date= (trợ giúp)
| x t Các ngày lễ ở Châu Á |
| --- | --- |
Quốc gia có chủ quyền:  Ả Rập Xê Út  Afghanistan  Ai Cập  Armenia  Azerbaijan  Ấn Độ  Bahrain  Bangladesh  Bhutan  Brunei  Các Tiểu vương quốc Ả Rập Thống nhất  Campuchia  Đông Timor  Gruzia  Hàn Quốc  Indonesia  Iran  Iraq  Israel  Jordan  Kazakhstan  Kuwait  Kyrgyzstan  Lào  Liban  Malaysia  Maldives  Mông Cổ  Myanmar  Nepal  Nga  Nhật Bản  Oman  Pakistan  Philippines  Qatar  Singapore  Síp  Sri Lanka  Syria  Tajikistan  Thái Lan  Thổ Nhĩ Kỳ  Bắc Triều Tiên  Trung Quốc  Turkmenistan  Uzbekistan  Việt Nam  Yemen 
Quốc gia đượccông nhận hạn chế:  Abkhazia  Bắc Síp  Đài Loan  Nam Ossetia  Palestine 
Lãnh thổ phụ thuộc và vùng tự trị:  Lãnh thổ Ấn Độ Dương thuộc Anh  Quần đảo Cocos (Keeling)  Đảo Giáng Sinh  Hồng Kông  Ma Cao 
  Thể loại   Cổng thông tin châu Á
Cololejeunea hirta

| Cololejeunea hirta> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Marchantiophyta
Lớp (class): Jungermanniopsida
Bộ (ordo): Jungermanniales
Họ (familia): Lejeuneaceae
Chi (genus): Cololejeunea
Loài (species): C. hirta
Danh pháp hai phần
Cololejeunea hirta (Stephani) S. Hatt., 1944 
Cololejeunea hirta là một loài Rêu trong họ Lejeuneaceae. Loài này được (Stephani) S. Hatt. mô tả khoa học đầu tiên năm 1944.
Chú thích

↑  The Plant List (2010). “Cololejeunea hirta”. Truy cập ngày 19 tháng 8 năm 2013.
Joevana Charles

Joevana Charles là một thành viên của Quốc hội Seychelles. Cô là thành viên của Mặt trận Tiến bộ Nhân dân Seychelles, và lần đầu tiên được bầu vào Hội đồng vào năm 1993.
Weingartia westii

| Weingartia westii |
| --- | --- |

Phân loại khoa học
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Caryophyllales
Họ (familia): Cactaceae
Chi (genus): Weingartia
Loài (species): W. westii
Danh pháp hai phần
Weingartia westii (Hutchison) Donald, 1958 
Weingartia westii là một loài thực vật có hoa trong họ Cactaceae. Loài này được (Hutchison) Donald miêu tả khoa học đầu tiên năm 1958.
Chú thích

↑  The Plant List (2010). “Weingartia westii”. Truy cập ngày 19 tháng 8 năm 2013.
Astomaspis extinctor

| Astomaspis extinctor> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Ichneumonidae
Chi (genus): Astomaspis
Loài (species): A. extinctor
Danh pháp hai phần
Astomaspis extinctor (Seyrig, 1952) 
Astomaspis extinctor là một loài tò vò trong họ Ichneumonidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 22 tháng 6 năm 2014.
Pseudoagnara wraniki

| Pseudoagnara wraniki> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Lớp (class): Malacostraca
Bộ (ordo): Isopoda
Họ (familia): Agnaridae
Chi (genus): Pseudoagnara
Loài (species): P. wraniki
Danh pháp hai phần
Pseudoagnara wraniki Taiti & Ferrara, 2004 
Pseudoagnara wraniki là một loài chân đều trong họ Agnaridae. Loài này được Taiti & Ferrara miêu tả khoa học năm 2004.
Chú thích

↑  Schotte, M. (2010). Pseudoagnara wraniki Taiti & Ferrara, 2004. In: Schotte, M., Boyko, C.B, Bruce, N.L., Poore, G.C.B., Taiti, S., Wilson, G.D.F. (Eds) (2010). World Marine, Freshwater and Terrestrial Isopod Crustaceans database. Gebaseerd op informatie uit het Cơ sở dữ liệu sinh vật biển, te vinden op http://www.marinespecies.org/aphia.php?p=taxdetails&id=262734
Itaobim

| Itaobim |
| --- | --- |
—  Đô thị  —
 
  Hiệu kỳ

ItaobimLocation in Brazil
Quốc gia:  Brazil
Bang: Minas Gerais
Vùng thuộc bang: Jequitinhonha
Tiểu vùng: Pedra Azul
Diện tích
 • Tổng cộng: 679,889 km2 (262,507 mi2)
Dân số (2007)
 • Tổng cộng: 20.986
 • Mật độ: 30,87/km2 (80,0/mi2)
Múi giờ: BRT (UTC-3)
 • Mùa hè (DST): BRST (UTC-2)
39625-000 a 39627-999 
Mã điện thoại: 33 
Itaobim là một đô thị thuộc bang Minas Gerais, Brasil. Đô thị này có diện tích 679,889 km², dân số năm 2007 là 20986 người, mật độ 30,87 người/km².
Jardinópolis

| Jardinópolis |
| --- | --- |
—  Đô thị  —
 

  Hiệu kỳ Ấn chương

JardinópolisVị trí ở Brasil
Quốc gia:  Brasil
Bang: Santa Catarina
Vùng thuộc bang: Oeste Catarinense
Tiểu vùng: Chapecó
Diện tích
 • Tổng cộng: 68,097 km2 (26,292 mi2)
Dân số (2007)
 • Tổng cộng: 1.851
 • Mật độ: 26,6/km2 (69/mi2)
Múi giờ: BRT (UTC-3)
 • Mùa hè (DST): BRST (UTC-2)
Mã điện thoại: 49 
Jardinópolis là một đô thị thuộc bang Santa Catarina, Brasil. Đô thị này có diện tích 68,097 km², dân số năm 2007 là 1851 người, mật độ 26,6 người/km².
Vấn Xuyên

| Huyện Mân Xuyên |
| --- | --- |
—  Huyện  —
Chuyển tự Chữ Hán
 • Chữ Hán giản thể: 汶川县
 • Pinyin: Wènchuān Xiàn
 
 

 
Vị trí Mân Xuyên trong A Bá Vị trí Mân Xuyên trong A Bá
Huyện Mân Xuyên
Quốc gia: Trung Quốc
Tỉnh: Tứ Xuyên
Địa cấp thị: Ngawa
Huyện lỵ: Uy Châu
Diện tích
 • Tổng cộng: 4.084 km2 (1,577 mi2)
Dân số (2005)
 • Tổng cộng: 106.119
 • Mật độ: 26/km2 (67/mi2)
 • Các dân tộc chính: Hán - 46% Khương - 34% Tạng - 18,6%
Múi giờ: Giờ chuẩn Trung Quốc (UTC+8)
623000 
Mân Xuyên (tiếng Trung: 汶川县 (chữ Hán giản thể) ／ 汶川縣 (phồn thể); phanh âm: Wènchuān Xiàn; âm Hán Việt: Mân Xuyên huyện) là một huyện thuộc châu tự trị A Bá, tỉnh Tứ Xuyên, Trung Quốc.
Huyện Mân Xuyên có diện tích 4084 km² và dân số 106.119 người năm 2005.
Khu bảo tồn thiên nhiên Ngọa Long nằm ở huyện này, ở đây có hơn 150 con gấu trúc có nguy cơ tuyệt chủng cao.
Hành chính

Huyện Mân Xuyên được chia thành 6 trấn và 7 hương.
Trấn: Uy Châu, Miên Ty, Ánh Tú, Ngọa Long, Tuyền Khẩu, Thủy Ma, Long Khê.
Hương: Long Khê, Khắc Khô, Nhạn Môn, Thảo Pha, Ngân Hạnh, Cảnh Đạt, Tam Giang.
Ngày 12 tháng 5 năm 2008, Mân Xuyên nằm ngay chấn tâm của một trận động đất lớn.
Jamesbrittenia breviflora

| Jamesbrittenia breviflora |
| --- | --- |

Phân loại khoa học
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Lamiales
Họ (familia): Scrophulariaceae
Chi (genus): Jamesbrittenia
Loài (species): J. breviflora
Danh pháp hai phần
Jamesbrittenia breviflora (Schltr.) Hilliard, 1992 
Jamesbrittenia breviflora là một loài thực vật có hoa trong họ Huyền sâm. Loài này được (Schltr.) Hilliard mô tả khoa học đầu tiên năm 1992.
Chú thích

↑  The Plant List (2010). “Jamesbrittenia breviflora”. Truy cập ngày 13 tháng 6 năm 2013.
Garadna

| Garadna |
| --- | --- |
—  Thị trấn  —
 

 Huy hiệu của Garadna Huy hiệu
Garadna
Quốc gia:  Hungary
Hạt: Borsod-Abaúj-Zemplén
Tiểu vùng: Encsi
Diện tích
 • Tổng cộng: 9,78 km2 (3,78 mi2)
Dân số (2010)
 • Tổng cộng: 447
 • Mật độ: 46/km2 (120/mi2)
Múi giờ: CET (UTC+1)
 • Mùa hè (DST): CEST (UTC+2)
3873 
Mã điện thoại: 46 
Garadna là một thị trấn thuộc hạt Borsod-Abaúj-Zemplén, Hungary. Thị trấn này có diện tích 9,78 km², dân số năm 2010 là 447 người, mật độ 46 người/km².
Jamesbrittenia dentatisepala

| Jamesbrittenia dentatisepala> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Lamiales
Họ (familia): Scrophulariaceae
Chi (genus): Jamesbrittenia
Loài (species): J. dentatisepala
Danh pháp hai phần
Jamesbrittenia dentatisepala (Overk.) Hilliard, 1992 
Jamesbrittenia dentatisepala là một loài thực vật có hoa trong họ Huyền sâm. Loài này được (Overk.) Hilliard mô tả khoa học đầu tiên năm 1992.
Chú thích

↑  The Plant List (2010). “Jamesbrittenia dentatisepala”. Truy cập ngày 13 tháng 6 năm 2013.
Cơ Ngọ

Cơ Ngọ (chữ Hán: 姬午) có thể là một trong những nhân vật sau thời Đông Chu trong lịch sử Trung Quốc:
Chu Uy Liệt Vương, vua thứ 32 nhà Chu, cai trị từ năm 425 TCN - 402 TCN
Tấn Định công, vua thứ 34 nước Tấn, cai trị từ năm 511 TCN - 475 TCN
Lỗ Tương công, vua thứ 24 nước Lỗ, cai trị từ năm 572 TCN - 542 TCN
Tào Điệu công, vua thứ 22 nước Tào, cai trị từ năm 523 TCN - 515 TCN
Cả bốn vị vua trên đều là dòng dõi Chu Văn Vương, trong đó Tấn Định công thuộc thế hệ thứ 24, Chu Uy Liệt Vương thuộc thế hệ thứ 32, Lỗ Tương công thuộc thế hệ thứ 22 và Tào Điệu công thuộc thế hệ thứ 19.
Isopolia himalayensis

| Isopolia himalayensis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Noctuidae
Chi (genus): Isopolia
Loài (species): I. himalayensis
Danh pháp hai phần
Isopolia himalayensis Hampson, 1905 
Isopolia himalayensis là một loài bướm đêm trong họ Noctuidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 28 tháng 6 năm 2014.
↑  Beccaloni, G. W., Scoble, M. J., Robinson, G. S. & Pitkin, B. (Editors). (2003) The Global Lepidoptera Names Index (LepIndex). (Geraadpleegd maart 2013).
Islam Karimov

| Islam Karimov  Ислам Каримов |
| --- | --- |


Tổng thống Uzbekistan
Nhiệm kỳ 24 tháng 3 năm 1990 – 2 tháng 9 năm 2016 26 năm, 162 ngày
Thủ tướng: Abdulxashim Mutalov O‘tkir Sultonov Shavkat Mirziyoyev
Tiền nhiệm: Đầu tiên
Kế nhiệm: Nigmatilla Yuldashev (Quyền tổng thống)
Bí thư thứ nhất Đảng Cộng sản Uzbekistan
Nhiệm kỳ 23 tháng 6 năm 1989 – 29 tháng 12 năm 1991 2 năm, 189 ngày
Tiền nhiệm: Rafiq Nishonov
Kế nhiệm: Cuối cùng
 
Thông tin cá nhân
Sinh: (1938-01-30)30 tháng 1 năm 1938 Samarkand, Cộng hòa Xã hội chủ nghĩa Xô viết Uzbekistan, Liên Xô
Mất: 2 tháng 9 năm 2016(2016-09-02) (78 tuổi) Tashkent, Uzbekistan
Đảng chính trị: Đảng Dân chủ Nhân dân Uzbekistan (1991–nay)
Đảng khác: Đảng Cộng sản Uzbekistan (trước 1991) Fidokorlar (1991–2007)
Phối ngẫu: Tatyana Karimova
Islam Abdug‘aniyevich Karimov (tiếng Uzbek: Ислом Абдуғаниевич Каримов; tiếng Nga: Ислам Абдуганиевич Каримов) (30 tháng 1 năm 1938 – 2 tháng 9 năm 2016) là tổng thống đầu tiên của nước Cộng hòa Uzbekistan. Ông giữ chức vụ này từ năm 1990 cho đến khi qua đời năm 2016.
Tiểu sử

Vừa ra đời, Islam Karimov đã được đưa đến một trại trẻ mồ côi ở Samarkand. Lớn lên, ông học ngành kinh tế và kỹ sư, rồi vào Đảng Cộng sản Liên Xô. Năm 1989, ông trở thành Bí thư thứ nhất Đảng Cộng sản Liên Xô tại Uzbekistan. Ngày 24 tháng 3 năm 1990, ông trở thành Tổng thống Cộng hòa Soviet Uzbekistan.
Ngày 31 tháng 8 năm 1991, ông tuyên bố Uzbekistan độc lập, thành lập nước Cộng hòa Uzbekistan và trở thành Tổng thống đầu tiên của nước này. Trong cuộc bầu cử tổng thống năm 2000, ông tái đắc cử với tỷ lệ ủng hộ lên tới 91,9%. Đối thủ duy nhất của ông là Abdulhafiz Jalalov từng ám chỉ rằng vị này ra tranh cử chỉ để cho cuộc bầu cử có vẻ dân chủ. Năm 2007, ông tiếp tục tái đắc cử.
Về lập trường chính trị, Islam Karimov được coi là chuyên quyền, có thái độ cứng rắn và gây khó khăn cho các chính đảng khác. Ông theo đạo Hồi có lẽ từ khi Uzbekistan độc lập chỉ để giảm nhẹ sự chống đối của Hồi giáo. Sau sự kiện khủng bố đồng loạt ngày 11 tháng 9 năm 2001 ở Mỹ, Islam Karimov tỏ rõ thái độ ủng hộ Mỹ, và trở thành đồng minh của Mỹ trong cuộc chiến tranh chống chủ nghĩa khủng bố và chiến tranh chống Taliban ở Afganistan. Trong khoảng thời gian từ năm 1991 đến năm 2004, chính quyền của Islam Karimov đã tống vào tù khoảng 7000 người Uzbek bị phán xét là phần tử Hồi giáo cực đoan. Phong trào Hồi giáo Uzbekistan và Hizb-ut-Tahrir bị kết tội là các tổ chức khủng bố. Hai lãnh tụ Tohir Yo‘ldosh và Juma Namangani của Phong trào Hồi giáo Uzbekistan bị chính quyền xử tử hình vắng mặt.
Ngày 29 tháng 8 năm 2016, Karimov phải đi cấp cứu do đột quỵ. Ông mất ngày 2 tháng 9 năm 2016 tại Tashkent sau 26 năm cầm quyền vì xuất huyết não, thọ 78 tuổi.
Trilophia

| Trilophia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Noctuidae
Chi (genus): Trilophia
Trilophia là một chi bướm đêm thuộc họ Noctuidae.
Isotes butleri

| Isotes butleri> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Họ (familia): Chrysomelidae
Chi (genus): Isotes
Loài (species): I. butleri
Danh pháp hai phần
Isotes butleri Baly, 1886 
Isotes butleri là một loài bọ cánh cứng trong họ Chrysomelidae. Loài này được Baly miêu tả khoa học năm 1886.
Chú thích

↑  Chrysomelidae in Synopsis of the described Coleoptera of the World ngày 13 tháng 12 năm 2008
ISO 31-11

ISO 31-11 là một phần của các tiêu chuẩn quốc tế ISO 31 định nghĩa các ký hiệu toán học sử dụng trong vật lý và kỹ thuật.
Nội dung ISO 31-11 > Logíc  toán

| Ký hiệu | Ví dụ | Tên | Ý nghĩa và các từ tương đương | Ghi chú |
| --- | --- | --- | --- | --- |
| ∧ | p ∧ q | ký hiệu phép hội | p và q |  |
| ∨ | p ∨ q | ký hiệu phép tuyển | p hoặc q (hoặc cả hai) |  |
| ¬ | ¬ p | ký hiệu phủ định | phủ định của p; không p |  |
|  \Rightarrow  | p  \Rightarrow  q | ký hiệu kéo theo | nếu p thì q; p kéo theo q | Có thể viết: q  \Leftarrow  p. Đôi khi dùng  \Leftarrow . |
|  \forall  |  \forall x∈A p(x) ( \forall x∈A) p(x) | lượng tử phổ dụng | với mọi x thuộc A, khẳng định p(x) đúng | điều kiện "∈A" đôi khi có thể bỏ qua. |
|  \exists  |  \exists x∈A p(x) ( \exists x∈A) p(x) | lượng tử riêng | có ít nhất một x thuộc A để khẳng địnhp(x) là đúng | phần "∈A" đôi khi có thể bỏ qua.  \exists ! được dùng khi có đúng một x để p(x) là đúng. |
Nội dung ISO 31-11 > Các ký hiệu khác

| Ký hiệu | Ví dụ | Ý nghĩa | Ghi chú |  |
| --- | --- | --- | --- | --- |
| = | a = b | a bằng b | Có thể dùng ≡ để biểu đạt rằng đẳng thức là hằng đúng. |  |
| ≠ | a ≠ b | a không bằng b |  a\not \equiv b có thể sử dụng để nói rằng a không luôn luôn bằng b. |  |
|  \leftarrow  | a  \leftarrow  b | a được gán bằng b | Cũng còn dùng:= |  |
| ≙ | a ≙ b | a tương đương với b | On a 1:106 map: 1 cm ≙ 10 km. |  |
| ≈ | a ≈ b | a xấp xỉ b |  |  |
| ∼ ∝ | a ∼ b a ∝ b | a tương ứng với b |  |  |
| < | a < b | a nhỏ hơn b |  |  |
| > | a > b | a lớn hơn b |  |  |
| ≤ | a ≤ b | a lớn hơn hoặc bằng b | Có thể dùng ≦. |  |
| ≥ | a ≥ b | a nhỏ hơn hoặc bằng b | Có thể dùng ≧. |  |
| ∞ |  | vô cực |  |  |
| ∥ | AB ∥ CD | đường thẳng AB song song với đường thẳng CD |  |  |
|  \perp  | AB  \perp  CD | đường thẳng AB vuông góc với đường thẳng CD |  |  |
Nội dung ISO 31-11 > Các phép toán

| Ký hiệu | Ví dụ | Ý nghĩa | Ghi chú |
| --- | --- | --- | --- |
| + | a + b | a cộng b |  |
| − | a − b | a trừ b |  |
| ± | a ± b | a cộng hoặc trừ b |  |
| ∓ | a ∓ b | a trừ hoặc cộng b | −(a ± b) = −a ∓ b |
| ^ | a^b | lũy thừa |  |
| √ | ... | căn bậc | ... |
⋮
Nội dung ISO 31-11 > Các hàm

| Ví dụ | Ý nghĩa | Ghi chú |
| --- | --- | --- |
| f | hàm f | ... |
...
⋮
Nội dung ISO 31-11 > Hàm mũ và hàm lôgarit

| Ví dụ | Ý nghĩa | Ghi chú |
| --- | --- | --- |
| ax | hàm mũ với cơ số a của x | ... |
| e | cơ số của lôgarit tự nhiên | e = 2.718 281 8... |
...
⋮
Nội dung ISO 31-11 > Các hàm đường tròn và hyperbol

| Ví dụ | Ý nghĩa | Ghi chú |
| --- | --- | --- |
| π | Tỷ lệ giữa chu vi của một đường tròn với đường kính của nó | π = 3.141 592 6... |
...
⋮
Nội dung ISO 31-11 > Các số phức

| Ví dụ | Ý nghĩa | Ghi chú |
| --- | --- | --- |
| i   j | đơn vị ảo; i² = −1 | Trong kỹ thuật, thường dùng j. |
| Re z | phần thực của z | z = x + iy, ở đây x = Re z và y = Im z |
| Im z | phần ảo của z | z = x + iy, ở đây x = Re z và y = Im z |
| ∣z∣ | giá trị tuyệt đối của z; môđun của z | mod z |
| arg z | argument của z; phase của z | z = reiφ, trong đó r = ∣z∣ và φ = arg z, nghĩa là Re z = r cos φ và Im z = r sin φ |
| z* | (số phức) liên hợp của z | có thể dùng  {\bar {z}} thay cho z* |
| sgn z | signum z | sgn z = z / ∣z∣ = exp(i arg z) với z ≠ 0, sgn 0 = 0 |
Nội dung ISO 31-11 > Matrận

| ví dụ | Ý nghĩa | Ghi chú |
| --- | --- | --- |
| A= {\begin{bmatrix}a_{11}&\cdots &a_{1n}\\\vdots &\ddots &\vdots \\a_{n1}&\cdots &a_{nn}\end{bmatrix}} | ma trận A | ... |
...
⋮
Nội dung ISO 31-11 > Các hệ toạ độ

| Các toạ độ | vị trí vecto | Tên hệ toạ độ | Ghi chú |
| --- | --- | --- | --- |
| x, y, z | ... | Toạ độ Đê-cac | ... |
| ϱ, φ, z | ... | Toạ độ trụ | ... |
| r, ϑ, φ | ... | Toạ độ cầu | ... |
Nội dung ISO 31-11 > Vec-tơ và ten-xơ

| Ví dụ | Ý nghĩa! Ghi chú |  |
| --- | --- | --- |
| a  {\vec {a}} | vec-tơ a | . |
...
⋮
Soát xét ISO 31-11

Năm 2009, ISO 31-11 đã được thay thế bởi tiêu chuẩn ISO 80000-2. Tiêu chuẩn này đã được nhiều nước chấp nhận thành tiêu chuẩn quốc gia, tại Việt Nam là TCVN 7870-2:2010 (ISO 80000-2:2009) Đại lượng và đơn vị - Phần 2: Dấu và ký hiệu toán học dùng trong khoa học tự nhiên và công nghệ.
Chú thích

↑  If the perpendicular symbol, &#x27C2h;, does not display correctly, it is similar to  &#x22A5h; (up tack: sometimes meaning orthogonal to) and it also appears similar to &#x23CAh; (the dentistry: symbol light up and horizontal)
| x t Các tiêu chuẩn ISO |
| --- | --- |
 Các danh sách Danh sách tiêu chuẩn ISO Danh sách Latinh hóa ISO Danh sách tiêu chuẩn IEC Các thể loại ISO ISO/IEC Giao thức OSI 
1–9999:  1  2  3  4  5  6  7  9  16  31 -0  -1  -2  -3  -4  -5  -6  -7  -8  -9  -10  -11  -12  -13  128  216  217  226  228  233  259  269  302  306  428  518  519  639 -1  -2  -3  -5  -6  646  690  732  764  843  898  965  1000  1004  1007  1073-1  1413  1538  1745  2014  2015  2022  2108  2145  2146  2240  2281  2709  2711  2788  2852  3029  3103  3166 -1  -2  -3  3297  3307  3602  3864  3901  3977  4031  4157  4217  4909  5218  5775  5776  5800  5964  6166  6344  6346  6385  6425  6429  6438  6523  6709  7001  7002  7098  7185  7200  7498  7736  7810  7811  7812  7813  7816  8000  8178  8217  8571  8583  8601  8632  8652  8691  8807  8820-5  8859 -1  -2  -3  -4  -5  -6  -7  -8  -8-I  -9  -10  -11  -12  -13  -14  -15  -16  8879  9000/9001  9075  9126  9293  9241  9362  9407  9506  9529  9564  9594  9660  9897  9945  9984  9985  9995 
10000–19999:  10006  10116  10118-3  10160  10161  10165  10179  10206  10218  10303 -11  -21  -22  -28  -238  10383  10487  10585  10589  10646  10664  10746  10861  10957  10962  10967  11073  11170  11179  11404  11544  11783  11784  11785  11801  11898  11940 (-2)  11941  11941 (TR)  11992  12006  12182  12207  12234-2  13211 -1  -2  13216  13250  13399  13406-2  13407  13450  13485  13490  13567  13568  13584  13616  14000  14031  14396  14443  14496 -2  -3  -6  -10  -11  -12  -14  -17  -20  14644 -1  -2  -3  -4  -5  -6  -7  -8  -9  14649  14651  14698 -2  14750  14882  14971  15022  15189  15288  15291  15292  15408  15444  15445  15438  15504  15511  15686  15693  15706 -2  15707  15897  15919  15924  15926  15926 WIP  15930  16023  16262  16750  17024  17025  17369  17799  18000  18004  18014  18245  18629  18916  19005  19011  19092 -1  -2  19114  19115  19125  19136  19439  19501:2005  19752  19757  19770  19775-1  19794-5 
20000+:  20000  20022  20121  21000  21047  21827:2002  22000  23270  23271  23360  24613  24617  24707  25178  25964  26000  26262  26300  26324  27000 series  27000  27001:2005  27001:2013  27002  27003  27004  27005  27006  27007  27729  27799  28000  29110  29199-2  29500  31000  32000  38500  42010  80000 -1  -2  -3  -4  -5  -6  -7  -8  -9  -10  -11  -12  -13  -14 
 Xem thêm Tất cả các bài viết bắt đầu bằng tiền tố "ISO" Các thể loại lẻ về ISO ISO 639 ISO 3166
Izaias Maia Carneiro

| Thông tin cá nhân |
| --- | --- | --- | --- |
Tên đầy đủ:  Izaias Maia Carneiro
Ngày sinh:  5 tháng 6, 1975 (49 tuổi)
Nơi sinh:  Brasil
Vị trí:  Tiền đạo
Sự nghiệp cầu thủ chuyên nghiệp*
| Năm |  Đội |  ST |  (BT) |
| 2006 |  Yokohama FC |   |   |
 *Số trận ra sân và số bàn thắng ở câu lạc bộ tại giải quốc gia
Izaias Maia Carneiro (sinh ngày 5 tháng 6 năm 1975) là một cầu thủ bóng đá người Brasil.
Sự nghiệp câu lạc bộ

Izaias Maia Carneiro đã từng chơi cho Yokohama FC.
Thống kê câu lạc bộ > J.League

| Đội | Năm | J> League.Trận | J> League.Bàn | J> League Cup.Trận | J> League Cup.Bàn | Tổng cộng> Trận | Tổng cộng> Bàn |
| --- | --- | --- | --- | --- | --- | --- | --- |
| Yokohama FC | 2006 | 2 | 0 | - | - | 2 | 0 |
| Tổng cộng | Tổng cộng | 2 | 0 | 0 | 0 | 2 | 0 |
Jiangjunosaurus

| Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Chordata 
Nhánh: Craniata
 
Phân ngành (subphylum): Vertebrata
Phân thứ ngành (infraphylum): Gnathostomata
Liên lớp (superclass): Tetrapoda
Nhánh (clade): Dinosauria
Chi (genus): Jiangjunosaurus Jia C. Forster (as Foster [sic]) Xu X. & J. Clark, 2007
Jiangjunosaurus là một chi khủng long, được Jia C. Forster (as Foster [sic]) Xu X. & J. Clark mô tả khoa học năm 2007.
Chú thích

↑  “Dinosaur Genera List”. Bản gốc lưu trữ ngày 15 tháng 7 năm 2011. Truy cập ngày 3 tháng 7 năm 2015.