stanford-oval/wikipedia huggingface dataset:
Phreatoasellus uenoi
Chú thích

↑  Schotte, M. (2010). Phreatoasellus uenoi (Matsumoto, 1978). 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=262107
Peyritschia koelerioides

| Peyritschia koelerioides> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Poales
Họ (familia): Poaceae
Chi (genus): Peyritschia
Loài (species): P. koelerioides
Danh pháp hai phần
Peyritschia koelerioides (Peyr.) E.Fourn. 
Peyritschia koelerioides là một loài thực vật có hoa trong họ Hòa thảo. Loài này được (Peyr.) E.Fourn. miêu tả khoa học đầu tiên năm 1886.
Chú thích

↑  The Plant List (2010). “Peyritschia koelerioides”. Truy cập ngày 8 tháng 6 năm 2013.
Phelsuma dubia

| Phelsuma dubia |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Reptilia
Bộ (ordo): Squamata
Phân bộ (subordo): Lacertilia
Họ (familia): Gekkonidae
Chi (genus): Phelsuma
Loài (species): P. dubia
Danh pháp hai phần
Phelsuma dubia (Boettger, 1881) 
 
Phelsuma dubia là một loài thằn lằn trong họ Gekkonidae. Loài này được Boettger mô tả khoa học đầu tiên năm 1881.
Chú thích

↑  “Phelsuma dubia”. The Reptile Database. Truy cập ngày 31 tháng 5 năm 2013.
Plagiochila microdentata

| Plagiochila microdentata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Marchantiophyta
Lớp (class): Jungermanniopsida
Bộ (ordo): Jungermanniales
Họ (familia): Plagiochilaceae
Chi (genus): Plagiochila
Loài (species): P. microdentata
Danh pháp hai phần
Plagiochila microdentata M. L. So, 2000 
Plagiochila microdentata là một loài rêu trong họ Plagiochilaceae. Loài này được M. L. So mô tả khoa học đầu tiên năm 2000.
Chú thích

↑  The Plant List (2010). “Plagiochila microdentata”. Truy cập ngày 10 tháng 6 năm 2014.
Adesmus guttatus

| Adesmus guttatus> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Adesmus
Loài (species): A. guttatus
Danh pháp hai phần
Adesmus guttatus Galileo & Martins, 2005 
Adesmus guttatus là một loài bọ cánh cứng trong họ Cerambycidae.
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 24 tháng 9 năm 2012.
Ameiva cineracea

| † Ameiva cineracea> Tình trạng bảo tồn |
| --- | --- |
 Tuyệt chủng  (IUCN 2.3)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Sauropsida
Bộ (ordo): Squamata
Phân bộ (subordo): Lacertilia
Họ (familia): Teiidae
Chi (genus): Ameiva
Loài (species): A. cineracea
Danh pháp hai phần
† Ameiva cineracea Barbour & Noble, 1915 
 
Ameiva cineracea là một loài thằn lằn trong họ Teiidae. Loài này được Barbour & Noble mô tả khoa học đầu tiên năm 1915.
Australobolbus centrus

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

↑  Hallan, J.  (2010) Synopsis of the described Coleoptera of the World 6 juni 2010
Ampedus azurescens

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

↑  Elateridae in Synopsis of the described Coleoptera of the World 6 juni 2010
Osmia ogilviae

| Osmia ogilviae> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Megachilidae
Phân họ (subfamilia): Megachilinae
Tông (tribus): Osmiini
Chi (genus): Osmia
Loài (species): O. ogilviae
Danh pháp hai phần
Osmia ogilviae Cockerell, 1932 
Osmia ogilviae là một loài Hymenoptera trong họ Megachilidae. Loài này được Cockerell mô tả khoa học năm 1932.
Chú thích

↑  (2008) Integrated Taxonomic Information System (ITIS) Bee Checklist 3 oktober 2008
Aspidopterys cavaleriei

| Aspidopterys cavaleriei> 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
(không phân hạng): Rosids
Bộ (ordo): Malpighiales
Họ (familia): Malpighiaceae
Chi (genus): Aspidopterys
Loài (species): A. cavaleriei
Danh pháp hai phần
Aspidopterys cavaleriei H.Lév., 1911 
Aspidopterys cavaleriei là một loài thực vật có hoa trong họ Malpighiaceae. Loài này được H.Lév. mô tả khoa học đầu tiên năm 1911.
Chú thích

↑  The Plant List (2010). “Aspidopterys cavaleriei”. Truy cập ngày 15 tháng 9 năm 2013.
Copris caliginosus

| Copris caliginosus> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Phân thứ bộ (infraordo): Scarabeiformia
Liên họ (superfamilia): Scarabaeoidea
Họ (familia): Scarabaeidae
Chi (genus): Copris
Loài (species): C. caliginosus
Danh pháp hai phần
Copris caliginosus Kohlmann, Cano & Delgado, 2003 
Copris caliginosus là một loài bọ cánh cứng trong họ Bọ hung (Scarabaeidae).
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 24 tháng 6 năm 2014.
↑  Hallan, J. (2010) Synopsis of the described Coleoptera of the World 6 juni 2010
Ceromitia brevilobata

| Ceromitia brevilobata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Adelidae
Chi (genus): Ceromitia
Loài (species): C. brevilobata
Danh pháp hai phần
Ceromitia brevilobata (Janse, 1945) 
Ceromitia brevilobata là một loài bướm đêm thuộc họ Adelidae. Loài này có ở Nam Phi.
Chú thích

↑  Afro Moths
Prionocyphon niger

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

↑  Hallan, J.  (2010) Synopsis of the described Coleoptera of the World 6 juni 2010
Ameiva bifrontata

| Ameiva bifrontata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Sauropsida
Bộ (ordo): Squamata
Phân bộ (subordo): Lacertilia
Họ (familia): Teiidae
Chi (genus): Ameiva
Loài (species): A. bifrontata
Danh pháp hai phần
Ameiva bifrontata Cope, 1862 
Ameiva bifrontata là một loài thằn lằn trong họ Teiidae. Loài này được Cope mô tả khoa học đầu tiên năm 1862.
Ampedus babai

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

↑  Elateridae in Synopsis of the described Coleoptera of the World 6 juni 2010
Arctosa amylaceoides

| Arctosa amylaceoides> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Lycosidae
Chi (genus): Arctosa
Loài (species): A. amylaceoides
Danh pháp hai phần
Arctosa amylaceoides Schenkel, 1936 
Arctosa amylaceoides là một loài nhện trong họ Lycosidae.
Loài này thuộc chi Arctosa. Arctosa amylaceoides được Ehrenfried Schenkel-Haas miêu tả năm 1936.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Australobolbus gayndahensis

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

↑  Hallan, J.  (2010) Synopsis of the described Coleoptera of the World 6 juni 2010
Chivres-Val

| --- | --- |
 Chivres-Val
Chivres-Val

Hành chính
Quốc gia:  Pháp
Vùng: Hauts-de-France
Tỉnh: Aisne
Quận: Soissons
Tổng: Vailly-sur-Aisne
Liên xã: Val de l'Aisne
Xã (thị) trưởng: Albert Pauws (2008-2014)
Thống kê
Độ cao: 54–168 m (177–551 ft) (bình quân 90 m (300 ft)[chuyển đổi: tùy chọn không hợp lệ])
Diện tích đất1: 5,54 km2 (2,14 dặm vuông Anh)
INSEE/Mã bưu chính: 02190/ 02880

Chivres-Val  là một xã ở tỉnh Aisne, vùng Hauts-de-France thuộc miền bắc nước Pháp.
CDP-diacylglycerol—inositol 3-phosphatidyltransferase

Trong enzyme học, CDP-diacylglycerol—inositol 3-phosphatidyltransferase (EC 2.7.8.11) là một enzyme xúc tác phản ứng hóa học sau
Vì vậy, hai cơ chất của enzyme này là CDP-diacylglycerol và myo-inositol, trong khi hai sản phẩm là CMP và phosphatidyl-1D-myo-inositol.
Enzyme này thuộc về họ transferase, gồm những enzyme chuyên chuyển hóa các nhóm phosphate thay thế không đạt chuẩn. Tên hệ thống của lớp enzyme này là CDP-diacylglycerol: myo-inositol 3-phosphatidyltransferase. Những tên thông thường khác bao gồm CDP-diglyceride-inositol phosphatidyltransferase, phosphatidylinositol synthase, CDP-diacylglycerol-inositol phosphatidyltransferase, CDP-diglyceride: inositol transferase, cytidine 5'-diphospho-1,2-dinositol: my, sn-inositacyl 3-phosphatidyltransferase, CDP-DG: inositol transferase, cytidine diphosphodiglyceride-inositol phosphatidyltransferase, CDP-diacylglycerol: myo-inositol-3-phosphatidyltransferase, cytidine diphosphodiglyceride-inositol phosphatidyltransferase, CDP-diacylglycerol: myo-inositol-3-phosphatidyltransferase, CDP-diglyceride-inositol phosphatidyride- inosferase-inosferase-inosferase transferase. Enzyme này tham gia chuyển hóa glycerophospholipid và hệ thống tín hiệu phosphatidylinositol.
Osmia opima

| Osmia opima> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Hymenoptera
Họ (familia): Megachilidae
Phân họ (subfamilia): Megachilinae
Tông (tribus): Osmiini
Chi (genus): Osmia
Loài (species): O. opima
Danh pháp hai phần
Osmia opima Romankova, 1985 
Osmia opima là một loài Hymenoptera trong họ Megachilidae. Loài này được Romankova mô tả khoa học năm 1985.
Chú thích

↑  (2008) Integrated Taxonomic Information System (ITIS) Bee Checklist 3 oktober 2008
Aphthonomorpha

| Aphthonomorpha> 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
Danh pháp hai phần
Aphthonomorpha Chen, 1934 
Aphthonomorpha là một chi bọ cánh cứng trong họ Chrysomelidae.
Chi này được Chen miêu tả khoa học năm 1934.
Các loài

Chi này gồm các loài:
Aphthonomorpha laosensis Medvedev, 2000
Chú thích

↑  Chrysomelidae in Synopsis of the described Coleoptera of the World ngày 13 tháng 12 năm 2008
Ameiva erythrocephala

| Ameiva erythrocephala> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Sauropsida
Bộ (ordo): Squamata
Phân bộ (subordo): Lacertilia
Họ (familia): Teiidae
Chi (genus): Ameiva
Loài (species): A. erythrocephala
Danh pháp hai phần
Ameiva erythrocephala Daudin, 1802 
Ameiva erythrocephala là một loài thằn lằn trong họ Teiidae. Loài này được Daudin mô tả khoa học đầu tiên năm 1802.
Chrysocycnis

| Chrysocycnis |
| --- | --- |
Chrysocycnis schlimii
Phân loại khoa học
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Orchidaceae
Phân họ (subfamilia): Epidendroideae
Tông (tribus): Maxillarieae
Phân tông (subtribus): Maxillariinae
Chi (genus): Mormolyca Linden & Rchb. f.
Loài điển hình
Mormolyca lineolata Fenzl. 
Danh pháp đồng nghĩa
 Chrysocycnis Linden & Rchb.f.  Cyrtoglottis Schltr. 
Chrysocycnis là một chi lan comprising 3 loài bản địa của Nam Mỹ.
Các loài

| --- | --- |
 Chrysocycnis ecuadorense  Chrysocycnis glumacea  Chrysocycnis glumaceum  Chrysocycnis lehmanii  Chrysocycnis rhomboglossa:  Chrysocycnis rhomboglossum  Chrysocycnis schlimii  Chrysocycnis tigrinum  Chrysocycnis triptera
Tư liệu liên quan tới Chrysocycnis tại Wikimedia Commons
Chitrahalli, Holalkere

| Chitrahalli |
| --- | --- |
—  Làng  —
 
Quốc gia:  Ấn Độ
Bang: Karnataka
Huyện: Chitradurga
Thành phố/thị trấn: Holalkere
Múi giờ: IST (UTC+5:30)
Chitrahalli là một làng thuộc tehsil Holalkere, huyện Chitradurga, bang Karnataka, Ấn Độ.
Cellana toreuma

| Cellana toreuma |
| --- | --- |
Cellana toreuma
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Mollusca
Lớp (class): Gastropoda
(không phân hạng): nhánh Patellogastropoda
Liên họ (superfamilia): Nacelloidea
Họ (familia): Nacellidae
Chi (genus): Cellana
Loài (species): C. toreuma
Danh pháp hai phần
Cellana toreuma (Reeve, 1854) 
Cellana toreuma là một loài ốc biển săn mồi, là động vật thân mềm chân bụng sống ở biển trong họ Naticidae, họ ốc mặt trăng.
Miêu tả

| --- | --- |
apical view of the shell: ventral view of the shell
Chú thích

↑  Cellana toreuma (Reeve, 1854). WoRMS (2010). Cellana toreuma (Reeve, 1854). In: Bouchet, P.; Gofas, S.; Rosenberg, G. (2010) World Marine Mollusca database. Truy cập qua Cơ sở dữ liệu sinh vật biển at http://www.marinespecies.org/aphia.php?p=taxdetails&id=325466 on 16 tháng 6 năm 2010.
Ampedus auripes

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

↑  Elateridae in Synopsis of the described Coleoptera of the World 6 juni 2010
Châu Hưng (định hướng)

Châu Hưng có thể là một trong số các địa danh Việt Nam sau:
Thị trấn Châu Hưng, huyện Vĩnh Lợi, tỉnh Bạc Liêu
Xã Châu Hưng, huyện Bình Đại, tỉnh Bến Tre
Xã Châu Hưng, huyện Thạnh Trị, tỉnh Sóc Trăng
Xã Châu Hưng A, huyện Vĩnh Lợi, tỉnh Bạc Liêu.
Arrach

| Arrach   |
| --- | --- |

  Huy hiệu
Vị trí của Arrach 
Arrach  
Quốc gia: Đức
Bang: Bayern
Vùng hành chính: Oberpfalz
Huyện: Cham
Phân chia hành chính: 13 Ortsteile
Chính quyền
 • Thị trưởng: Albert Kieslinger (CSU)
Diện tích
 • Tổng cộng: 28,80 km2 (1,110 mi2)
Độ cao: 490 m (1,610 ft)
Dân số (2020-12-31)
 • Tổng cộng: 2.416
 • Mật độ: 0,84/km2 (2,2/mi2)
Múi giờ: CET (UTC+01:00)
 • Mùa hè (DST): CEST (UTC+02:00)
Mã bưu chính: 93474
Mã vùng: 0 99 43
Biển số xe: CHA
Trang web: www.arrach.de
Arrach là một đô thị ở huyện Cham bang Bayern nước Đức. Đô thị Arrach có diện tích 28,8 km², dân số thời điểm ngày 31 tháng 12 năm 2006 là 2717 người.
| x t Xã và đô thị ở huyện Cham |
| --- | --- | --- |
| Arnschwang | Arrach | Bad Kötzting | Blaibach | Cham | Chamerau | Eschlkam | Falkenstein | Furth im Wald | Gleißenberg | Grafenwiesen | Hohenwarth | Lam | Lohberg | Michelsneukirchen | Miltach | Neukirchen | Pemfling | Pösing | Reichenbach am Regen | Rettenbach | Rimbach | Roding | Rötz | Runding | Schönthal | Schorndorf | Stamsried | Tiefenbach | Traitsching | Treffelstein | Waffenbrunn | Wald | Walderbach | Waldmünchen | Weiding | Willmering | Zandt | Zell  | Arnschwang | Arrach | Bad Kötzting | Blaibach | Cham | Chamerau | Eschlkam | Falkenstein | Furth im Wald | Gleißenberg | Grafenwiesen | Hohenwarth | Lam | Lohberg | Michelsneukirchen | Miltach | Neukirchen | Pemfling | Pösing | Reichenbach am Regen | Rettenbach | Rimbach | Roding | Rötz | Runding | Schönthal | Schorndorf | Stamsried | Tiefenbach | Traitsching | Treffelstein | Waffenbrunn | Wald | Walderbach | Waldmünchen | Weiding | Willmering | Zandt | Zell  |  |
Barbula subglaucescens

| Barbula subglaucescens> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
Ngành (divisio): Bryophyta
Lớp (class): Bryopsida
Bộ (ordo): Pottiales
Họ (familia): Pottiaceae
Chi (genus): Barbula
Loài (species): B. subglaucescens
Danh pháp hai phần
Barbula subglaucescens Müll. Hal., 1897 
Barbula subglaucescens là một loài rêu trong họ Pottiaceae. Loài này được Müll. Hal. mô tả khoa học đầu tiên năm 1897.
Chú thích

↑  The Plant List (2010). “Barbula subglaucescens”. Truy cập ngày 10 tháng 6 năm 2014.
Arctosa atroventrosa

| Arctosa atroventrosa> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Lycosidae
Chi (genus): Arctosa
Loài (species): A. atroventrosa
Danh pháp hai phần
Arctosa atroventrosa Lenz, 1886 
Arctosa atroventrosa là một loài nhện trong họ Lycosidae.
Loài này thuộc chi Arctosa. Arctosa atroventrosa được Lenz miêu tả năm 1886.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Phép tính lambda

Trong logic toán học và khoa học máy tính, phép tính lambda (tiếng Anh:lambda calculus) hay còn được viết là λ-calculus, là một hệ thống hình thức dùng trong việc định nghĩa hàm số, ứng dụng hàm số và đệ quy. Phép tính lambda được Alonzo Church đề xuất vào những năm 193x như là một phần của một nghiên cứu về các nền tảng toán học. Hệ thống nguyên thủy đã được chứng minh là xung khắc logic vào năm 1935 khi Stephen Kleene và J. B. Rosser phát triển nghịch lý Kleene–Rosser. Phép tính lambda sau đó đã được phát triển để trở thành một công cụ quan trọng trong việc nghiên cứu các vấn đề lý thuyết tính toán và lý thuyết đệ quy, và hình thành nên nền tảng cơ bản của mô hình lập trình hàm.
Trong phép tính lambda, các hàm là thực thể lớp nhất được truyền vào như các tham số, và trả lại kết quả. Bởi vậy các biểu thức lambda là một dạng của khái niệm thủ tục không có tên mà không tạo ra hiệu ứng phụ. Giải tích hàm có thể được hiểu như là một ngôn ngữ lập trình lý tưởng và vô cùng nhỏ gọn. Nó có khả năng biểu diễn bất kỳ giải thuật nào, và nó tạo ra mô hình lập trình hàm. Các chương trình được tạo thành từ các hàm không có trạng thái và chỉ đơn giản nhận vào dữ liệu và trả lại đầu ra, không tạo ra các hiệu ứng phụ làm thay đổi dữ liệu đầu ra. Các ngôn ngữ lập trình hàm hiện đại, xây dựng dựa trên phép tính lambda gồm có Erlang, Haskell, Lisp, ML, và Scheme, Python, cũng như là các ngôn ngữ gần đây như Clojure, F#, Nemerle, và Scala.
Phép tính lambda tiếp tục đóng vai trò quan trọng trong các nghiên cứu cơ bản về toán học, thể hiện trong các thư từ trao đổi của Curry-Howard. Tuy nhiên, phép tính lambda bất định kiểu không tránh khỏi các nghịch lý về lý thuyết tập hợp (xem Nghịch lý Kleene-Rosser).
Chú thích

↑  A. Church, "A set of postulates for the foundation of logic", Annals of Mathematics, Series 2, 33:346–366 (1932).
↑  For a full history, see Cardone and Hindley's "History of Lambda-calculus and Combinatory Logic" (2006).
↑  Henk Barendregt, The Impact of the Lambda Calculus in Logic and Computer Science. The Bulletin of Symbolic Logic, Volume 3, Number 2, tháng 6 năm 1997.
Chitrali, Sindhnur

| Chitrali |
| --- | --- |
—  Làng  —
 
Quốc gia:  Ấn Độ
Bang: Karnataka
Huyện: Raichur
Thành phố/thị trấn: Sindhnur
Múi giờ: IST (UTC+5:30)
Chitrali là một làng thuộc tehsil Sindhnur, huyện Raichur, bang Karnataka, Ấn Độ.
Assemini

Assemini (tiếng Sardegna: Assèmini) là một đô thị ở tỉnh Cagliari, vùng Sardinia của Italia, có vị trí cách khoảng 12 km về phía tây bắc của Cagliari ở đồng bằng Cixerri, các sông Flumini Mannu và Sa Nuxedda.
Monte Lattias ở Assemini.
Assemini giáp các đô thị: Cagliari, Capoterra, Decimomannu, Elmas, Nuxis, San Sperate, Santadi, Sarroch, Sestu, Siliqua, Uta, Villa San Pietro.
Apollon Nikolayevich Maykov

| Apollon Nikolayevich Maykov |
| --- | --- |

Sinh: 4 tháng 6 năm 1821  Moskva, Nga
Mất: 20 tháng 3 năm 1897  Sankt-Peterburg, Nga
Nghề nghiệp: Nhà thơ
Thể loại: Thơ
Apollon Nikolayevich Maykov (tiếng Nga: Аполлон Николаевич Майков; 4 tháng 6 năm 1821 – 20 tháng 3 năm 1897) là nhà thơ Nga, viện sĩ thông tấn Viện Hàn lâm Khoa học Sankt-Peterburg (1853).
Tiểu sử

Apollon Maykov sinh ở Moskva, con trai của Nikolay Apollonovich Maykov, là nhà quý tộc, họa sĩ, viện sĩ. Mẹ và các anh chị em của Apollon Maykov đều là những nhà văn, nhà phê bình, dịch giả. Năm 1834 cả gia đình chuyển về Sankt-Peterburg. Trong thời gian 1837–1841 ông học luật ở Đại học Sankt-Peterburg, đầu tiên say mê hội họa nhưng về sau đã dành toàn bộ sức lực cho thơ ca.
Năm 1842 được Nga hoàng Nikolai I cho đi du lịch ở nước ngoài, ông sang Ý, Pháp, Đức và Đế chế Áo-Hung. Năm 1844 trở về Nga, ông làm việc ở Bảo tàng Rumyantsev, gặp gỡ và làm quen với Vissarion Belinsky, Nikolay Alexeyevich Nekrasov, Ivan Sergeyevich Turgenev. Thời kỳ này ông trở thành nhà thơ nổi tiếng, thường xuyên được in thơ trên những tạp chí uy tín nhất, ông cũng là người thường xuyên tham gia các buổi đọc thơ trước công chúng và giành được sự mến mộ của bạn đọc. Thời kỳ tiếp theo ông làm cố vấn và sau đó là chủ tịch của Hội đồng kiểm duyệt văn học nước ngoài. Năm 1870 ông dịch xong tác phẩm Слова о полку Игореве (Câu chuyện về cuộc hành binh Igor) ra tiếng Nga hiện đại, ngoài ra, ông còn dịch nhiều tác phẩm thơ cổ điển của Hy Lạp, Tây Ban Nha, Belarus, Serbia, các tác phẩm của Heinrich Heine, Adam Mickiewicz, Johann Wolfgang von Goethe... Năm 1882 ông được tặng Giải thường Puskin của Viện Hàn lâm Khoa học Nga.
Apollon Maykov mất ở Sankt-Peterburg năm 1897.
Tác phẩm

Сборник «Стихотворения» (1842)
Поэма «Две судьбы» (1845)
Поэма «Машенька» (1846)
Поэма «Савонарола» (1851)
Поэма «Клермонтский собор» (1853)
Цикл стихов «В антологическом роде»
Цикл стихов «Века и народы»
Цикл стихов «Вечные вопросы»
Цикл стихов «Неаполитанский альбом»
Цикл стихов «Новогреческие песни»
Цикл стихов «Отзывы истории»
Цикл стихов «Очерки Рима»
Драма «Два мира» (1872)
Драма «Три смерти» (1851)
Драма «Смерть Люция» (1863)