text:
SAO MAI TRƯỜNG XƯA
Ký danh
Ghi Nhớ?
Mật mã
Ghi Danh
Hỏi/Ðáp
Thành Viên
Lịch
Tìm Kiếm
Bài Trong Ngày
Ðánh Dấu Ðã Ðọc
Chào mừng bạn đến với SAO MAI TRƯỜNG XƯA.
Nếu đây là lần đầu bạn ghé thăm diễn đàn, xin mời bạn xem phần
hỏi/đáp
để biết cách dùng diễn đàn. Hoặc bạn cũng có thể
ghi danh
để theo dõi và tham gia thảo luận cùng chúng tôi.
Chuyên mục
Bài mới gởi
Ðề tài
Bài gởi
THÔNG BÁO CỦA BAN QUẢN TRỊ
Nội quy diễn đàn
Về việc đăng ký là thành viên...
bởi
kimtien
12-22-2012
01:00 PM
2
5
Thông báo chung
Ghi Danh ngày Họp Mặt Sao Mai...
bởi
kimtien
07-25-2016
09:51 AM
49
235
Công khai tài chánh tức là tài chánh công khai
Tường Trình quỹ Sao Mai...
bởi
vuminhhuong
09-10-2015
05:23 AM
7
29
Sưu tầm
Chuyện lạ đó đây
Trăng Dâu Tây
bởi
TVy
06-22-2016
02:24 AM
58
313
HOẠT ĐỘNG
Thông tin hoạt động
(1 người đang xem)
Xin Cảm ơn
bởi
kimtien
08-09-2016
11:25 AM
71
451
Tường trình
Họp Mặt Sao Mai Tại Saigon...
bởi
kimtien
08-09-2016
09:31 AM
21
280
GIA ĐÌNH SAO MAI
Hình ảnh ... xưa và nay
Hình người đẹp 3 miền năm 1925
bởi
TVy
05-13-2016
02:37 PM
99
697
Thầy cô
Tình nghĩa phu thê tuổi xế...
bởi
TVy
04-18-2016
04:08 AM
71
380
Bạn cũ.. .. và tìm bạn
Những cái ôm.. của tuổi 6 bó
bởi
kimtien
08-22-2016
11:07 AM
88
449
CÔNG TÁC XÃ HỘI
Tấm lòng vàng
(2 người đang xem)
VỀ LÀNG VẪN LẦN 2 ( gởi gắm...
bởi
kimtien
Hôm qua
01:31 PM
29
164
CHIA SẺ VUI BUỒN
Nhân vui .. chia buồn
Nơi đây chúng ta cùng cười và chia sầu với bạn mình .
Thân mẫu anh Trần Sang từ trần
bởi
TVy
04-09-2016
09:43 AM
111
572
Chung vui
(1 người đang xem)
Happy Father's Day
bởi
TVy
06-18-2016
08:53 AM
232
1,289
Chia buồn
(2 người đang xem)
Cựu Hs Sao Mai LÊ MẠNH HÙNG...
bởi
kimtien
08-22-2016
05:58 AM
107
749
KIẾN THỨC
Khoa học kỹ thuật
10 cây cầu nổi tiếng ở Việt...
bởi
NgNgHai
07-26-2015
12:05 PM
32
124
Đọc " nhanh" mà ngẫm "lâu"
Lời cha tâm sự với con trai
bởi
TVy
01-22-2016
03:06 AM
144
347
SÁNG TÁC
Thơ
Về đây Thắp Lại MÙA SAY VĨNH...
bởi
Daolamnguyen
08-11-2016
07:36 AM
556
955
Nhạc
Killing Me Softly
bởi
TVy
06-03-2016
02:51 AM
163
332
kim văn, cổ văn... văn xuôi, văn ngược ...
(1 người đang xem)
Mời các bạn có máu viết mà không lách vào đây múa bút ..
Hội An tháng Giêng.
bởi
TVy
02-23-2016
02:37 PM
165
554
SỨC KHỎE và LUẬT PHÁP
Mời các bạn vào kiếm vàng .. trang Sức Khỏe
GỪNG Thần dược chữa bệnh mất...
bởi
kimtien
03-18-2016
11:02 PM
88
195
Tìm hiểu và tư vấn pháp luật Việt nam
Giải đáp pháp luật
bởi
nguyenhuuduc
03-24-2012
05:44 AM
5
27
NAM - NỮ CÔNG GIA CHÁNH
Ăn chay - ăn mặn, NẤU SAO CHO NGON
Món nhậu ngày Tết
bởi
TVy
01-27-2016
03:15 PM
61
352
chỉ nhau mẹo vặt
Cách xác định địa chỉ IP trên...
bởi
TVy
03-15-2016
06:57 AM
36
91
DU LỊCH
Ký sự
nơi đây bạn có thể tìm thây các câu chuyện và hình ảnh các chuyến đi ,,,nào ta cùng lên xe ..
15 năm ‘’ Bên đời hiu quạnh’’
bởi
kimtien
03-30-2016
01:55 PM
75
804
GIẢI TRÍ
Cười chút chơi .
CHỮ LÀM CỦA NGƯỜi PHỤ NỮ
bởi
VyVy
02-22-2016
06:57 PM
91
229
đọc báo giúp bạn
Trăm nghìn đom đóm tụ hợp tạo...
bởi
TVy
04-14-2016
02:35 AM
212
796
Lời hay ý đẹp
Lời Dạy Của Thánh Hiền
bởi
TVy
05-13-2016
02:52 PM
66
131
Ðánh Dấu Ðã Ðọc
Ban Ðiều Hành
Tình Hình Diễn Ðàn
Số người đang xem
: 9 (0 thành viên và 9 khách)
Kỷ lục: 172 người đã ghé thăm 02-20-2015 lúc 03:17 AM.
Thống Kê - SAO MAI TRƯỜNG XƯA
Ðề tài: 2,639, Bài gởi: 10,550, Thành viên: 82,
Thành viên thường xuyên: 2
Xin cùng nhau chào đón
Vuong Binh
là thành viên mới nhất.
Có bài mới đăng
Chưa có bài mới
Múi giờ GMT. Hiện tại là
04:07 PM
.
-- English (US)
-- Vietnamese
Liên Lạc
-
SAO MAI TRƯỜNG XƯA
-
Lưu Trữ
-
Trở Lên Trên
Powered by vBulletin® Version 3.6.8
Copyright ©2000 - 2016, Jelsoft Enterprises Ltd.
Tiếng Việt dịch bởi
Vui Vẻ Club

Set-Cookie: bblastactivity=0; expires=Thu, 24-Aug-2017 16:07:37 GMT; path=/

X-Cache: HIT from Backend


text:
Công ty Cổ phần Vật Giá Việt Nam. Số GCNDT: 011032001615, cấp ngày 21/06/2012, nơi cấp: UBND thành phố Hà Nội
Trụ sở chính: Số 102, phố Thái Thịnh, phường Trung Liệt, quận Đống Đa, Hà Nội - Chi nhánh Hồ Chí Minh: Đường Lữ Gia, Phường 15, Quận 11, Hồ Chí Minh

WARC-Type: response

Content-Type: application/http; msgtype=response

Set-Cookie: u_nologin_id=371770398; expires=Fri, 02-Dec-2016 17:21:10 GMT; path=/; httponly

Connection: close

Server: Apache

Vary: Accept-Encoding

Content-Type: text/html; charset=UTF-8


text:
Công ty Cổ phần Vật Giá Việt Nam. Số GCNDT: 011032001615, cấp ngày 21/06/2012, nơi cấp: UBND thành phố Hà Nội
Trụ sở chính: Số 102, phố Thái Thịnh, phường Trung Liệt, quận Đống Đa, Hà Nội - Chi nhánh Hồ Chí Minh: Đường Lữ Gia, Phường 15, Quận 11, Hồ Chí Minh
Vo Nguyen Dang Chau 10/11/2008 - 23:09

Set-Cookie: u_nologin_id=371610906; expires=Fri, 02-Dec-2016 16:43:39 GMT; path=/; httponly

Server: Apache/2.2.3 (CentOS)

Pragma: no-cache

Cache-Control: no-store, no-cache, must-revalidate, post-check=0, pre-check=0


markdown:
Công ty Cổ phần Vật Giá Việt Nam. Số GCNDT: 011032001615, cấp ngày 21/06/2012, nơi cấp: UBND thành phố Hà Nội
Trụ sở chính: Số 102, phố Thái Thịnh, phường Trung Liệt, quận Đống Đa, Hà Nội - Chi nhánh Hồ Chí Minh: Đường Lữ Gia, Phường 15, Quận 11, Hồ Chí Minh

Set-Cookie: u_nologin_id=371717160; expires=Fri, 02-Dec-2016 17:09:35 GMT; path=/; httponly


text:
Tin tức »
Duyệt theo từ khóa Tuần lễ thời trang Milan
Sao Hoa ngữ nổi bật tại Tuần lễ thời trang MilanTham dự Tuần lễ thời trang Milan (Italia), nhiều nghệ sĩ Trung Hoa có dịp khoe sắc với gu thời trang đa phong cách.
Sao nam Hoa ngữ nổi bật tại Tuần lễ thời trang MilanTại Tuần lễ thời trang năm nay, dàn tài tử với phong cách cá tính thu hút sự chú ý của truyền thông quốc tế.
BST phụ kiện của Gucci tại Milan Fashion WeekNhững mẫu thiết kế mới nhất Gucci được giới thiệu tại Tuần lễ Thời trang Milan vừa qua đã hoàn toàn chinh phục khán giả, kể cả những fashionista khó tính nhất.
Mẫu nam đeo phụ kiện nhạy cảm trên sàn diễnShow thời trang xuân hè 2016 của nhà thiết kế Vivienne Westwood mang đến nhiều bất ngờ thú vị.
Dương Mịch mặt ngày càng cứng, biểu cảm “trăm kiểu như một”Tại Tuần lễ thời trang Milan Xuân/Hè 2015, Dương Mịch tái xuất sau thời gian sinh em bé với vẻ ngoài thanh mảnh như chưa hề sinh nở. Tuy nhiên khuôn mặt người đ...
6 xu hướng túi “áp đảo” sàn diễn Xuân/Hè 2015Bạn sẽ suy nghĩ ngay về việc sẽ đưa các thiết kế túi này vào wishlist của mình cho mùa mốt Xuân/Hè sắp tới, ngay sau khi nhìn ngắm chúng.
Street style tự do cực ấn tượng của Milan Fashion WeekPhong cách lộng lẫy, màu sắc... đặc trưng của Milan thể hiện rõ nhất qua những bức hình street style này.
Những chất liệu tinh xảo trong bộ sưu tập của Ermanno ScervinoHôm 19/9 vừa qua, nhà thiết kế thời trang nổi tiếng người Italy Ermanno Scervino đã cho ra mắt bộ sưu tập Xuân-Hè 2015 trong khuôn khổ Tuần lễ thời trang Milan.
Những mẫu váy cưới “mê hoặc” từ Tuần lễ thời trang Xuân/Hè 2015Dù không hoàn toàn được thiết kế lên với mục đích làm váy cưới, nhưng những mẫu váy dưới đây chắc chắn sẽ là lựa chọn lý tưởng cho những cô dâu muốn phá cách và...
CL – 2NE1, Dương Mịch “đắt show” tại Milan Fashion WeekKhông chỉ có Tuần lễ thời trang ở New York và London, mà sang đến cả Milan thì độ phủ sóng của sao châu Á vẫn rất mạnh mẽ và gây chú ý.
Phong cách thanh lịch dễ học theo của Olivia Palermo tại Tuần lễ thời trangLiên tục góp mặt ở các show thời trang đình đám, Olivia Palermo ghi điểm bởi phong cách thanh lịch, thời thượng được biến tấu linh hoạt. Đặc biết, các quý cô ho...
NTK Giorgio Armani tức giận vì bị tổng biên tập Vogue cho “leo cây”Cụ thể hơn, “Bà hoàng làng thời trang Anna Wintour đã bỏ show diễn của Giorgio Armani để tham dự một show diễn khác tại Paris.
Versace Thu Đông 2014/2015: Nữ chiến binh gợi cảmBST Nữ Thu Đông 2014/2015 vừa được nhà mốt Versace trình làng trong Tuần lễ Thời trang Milan. Những mẫu thiết kế mùa tới được lấy cảm hứng từ niềm đam mê sưu tầ...
Các sao rộn ràng đi xem thời trangVợ chồng Kaka, Dani Alves và tay vợt Wawrinka cùng nhau tới dự Tuần lễ thời trang Milan hôm cuối tuần.
Các bài viết khác
Chủ đề liên quan
Tin bài mới nhất
- SO VỚI HOA HẬU SA ĐỌA ALICIA MACHODO, KỲ DUYÊN VẪN LÀ NÀNG CÔNG CHÚA NGÂY THƠ
- VY OANH KHOE ĐƯỜNG CONG QUYẾN RŨ VỚI VÁY DÀI DUYÊN DÁNG
- Thôi chức quyền trưởng công an xã nổ súng vào trường gà
- Vụ bắn chết chủ tiệm vàng: Một trung tá Campuchia sẽ bị xử lý theo luật VN
- Truy bắt nhóm đi xe biển số Lào bắn người trọng thương
7 ngày tiêu điểm
30 ngày tiêu điểm
- · Bà Tưng tiết lộ bí mật 'cực sốc' về Mạc Hồng Quân sau đám cưới
- · Sau hơn nửa năm scandal với Phan Thành, cuộc sống của Midu và Thúy Vi có sự đối lập gây choáng
- · Sự thật chuyện 'bé' Xuân Mai lấy chồng đại gia hơn nhiều tuổi
- · Bị vợ đại gia 'vạch mặt' cặp kè, vòi tiền, Angela Phương Trinh tỏ thái độ miệt thị
- · Em gái Thanh Thảo - Thụy Anh đã sinh con thứ hai
- · Sao Việt xuất ngoại: 'Kẻ ở thiên đường, người rơi xuống địa ngục'
- · Hà Hồ tiếp tục thân mật với đại gia kim cương sau sinh nhật con trai
- · Song Hye Kyo là nguyên nhân tin đồn Suzy và Lee Min Ho chia tay?
365 ngày tiêu điểm
- · Hà Nội: 4 phụ nữ thi nhau làm nhục 1 cô gái trẻ vì ghen tuông
- · Bố mẹ Văn Mai Hương trẻ trung đến cổ vũ con gái
- · Nghi án dao kéo mới trong showbiz Việt
- · Hà Anh muốn thuê người mang thai hộ vì sợ xấu?
- · Hạ Vi tức giận và không muốn nghe lời giải thích từ Cường Đô la?
- · Vừa cởi được váy em xuống, tôi suýt ngất khi thấy “nó” to bất thường
- · Bàng hoàng trong đêm tân hôn chạm tay vào ngực vợ
- · Hồ Ngọc Hà bị vợ đại gia lên tiếng cảnh cáo vì tội giật chồng?
Bạn có biết?
- Tôi đã cứu rỗi cả nhà chồng đại gia chỉ bằng 1 cuộc điện thoại diễn ra 10 phút
- Chồng tái mặt sợ hãi khi thấy vợ không ghen tuông mà lại cười lăn lộn ngay lúc thấy mặt cô bồ
- Vừa vào nhà nghỉ “trú mưa” bạn gái ngoan hiền đã chủ động dâng hiến và sự thật đằng sau khiến tôi choáng
- Bất ngờ về thăm nhà người yêu mới quen 3 tháng, tôi chết đứng khi chạm mặt người em trai nằm liệt giường của anh
- “Vụng thối vụng nát” như em, anh lấy về chắc phải hầu em suốt
Có thể bạn chưa đọc?
- · Áo ngực của cô bạn thân "rơi" ngay trên giường vợ chồng tôi
- · Người yêu đã nuôi tôi ăn học mà bố mẹ của tôi một mực phản đối
- · ‘Đừng anh, em còn phải lấy chồng nên không thể để anh cởi cúc áo’
- · Sắp cưới, bạn trai quay ngoắt 180 độ đòi chia tay vì…
- · Chồng bất lực, đành lòng nhìn... vợ ngoại tình
- · ‘Ngã ngửa’ khi biết sự thật về hộp bao cao su trong ba lô của chồng
- · "Soi" nhất cử nhất động của sao Việt (26/9)
- · Bí mật của người tình bại lộ sau cuộc điện nửa đêm

markdown:
[Loạt sao nam Hoa ngữ nổi bật tại Tuần lễ thời trang Milan](/dep-xinh/thoi-trang/2016/06/loat-sao-nam-hoa-ngu-noi-bat-tai-tuan-le-thoi-trang-milan/) [Lưu Khải Uy, Trương Nhược Quân, Hoàng Cảnh Du, Hồ Ca là những diễn viên được kỳ vọng của showbiz Hoa ngữ tại Tuần lễ thời trang quốc tế.](/dep-xinh/thoi-trang/2016/06/loat-sao-nam-hoa-ngu-noi-bat-tai-tuan-le-thoi-trang-milan/) ![ Loạt sao nam Hoa ngữ nổi bật tại Tuần lễ thời trang Milan](http://images.tintuc.vietgiaitri.com/2016/06/loat-sao-nam-hoa-ngu-noi-bat-tai-tuan-le-thoi-trang-milan-ce9-127x91.jpg)
![ Loạt sao nam Hoa ngữ nổi bật tại Tuần lễ thời trang Milan](http://images.tintuc.vietgiaitri.com/2016/06/loat-sao-nam-hoa-ngu-noi-bat-tai-tuan-le-thoi-trang-milan-ce9-127x91.jpg)

Cache-Control: max-age=300, must-revalidate

Vary: Accept-Encoding, Cookie

WP-Cache: Served supercache file from PHP GZIP FIRST


text:
Working for a World Free of Poverty
Connect
English
EN
Español
Français
عربي
Русский
中文
View All »
Search
Home
About
Data
Research
Learning
News
Projects & Operations
Publications
Countries
Topics
Working for a World Free of Poverty
Tin tức
PHÓNG SỰ
Đồ họa thông tin: Cập nhật tình hình Phát triển Kinh tế Việt Nam - Tháng 7/2013
12 Tháng 7 Năm 2013
Trang này bằng:
English
Tiếng Việt
Email
In
Tweet
Share
Share
LinkedIn
Digg
人人网
Stumble Upon
Delicious
新浪微博
Click vào hình ảnh để xem
BẢN CHẤT LƯỢNG CAO
.
LIÊN QUAN
NGÂN HÀNG THẾ GIỚI
Tải toàn văn báo cáo: Điểm lại: Cập nhật tình hình phát triển kinh tế Việt Nam (Tháng 7/2013)
Cập nhật Tình hình Phát triển Kinh tế Việt Nam (Tháng 7/2013): Phát hiện chính
Việt Nam
Đông Á và Thái Bình Dương (Tiếng Anh)
TIN MỚI NHẤT
THÔNG CÁO BÁO CHÍ
Ban Giám đốc Ngân hàng Thế giới phê duyệt Khung Môi trường và Xã hội mới
4 Tháng 8 Năm 2016
PHÓNG SỰ
Chuyện hai người nuôi tôm: Đồng bằng sông Cửu Long và thích ứng biến đổi khí hậu
1 Tháng 8 Năm 2016
THÔNG CÁO BÁO CHÍ
Việt Nam và Ngân hàng Thế giới ký kết hiệp định tài trợ 371 triệu USD giúp tăng cường năng lực cạnh tranh, ứng phó biến đổi khí hậu và tăng trưởng xanh và quản lý tài nguyên nước
25 Tháng 7 Năm 2016
BLOGS
Việt Nam có thể học hỏi được gì từ Singapore về quản lý rủi ro ngập lụt
Linh X. Le
2 Tháng 5 Năm 2016
Việt Nam: Thắp sáng cuộc sống người dân nhờ lồng ghép y tế vào dự án thủy điện
Sang Minh Le
7 Tháng 4 Năm 2016
Các đô thị hiệu quả đóng vai trò then chốt giúp Việt Nam chuyển đổi sang nền kinh tế thu nhập cao
Axel van Trotsenburg
11 Tháng 11 Năm 2015
Newsletters
Xem tất cả newsletters »
FOLLOW US
Newsletter
RESOURCES
Civil Society
Consultations
Government
Client Connection
Parliamentarians
Access to Information
Financing & Risk Management
Businesses
Corporate Procurement
Operational Procurement
Investors
World Bank Bonds
Job Seekers
Journalists
Students
ABOUT
History
Organization
Public Outreach
Events
Jobs
Annual Reports
World Bank Group Accountability
Compliance Advisor Ombudsman
Grievance Redress Service
Independent Evaluation Group
Inspection Panel
Integrity Vice Presidency
Policies and Procedures
Data
DataBank
Data Catalog
Microdata
Data Publications & Products
APIs for Developers
RESEARCH
Search Research
Tools & Tables
LEARNING
Global Development Learning Network
Statistical Capacity Building
Scholarships & Fellowships
NEWS
Search News
Blogs
Multimedia
Media Briefing Center
Media Contacts
PROJECTS & OPERATIONS
Search Projects
Products & Services
Country Lending
Results
PUBLICATIONS
Documents & Reports
Archives
Libraries
COUNTRIES
TOPICS
FOLLOW US
Newsletter
More ways to get to us
Sign Up for Email Newsletters
World Bank Apps
World Bank Live
RESOURCES
Civil Society
Consultations
Government
Businesses
Investors
Job Seekers
Journalists
Students
ABOUT
Data
RESEARCH
LEARNING
NEWS
PROJECTS & OPERATIONS
PUBLICATIONS
COUNTRIES
TOPICS
IBRD
IDA
IFC
MIGA
ICSID
IBRD
IDA
IFC
MIGA
ICSID
Legal
|
Access to Information
|
Jobs
|
Contact
©
REPORT FRAUD OR CORRUPTION
REPORT FRAUD OR CORRUPTION

Accept-Ranges: bytes


text: Xemphim5s.com - Xem phim online, Phim HD, Full HD miễn phí, chất lượng hình ảnh rõ nét, tốc độ tải phim nhanh, không phải chờ đợi lâu. Xemphim5s.com luôn cập nhật phim mới để để mang đến cho các bạn những bộ phim hành động, võ thuật, phim bộ, các thể loại phim tâm lý, tình cảm, phim cấp 3, phim 18+ cực lôi cuốn và hấp dẫn nhất. Đặc biệt website rất thân thiện với người dùng và hạn chế tối đa các quảng cáo gây khó chịu khi xem phim. Chúc các bạn xem phim vui vẻ.

markdown: **Xemphim5s.com** - [, Xem phim online](http://xemphim5s.com) [,](http://xemphim5s.com) **Phim HD** [miễn phí, chất lượng hình ảnh rõ nét, tốc độ tải phim nhanh, không phải chờ đợi lâu.](http://xemphim5s.com) **Full HD** [luôn cập nhật](http://xemphim5s.com) **Xemphim5s.com** [để để mang đến cho các bạn những bộ](http://xemphim5s.com/phim-moi/) **phim mới** [,](http://xemphim5s.com/phim-hanh-dong/) **phim hành động** [võ thuật,](http://xemphim5s.com/phim-vo-thuat) [, các thể loại](http://xemphim5s.com/phim-bo/) **phim bộ** [,](http://xemphim5s.com/phim-tam-ly-xa-hoi) *phim tâm lý* [,](http://xemphim5s.com/phim-tinh-cam) *tình cảm* [cực lôi cuốn và hấp dẫn nhất. Đặc biệt website rất thân thiện với người dùng và hạn chế tối đa các quảng cáo gây khó chịu khi](http://xemphim5s.com/phim-18) *phim cấp 3, phim 18+* [. Chúc các bạn xem phim vui vẻ.](http://xemphim5s.com/) **xem phim**

WARC-Truncated: length

Server: nginx admin


text:
[Khảo sát] Sức hút của hệ điều hành Android tại Hoa Kỳ
Thảo luận trong 'Thông tin công nghệ' bắt đầu bởi Lâm Thắng, 5/1/10. Trả lời: 30, Xem: 4198.
Trang 2 / 2
Trang 2 / 2
Đang tải...
Thảo luận trong 'Thông tin công nghệ' bắt đầu bởi Lâm Thắng, 5/1/10. Trả lời: 30, Xem: 4198.

markdown:
# [Khảo sát] Sức hút của hệ điều hành Android tại Hoa Kỳ
Thảo luận trong '
[Thông tin công nghệ](forums/thong-tin-cong-nghe.10/)' bắt đầu bởi [Lâm Thắng](members/lam-thang.6916/), [5/1/10](threads/khao-sat-suc-hut-cua-he-dieu-hanh-android-tai-hoa-ky.333889/).
Trả lời: 30, Xem: 4198.
Trang 2 / 2
Trang 2 / 2
Đang tải...
Thảo luận trong '
[Thông tin công nghệ](forums/thong-tin-cong-nghe.10/)' bắt đầu bởi [Lâm Thắng](members/lam-thang.6916/), [5/1/10](threads/khao-sat-suc-hut-cua-he-dieu-hanh-android-tai-hoa-ky.333889/).
Trả lời: 30, Xem: 4198.

Cache-control: private, max-age=0

Set-Cookie: tt_session=197de7599342b1d49124dfe0027cbd73; path=/; domain=.tinhte.vn; secure; httponly

Server: nginx

X-Frame-Options: SAMEORIGIN


text:
Đặt trước: thg 8 31, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 26, 2016
Đặt trước: thg 9 15, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 14, 2016
Đặt trước: thg 9 16, 2016. Có giá trị cho thời gian lưu trú từ thg 9 15, 2016 đến thg 12 30, 2016
Phải được đặt 30 ngày trước khi nhận phòng
Đặt trước: thg 8 31, 2016. Có giá trị cho thời gian lưu trú trước thg 12 28, 2016
Đặt trước: thg 9 30, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 29, 2016
Đặt trước: thg 9 30, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 29, 2016
Đặt trước: thg 9 30, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 29, 2016
Đặt trước: thg 11 1, 2016. Có giá trị cho thời gian lưu trú trước thg 10 31, 2016
Phải được đặt 30 ngày trước khi nhận phòng
Đặt trước: thg 8 26, 2016. Có giá trị cho thời gian lưu trú trước thg 9 20, 2016
Đặt trước: thg 8 28, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 28, 2016
Đặt trước: thg 8 28, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 28, 2016
Đặt trước: thg 10 1, 2016. Có giá trị cho thời gian lưu trú từ thg 10 31, 2016 đến thg 12 29, 2016
Đặt trước: thg 8 28, 2016. Có giá trị cho thời gian lưu trú trước thg 8 27, 2016
Đặt trước: thg 8 31, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 30, 2016
Đặt trước: thg 8 28, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 30, 2016
Phải được đặt 3 ngày trước khi nhận phòng
Ưu đãi đặc biệt Các ưu đãi phụ thuộc tình trạng phòng thực tế - vui lòng nhập ngày dự kiến của chuyến đi để kiểm tra tình trạng phòng. Tất cả đều là giá một phòng cho mỗi đêm, trừ khi có quy định khác. Giá chưa bao gồm thuế và phí.
Địa điểmCác địa điểm khác...
Loại hình khách sạn
Tiện nghi

markdown:
|
|
## Tìm kiếm Ưu đãi đặc biệt tại Oakland
Đặt trước: thg 8 31, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 26, 2016
Đặt trước: thg 9 15, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 14, 2016
Đặt trước: thg 9 16, 2016. Có giá trị cho thời gian lưu trú từ thg 9 15, 2016 đến thg 12 30, 2016
Phải được đặt 30 ngày trước khi nhận phòng
Đặt trước: thg 8 31, 2016. Có giá trị cho thời gian lưu trú trước thg 12 28, 2016
Đặt trước: thg 9 30, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 29, 2016
Đặt trước: thg 9 30, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 29, 2016
Đặt trước: thg 9 30, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 9 29, 2016
Đặt trước: thg 11 1, 2016. Có giá trị cho thời gian lưu trú trước thg 10 31, 2016
Phải được đặt 30 ngày trước khi nhận phòng
Đặt trước: thg 8 26, 2016. Có giá trị cho thời gian lưu trú trước thg 9 20, 2016
Đặt trước: thg 8 28, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 28, 2016
Đặt trước: thg 8 28, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 28, 2016
Đặt trước: thg 10 1, 2016. Có giá trị cho thời gian lưu trú từ thg 10 31, 2016 đến thg 12 29, 2016
Đặt trước: thg 8 28, 2016. Có giá trị cho thời gian lưu trú trước thg 8 27, 2016
Đặt trước: thg 8 31, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 30, 2016
Đặt trước: thg 8 28, 2016. Tất cả các ưu đãi có giá trị cho thời gian lưu trú trước thg 8 30, 2016
Phải được đặt 3 ngày trước khi nhận phòng
Ưu đãi đặc biệt Các ưu đãi phụ thuộc tình trạng phòng thực tế - vui lòng nhập ngày dự kiến của chuyến đi để kiểm tra tình trạng phòng. Tất cả đều là giá một phòng cho mỗi đêm, trừ khi có quy định khác. Giá chưa bao gồm thuế và phí.
|Nob Hill||từ|
|
|
|Tenderloin||từ|
|
|
|Western Addition||từ|
|
|
|Bãi biển phía Nam||từ|
|
|
|San Francisco||từ|
|
|
|Berkeley||từ|
|
|
|South San Francisco||từ|
|
|
|Burlingame||từ|
|
|
|Vịnh San Francisco||từ|
|
|**Địa điểm** **Loại hình khách sạn** **Tiện nghi**

Cache-Control: max-age=0, no-cache, no-store

Content-Language: vi-VN

Server: Application-Server


text:
Bản mẫu:ANBO aircraft
Bách khoa toàn thư mở Wikipedia
Bước tới:
menu
,
tìm kiếm
x
t
s
Máy bay do
Karo Aviacijos Tiekimo Skyrius
thiết kế chế tạo
Máy bay ANBO của Litva
ANBO I
•
ANBO II
•
ANBO III
•
ANBO IV
•
ANBO 41
•
ANBO V
•
ANBO 51
•
ANBO VI
•
ANBO VII
•
ANBO VIII
Lấy từ “
https://vi.wikipedia.org/w/index.php?title=Bản_mẫu:ANBO_aircraft&oldid=10995597
”
Thể loại
:
Manufacturer-based aircraft navigational boxes
Trình đơn chuyển hướng
Công cụ cá nhân
Chưa đăng nhập
Thảo luận cho địa chỉ IP này
Đóng góp
Mở tài khoản
Đăng nhập
Không gian tên
Bản mẫu
Thảo luận
Biến thể
Các hiển thị
Đọc
Sửa mã nguồn
Xem lịch sử
Khác
Tìm kiếm
Xem nhanh
Trang Chính
Bài viết chọn lọc
Tin tức
Bài viết ngẫu nhiên
Thay đổi gần đây
Phản hồi lỗi
Quyên góp
Tương tác
Hướng dẫn
Giới thiệu Wikipedia
Cộng đồng
Thảo luận chung
Giúp sử dụng
Liên hệ
Công cụ
Các liên kết đến đây
Thay đổi liên quan
Các trang đặc biệt
Liên kết thường trực
Thông tin trang
Khoản mục Wikidata
Ngôn ngữ khác
English
Français
Sửa liên kết
Trang này được sửa đổi lần cuối lúc 19:27 ngày 15 tháng 3 năm 2013.
Văn bản được phát hành theo
Giấy phép Creative Commons Ghi công–Chia sẻ tương tự
; có thể áp dụng điều khoản bổ sung. Với việc sử dụng trang web này, bạn chấp nhận
Điều khoản Sử dụng
và
Quy định quyền riêng tư
.
Wikipedia® là thương hiệu đã đăng ký của
Wikimedia Foundation, Inc.
, một tổ chức phi lợi nhuận.
Quy định quyền riêng tư
Giới thiệu Wikipedia
Lời phủ nhận
Nhà phát triển
Tuyên bố về cookie
Phiên bản di động

Set-Cookie: GeoIP=US:VA:Ashburn:39.04:-77.49:v4; Path=/; secure; Domain=.wikipedia.org

X-Content-Type-Options: nosniff

Cache-Control: private, s-maxage=0, max-age=0, must-revalidate

X-Cache-Status: miss

P3P: CP="This is not a P3P policy! See https://vi.wikipedia.org/wiki/%C4%90%E1%BA%B7c_bi%E1%BB%87t:CentralAutoLogin/P3P for more info."

Via: 1.1 varnish, 1.1 varnish

Content-Language: vi

X-UA-Compatible: IE=Edge

X-Cache: cp1068 miss, cp1053 miss

Vary: Accept-Encoding,Cookie,Authorization


text:
Buryatia
Bách khoa toàn thư mở Wikipedia
Buryatia, tên chính thức Cộng hòa Buryat (tiếng Nga: Республика Бурятия, Respublika Buryatiya; tiếng Buryat: Буряад Республика, Buryaad Respublika), là một chủ thể liên bang của Nga. Diện tích của vùng là khoảng trên 350.000 km² với dân số gần một triệu người. Thủ đô của Buryatia là Ulan-Ude.
Mục lục
Tham khảo[sửa | sửa mã nguồn]
Địa lý[sửa | sửa mã nguồn]
Kinh tế[sửa | sửa mã nguồn]
Kinh tế của vùng bao gồm nông nghiệp và các sản phẩm thương mại như lúa mì, rau, khoai tây, chế biến gỗ, đồ da, than chì và dệt may. Đánh bắt cá, săn bắn, nuôi cừu và gia súc, khai thác khoáng sản, cơ khí, nuôi động vật lấy da cũng là những ngành quan trọng.
Liên kết[sửa | sửa mã nguồn]
- (tiếng Anh) Official website of the Buryat Republic.
- (tiếng Nga) Official website of the Buryat Republic.
- (tiếng Nga) Buryatia.info - Social web 2.0 site about life in Buryat Republic.
- Official website of the Buryat Republic (in Buryat).

markdown:
# Buryatia
Bách khoa toàn thư mở Wikipedia
|Bài viết này
|cần thêm .
|Republic of Buryatia
|
Республика Бурятия
Cộng hòa Buryat
|
|
![]()
|Quốc kỳ||Huy hiệu|
|Hành chính|
|Chính phủ||
|![ Flag of Ulan-Ude (Buryatia).png](//upload.wikimedia.org/wikipedia/commons/thumb/c/cc/Flag_of_Ulan-Ude_%28Buryatia%29.png/30px-Flag_of_Ulan-Ude_%28Buryatia%29.png)
![ Flag of Ulan-Ude (Buryatia).png](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cc/Flag_of_Ulan-Ude_%28Buryatia%29.png/30px-Flag_of_Ulan-Ude_%28Buryatia%29.png)
[Ulan-Ude](/wiki/Ulan-Ude) [Đơn vị tiền tệ](/wiki/Ti%E1%BB%81n_t%E1%BB%87) [Ruble](/wiki/R%C3%BAp_Nga)(
)
[RUB, рубль] [Tên miền Internet](/wiki/T%C3%AAn_mi%E1%BB%81n_qu%E1%BB%91c_gia_c%E1%BA%A5p_cao_nh%E1%BA%A5t) [.ru](/wiki/.ru) **Buryatia**, tên chính thức **Cộng hòa Buryat** ( [tiếng Nga](/wiki/Ti%E1%BA%BFng_Nga): Республика Бурятия, *Respublika Buryatiya*; [tiếng Buryat](/w/index.php?title=Ti%E1%BA%BFng_Buryat&action=edit&redlink=1): Буряад Республика, *Buryaad Respublika*), là một [chủ thể liên bang](/wiki/Ch%E1%BB%A7_th%E1%BB%83_li%C3%AAn_bang_c%E1%BB%A7a_Nga) của [Nga](/wiki/Nga). Diện tích của vùng là khoảng trên 350.000 km² với dân số gần một triệu người. Thủ đô của Buryatia là [Ulan-Ude](/wiki/Ulan-Ude).
## Mục lục
## Tham khảo[
[sửa](/w/index.php?title=Buryatia&veaction=edit&vesection=1) | [sửa mã nguồn](/w/index.php?title=Buryatia&action=edit§ion=1)]
## Địa lý[
[sửa](/w/index.php?title=Buryatia&veaction=edit&vesection=2) | [sửa mã nguồn](/w/index.php?title=Buryatia&action=edit§ion=2)]
## Kinh tế[
[sửa](/w/index.php?title=Buryatia&veaction=edit&vesection=3) | [sửa mã nguồn](/w/index.php?title=Buryatia&action=edit§ion=3)]
Kinh tế của vùng bao gồm nông nghiệp và các sản phẩm thương mại như lúa mì, rau, khoai tây, chế biến gỗ, đồ da, than chì và dệt may. Đánh bắt cá, săn bắn, nuôi cừu và gia súc, khai thác khoáng sản, cơ khí, nuôi động vật lấy da cũng là những ngành quan trọng.
## Liên kết[
[sửa](/w/index.php?title=Buryatia&veaction=edit&vesection=4) | [sửa mã nguồn](/w/index.php?title=Buryatia&action=edit§ion=4)]
|
|![]()
|Wikimedia Commons có thêm thư viện hình ảnh và phương tiện truyền tải về
|**(tiếng Anh)** [Official website of the Buryat Republic](http://egov-buryatia.ru:8081). **(tiếng Nga)** [Official website of the Buryat Republic](http://gov.buryatia.ru:8080). **(tiếng Nga)** [Buryatia.info - Social web 2.0 site about life in Buryat Republic](http://buryatia.info). [Official website of the Buryat Republic](http://gov.buryatia.ru:8082)(in Buryat).

X-Cache: cp1055 miss, cp1053 miss


text:
Digitalis parviflora
Bách khoa toàn thư mở Wikipedia
Digitalis parviflora là một loài thực vật có hoa trong họ Mã đề. Loài này được Jacq. mô tả khoa học đầu tiên năm 1770.[1]
Hình ảnh[sửa | sửa mã nguồn]
Chú thích[sửa | sửa mã nguồn]
- ^ The Plant List (2010). “Digitalis parviflora”. Truy cập ngày 21 tháng 8 năm 2013.
Liên kết ngoài[sửa | sửa mã nguồn]
- Phương tiện liên quan tới Digitalis parviflora tại Wikimedia Commons
- Dữ liệu liên quan tới Digitalis parviflora tại Wikispecies
- Vườn thực vật hoàng gia Kew; Đại học Harvard; Australian Plant Name Index (biên tập). “Digitalis parviflora”. International Plant Names Index. Truy cập ngày 21 tháng 8 năm 2013.

markdown:
*Digitalis parviflora*
Bách khoa toàn thư mở Wikipedia
|
|Digitalis parviflora
|
|![]()
[Phân loại khoa học](/wiki/Ph%C3%A2n_lo%E1%BA%A1i_sinh_h%E1%BB%8Dc) [Giới](/wiki/Gi%E1%BB%9Bi_(sinh_h%E1%BB%8Dc))( *regnum*) [Plantae](/wiki/Th%E1%BB%B1c_v%E1%BA%ADt) [Angiospermae](/wiki/Th%E1%BB%B1c_v%E1%BA%ADt_c%C3%B3_hoa) [Eudicots](/wiki/Th%E1%BB%B1c_v%E1%BA%ADt_hai_l%C3%A1_m%E1%BA%A7m_th%E1%BA%ADt_s%E1%BB%B1) [Asterids](/wiki/Nh%C3%A1nh_C%C3%BAc) [Bộ](/wiki/B%E1%BB%99_(sinh_h%E1%BB%8Dc))( *ordo*) [Lamiales](/wiki/B%E1%BB%99_Hoa_m%C3%B4i) [Họ](/wiki/H%E1%BB%8D_(sinh_h%E1%BB%8Dc))( *familia*) [Plantaginaceae](/wiki/H%E1%BB%8D_M%C3%A3_%C4%91%E1%BB%81) [Chi](/wiki/Chi_(sinh_h%E1%BB%8Dc))( *genus*) [Digitalis](/w/index.php?title=Digitalis&action=edit&redlink=1) [Loài](/wiki/Lo%C3%A0i)( *species*) **D. parviflora** [Danh pháp hai phần](/wiki/Danh_ph%C3%A1p_hai_ph%E1%BA%A7n) *Digitalis parviflora* [Jacq.](/w/index.php?title=Nikolaus_Joseph_von_Jacquin&action=edit&redlink=1) * là một loài Digitalis parviflora* [thực vật có hoa](/wiki/Th%E1%BB%B1c_v%E1%BA%ADt_c%C3%B3_hoa)trong [họ Mã đề](/wiki/H%E1%BB%8D_M%C3%A3_%C4%91%E1%BB%81). Loài này được Jacq. mô tả khoa học đầu tiên năm 1770. [[1]](#cite_note-1)
## Hình ảnh[
[sửa](/w/index.php?title=Digitalis_parviflora&veaction=edit&vesection=1) | [sửa mã nguồn](/w/index.php?title=Digitalis_parviflora&action=edit§ion=1)]
## Chú thích[
[sửa](/w/index.php?title=Digitalis_parviflora&veaction=edit&vesection=2) | [sửa mã nguồn](/w/index.php?title=Digitalis_parviflora&action=edit§ion=2)] **The Plant List (2010).** [^](#cite_ref-1) [“](http://www.theplantlist.org/tpl1.1/record/kew-2768080). Truy cập ngày 21 tháng 8 năm 2013. *Digitalis parviflora*”
## Liên kết ngoài[
[sửa](/w/index.php?title=Digitalis_parviflora&veaction=edit&vesection=3) | [sửa mã nguồn](/w/index.php?title=Digitalis_parviflora&action=edit§ion=3)]
Phương tiện liên quan tới
[Digitalis parviflora](https://commons.wikimedia.org/wiki/Category:Digitalis_parviflora)tại [Wikimedia Commons](/wiki/Wikimedia_Commons)
Dữ liệu liên quan tới
[Digitalis parviflora](https://species.wikimedia.org/wiki/Digitalis_parviflora)tại [Wikispecies](/wiki/Wikispecies) [Vườn thực vật hoàng gia Kew](/wiki/V%C6%B0%E1%BB%9Dn_th%E1%BB%B1c_v%E1%BA%ADt_ho%C3%A0ng_gia_Kew); [Đại học Harvard](/wiki/%C4%90%E1%BA%A1i_h%E1%BB%8Dc_Harvard); [Australian Plant Name Index](/wiki/Australian_Plant_Name_Index)(biên tập). [“Digitalis parviflora”](http://www.ipni.org/ipni/idPlantNameSearch.do?id=802069-1). *. Truy cập ngày 21 tháng 8 năm 2013.* [International Plant Names Index](/wiki/International_Plant_Names_Index)

X-Cache-Status: hit

X-Cache: cp1053 hit/1, cp1053 miss


text:
Lí thuyết ngôn ngữ lập trình
Lí thuyết ngôn ngữ lập trình (thường được-biết-tới bởi chữ-viết-tắt tiếng-Anh PLT (Programming language theory)) là một nhánh của khoa-học máy-tính nghiên-cứu việc-thiết-kế, thực-hiện, phân-tích, mô-tả đặc-điểm, và phân-loại các ngôn-ngữ lập-trình và các đặc-trưng của chúng. Lí-thuyết ngôn-ngữ lập-trình phụ-thuộc và chịu ảnh-hưởng của toán-học, kĩ-nghệ phần-mềm và ngôn-ngữ-học. Nó là một nhánh của khoa-học máy-tính được công-nhận và là một khu-vực nghiên-cứu tích-cực, với các kết-quả được xuất-bản trong nhiều tạp-chí dành-riêng cho PLT, cũng-như trong các xuất-bản-phẩm kĩ-thuật và khoa-học máy-tính chung. Hầu-hết các chương-trình đào-tạo cử-nhân khoa-học máy-tính yêu-cầu phải học các môn-học trong chủ-đề này.
Mục lục
- 1 Lịch-sử
- 2 Các môn-con và các lĩnh-vực liên-quan
- 3 Tạp-chí chuyên-ngành, xuất-bản-phẩm và hội-thảo PLT
- 4 Kí-hiệu Lambda
- 5 Xem thêm
- 6 Đọc thêm
- 7 Tham khảo
- 8 Liên kết ngoài
Lịch-sử[sửa | sửa mã nguồn]
Trong một-số cách, lịch-sử lí-thuyết ngôn-ngữ lập-trình có-trước cả sự-phát-triển của chính các ngôn-ngữ lập-trình. Phép tính lambda, được phát-triển bởi Alonzo Church và Stephen Cole Kleene trong những năm 193x, được một-số người coi là ngôn-ngữ lập-trình đầu-tiên của thế-giới, mặc-dù nó từng được dự-định dùng làm mô-hình tính-toán hơn là phương-tiện cho các lập-trình-viên mô-tả các giải-thuật cho một hệ-thống máy-tính. Nhiều ngôn-ngữ lập-trình hàm được mô-tả như sự-cung-cấp một "lớp-gỗ-dán mỏng" lên phép-tính lambda [1], và nhiều trong số đó dễ-dàng được mô-tả bằng những thuật-ngữ của phép-tính lambda.
Ngôn-ngữ lập-trình đầu-tiên được đề-cử là Plankalkül, do Konrad Zuse thiết-kế vào những năm 194x, nhưng không được công-chúng biết-đến mãi-cho-đến năm 1972 (và không được thực-hiện cho-đến năm 1998). Ngôn-ngữ lập-trình đầu-tiên được biết-đến rộng-rãi và thành-công là Fortran, được phát-triển từ năm 1954 đến năm 1957 bởi một nhóm nhà-nghiên-cứu IBM được dẫn-dắt bởi John Backus. Sự-thành-công của FORTRAN dẫn đến sự-hình-thành của ủy-ban các nhà-khoa-học nhằm phát-triển một ngôn-ngữ máy-tính "thế-giới"; kết-quả cho những cố-gắng của họ là ALGOL 58. Một cách độc-lập, John McCarthy của MIT đã phát-triển ngôn-ngữ lập-trình Lisp (dựa trên phép-tính lambda), ngôn-ngữ đầu-tiên thành-công với các khởi-điểm từ giới-học-viện. Với sự-thành-công của những cố-gắng khởi-nguồn này, các ngôn-ngữ lập-trình máy-tính đã trở-thành một chủ-đề tích-cực của việc-nghiên-cứu trong những năm 196x và về-sau.
Một-số sự-kiện chủ-chốt trong lịch-sử của lí-thuyết ngôn-ngữ lập-trình kể-từ lúc-đó:
- Trong những năm 195x, Noam Chomsky đã phát-triển hệ-thống-phân-cấp Chomsky trong lĩnh-vực ngôn-ngữ-học; một khám-phá tác-động trực-tiếp lên lí-thuyết ngôn-ngữ lập-trình và nhiều nhánh khác của khoa-học máy-tính.
- Trong những năm 196x, ngôn-ngữ Simula đã được phát-triển bởi Ole-Johan Dahl và Kristen Nygaard; nó được coi là ví-dụ đầu-tiên của một ngôn-ngữ lập-trình hướng-đối-tượng; Simula cũng đã giới-thiệu khái-niệm đồng-chương-trình-con (tiếng Anh: coroutine).
- Trong những năm 197x:
- Một nhóm các nhà-khoa-học tại Xerox PARC được dẫn-dắt bởi Alan Kay đã phát-triển Smalltalk, một ngôn-ngữ hướng-đối-tượng được biết-đến rộng-rãi nhờ môi-trường phát-triển sáng-tạo của nó.
- Sussman và Steele đã phát-triển ngôn-ngữ lập-trình Scheme, một phiên-bản của Lisp hợp-nhất với phạm-vi từ-vựng (tiếng Anh: lexical scoping), một không-gian-tên thống-nhất, và các yếu-tố từ mô-hình Actor bao-gồm các continuation lớp-nhất.
- Lập-trình logic và Prolog đã được phát-triển cho-phép các chương-trình máy-tính được biểu-hiện như-là logic toán-học.
- Backus, tại bài-giảng ACM Turing Award năm 1977, đã tấn-công hiện-trạng của các ngôn-ngữ công-nghiệp và đề-nghị một lớp mới các ngôn-ngữ lập-trình mà bây-giờ được biết-đến như-là các ngôn-ngữ lập-trình mức hàm.
- Xuất-hiện phép-tính tiến-trình, ví-dụ như Phép-tính của các Hệ-thống Giao-tiếp (Calculus of Communicating Systems) của Robin Milner, và mô-hình Các tiến-trình giao-tiếp liên-tục (Communicating sequential processes) của C. A. R. Hoare, cũng như các mô-hình song-song tương-tự ví-dụ-như mô-hình Actor của Carl Hewitt.
- Lí-thuyết kiểu bắt-đầu được áp-dụng như-là một ngành-học (tiếng Anh:discipline) đối-với các ngôn-ngữ lập-trình, được dẫn-dắt bởi Milner; ứng-dụng này dẫn đến những tiến-bộ to-lớn trong lí-thuyết kiểu suốt nhiều năm qua.
- Trong những năm 198x:
- Bertrand Meyer đã tạo-ra phương-pháp-học Thiết-kế theo hợp-đồng (Design by contract) và hợp-nhất nó vào-trong ngôn-ngữ lập-trình Eiffel.
- Trong những năm 199x:
- Gregor Kiczales, Jim Des Rivieres và Daniel G. Bobrow đã xuất-bản cuốn-sách Nghệ-thuật của Giao-thức Đối-tượng-meta (tựa tiếng Anh: The Art of the Metaobject Protocol).
- Philip Wadler đề-xuất dùng các monad cho việc-cấu-trúc các chương-trình viết bằng các ngôn-ngữ lập-trình hàm.
Các môn-con và các lĩnh-vực liên-quan[sửa | sửa mã nguồn]
Có nhiều lĩnh-vực nghiên-cứu hoặc nằm trong lí-thuyết ngôn-ngữ lập-trình, hoặc có ảnh-hưởng sâu-sắc lên nó; nhiều lĩnh-vực trong số này có sự-chồng-chéo đáng-kể. Thêm vào đó, PLT sử-dụng nhiều nhánh khác của toán-học, bao-gồm lí-thuyết tính-toán, lí-thuyết thể-loại, và lí-thuyết tập-hợp.
Ngữ-nghĩa-học hình-thức[sửa | sửa mã nguồn]
Ngữ-nghĩa-học hình-thức là đặc-điểm hình-thức của hành-vi của các chương-trình máy-tính và các ngôn-ngữ lập-trình, đề-cập đến việc-nghiên-cứu ngôn-ngữ hình-thức.
Lí-thuyết kiểu[sửa | sửa mã nguồn]
Lí-thuyết kiểu là sự-nghiên-cứu các hệ-thống kiểu, "là các phương-pháp cú-pháp dễ-kiểm-soát nhằm chứng-minh sự-vắng-mặt của các hành-vi chương-trình nào-đó bằng-cách phân-loại các ngữ tuân theo các loại giá-trị mà chúng tính được." (theo Các kiểu và các Ngôn-ngữ lập-trình, tiếng Anh: Types and Programming Languages, MIT Press, 2002). Nhiều ngôn-ngữ lập-trình được phân-biệt bằng các đặc-điểm của các hệ-thống kiểu.
Phân-tích chương-trình và chuyển-đổi[sửa | sửa mã nguồn]
Chuyển-đổi chương-trình là quá-trình chuyển-đổi một chương-trình từ dạng (ngôn ngữ) này sang dạng khác; phân-tích chương-trình là vấn-đề toàn-cục của việc-khảo-sát một chương-trình và xác-định các đặc-điểm mấu-chốt (như sự-vắng-mặt các lớp lỗi chương-trình).
Phân-tích ngôn-ngữ lập-trình so-sánh[sửa | sửa mã nguồn]
Phân-tích ngôn-ngữ lập-trình so-sánh tìm-cách phân-loại các ngôn-ngữ lập-trình thành các loại khác-nhau dựa trên các đặc-điểm của chúng; các thể-loại rộng của các ngôn-ngữ lập-trình thường được biết-đến như là các mô-hình lập-trình.
Lập-trình-meta[sửa | sửa mã nguồn]
Lập-trình-meta là sự-phát-sinh chương-trình bậc-cao-hơn, mà kết-quả sinh ra khi thực-hiện chương-trình đó là một chương-trình khác (có-thể trong ngôn-ngữ khác, hoặc trong một tập-hợp-con của ngôn-ngữ gốc).
Ngôn-ngữ đặc-trưng-miền[sửa | sửa mã nguồn]
Ngôn-ngữ đặc-trưng-miền là ngôn-ngữ được xây-dựng để giải-quyết các vấn-đề một-cách hiệu-quả trong một miền vấn-đề riêng.
Xây-dựng trình-biên-dịch[sửa | sửa mã nguồn]
Lí-thuyết Trình-biên-dịch là lí-thuyết viết các trình-biên-dịch (compiler) (hoặc tổng-quát hơn, máy-dịch (translator)) - chương-trình dịch chương-trình được viết trong một ngôn-ngữ sang dạng khác. Các hành-động của một trình-biên-dịch theo-truyền-thống được chia-nhỏ thành phân-tích cú-pháp (quét (scan) và phân-tích từ-loại (parse)), phân tích ngữ-nghĩa (xác-định chương-trình nên làm gì), tối-ưu-hóa (cải-tiến hiệu-suất của chương-trình theo các chỉ-số, điển-hình là tốc-độ thực-hiện) và Phát-sinh mã (Phát-sinh và xuất một chương-trình tương-đương trong ngôn-ngữ đích nào-đó; thường là tập-hợp lệnh của một CPU).
Hệ-thống thời-gian-chạy[sửa | sửa mã nguồn]
Hệ-thống thời-gian-chạy đề-cập đến việc-phát-triển các môi-trường thời-gian-chạy ngôn-ngữ lập-trình và các thành-phần của chúng, bao-gồm các máy ảo, thu-thập dữ-liệu-rác, và các giao-diện ngoại-hàm.
Tạp-chí chuyên-ngành, xuất-bản-phẩm và hội-thảo PLT[sửa | sửa mã nguồn]
Các tạp-chí xuất-bản nghiên-cứu nguyên-bản trong lí-thuyết ngôn-ngữ lập-trình gồm:
- ACM Transactions on Programming Languages and Systems [2] (Giao-dịch ACM trên các Ngôn-ngữ Lập-trình và các Hệ-thống)
- Computer Languages, Systems, and Structures [3] (Các ngôn-ngữ máy-tính, Các hệ-thống, và các Cấu-trúc)
- Journal of Functional Programming (Tạp-chí Lập-trình hàm)
- Journal of Functional and Logic Programming (Tạp-chí Lập-trình Logic và Hàm)
- Journal of Symbolic Computation (Tạp-chí Tính-toán kí-hiệu)
Các bài-báo PLT về các cú-hích quan-trọng hoặc về sự-quan-tâm tổng-quát hơn có-thể xuất-hiện trong các tạp-chí bách-khoa hơn như Tạp-chí của ACM (Journal of the ACM), Thông-tin và Tính-toán (Information and Computation), hay Khoa-học Máy-tính Lí-thuyết, (Theoretical Computer Science). Xem thêm danh-sách các xuất-bản-phẩm trong khoa-học máy-tính.
Cũng-như trong nhiều lĩnh-vực của Khoa-học Máy-tính, các cuộc-hội-thảo đóng vai-trò quan-trọng, đôi-khi là lãnh-đạo. Có-lẽ các cuộc-hội-thảo nổi-tiếng nhất trong PLT là Hội-nghị-chuyên-đề về các Nguyên-lí của các Ngôn-ngữ Lập-trình (tiếng Anh: Symposium on Principles of Programming Languages) (POPL)) và Hội-thảo Quốc-tế về Lập-trình Hàm (tiếng Anh: International Conference on Functional Programming (ICFP)). Các cuộc-hội-thảo khác có ảnh-hưởng liên-quan PLT gồm Hội-thảo về Thiết-kế và Thực-hiện Ngôn-ngữ Lập-trình (Conference on Programming Language Design and Implementation (PLDI)) và Hội-nghị Quốc-tế về Lập-trình Hướng-đối-tượng, các Hệ-thống, các Ngôn-ngữ và các Ứng-dụng (tiếng Anh: International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)).
Kí-hiệu Lambda[sửa | sửa mã nguồn]
Một biểu-tượng không-chính-thức của lĩnh-vực lí-thuyết ngôn-ngữ lập-trình là chữ-cái Hi-Lạp viết-thường λ (lambda). Cách-dùng này bắt-nguồn từ phép-tính lambda, một mô-hình tính-toán được sử-dụng rộng-rãi bởi các nhà-nghiên-cứu ngôn-ngữ lập-trình. Nhiều văn-bản, bài-báo về lập-trình và các ngôn-ngữ lập-trình sử-dụng lambda theo mốt nào-đó. Nó làm-vẻ-vang trang-bìa của văn-bản cổ-điển Cấu trúc và Thuyết-minh các Chương-trình Máy-tính (Structure and Interpretation of Computer Programs), và tiêu-đề của nhiều cái gọi là các bài-báo Lambda (Lambda Papers), được viết bởi Gerald Jay Sussman và Guy Steele, các nhà-phát-triển của Ngôn-ngữ lập-trình Scheme. Một trang-mạng nổi-tiếng về lí-thuyết ngôn-ngữ lập-trình được gọi là Lambda the Ultimate nhằm vinh-danh công-trình của Sussman và Steele.
Xem thêm[sửa | sửa mã nguồn]
Đọc thêm[sửa | sửa mã nguồn]
- Mitchell, John C.. Foundations for Programming Languages.
- Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press.
- Pierce, Benjamin C. Advanced Topics in Types and Programming Languages.
- Pierce, Benjamin C. et al. (2010). Software Foundations.
- Programming Language Pragmatics, 2nd Edition by Michael Scott (Morgan-Kaufmann, 2006) [4]
- Essentials of Programming Languages by Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes (MIT Press 2001) [5]
Tham khảo[sửa | sửa mã nguồn]
Liên kết ngoài[sửa | sửa mã nguồn]
- Lambda the Ultimate, một weblog cộng-đồng dành-cho thảo-luận chuyên-nghiệp và kho-lưu-trữ tài-liệu về lí-thuyết ngôn-ngữ lập-trình.
- Lịch-sử ngôn-ngữ máy-tính
- Các sách lí-thuyết lập-trình miễn-phí
- Lịch-sử Haskell

markdown:
# Lí thuyết ngôn ngữ lập trình
|Bài viết này
|cần thêm .
|
|![]()
|
|Bài hoặc đoạn này cần được
Xin hãy giúp
![ ](//upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/175px-Lambda_lc.svg.png)
![ ](http://upload.wikimedia.org/wikipedia/commons/thumb/3/39/Lambda_lc.svg/175px-Lambda_lc.svg.png)
**là một** [Phép tính lambda](/wiki/Ph%C3%A9p_t%C3%ADnh_lambda) [hệ thống hình thức](/w/index.php?title=H%E1%BB%87_th%E1%BB%91ng_h%C3%ACnh_th%E1%BB%A9c&action=edit&redlink=1)để định nghĩa [hàm](/w/index.php?title=H%C3%A0m_(to%C3%A1n_h%E1%BB%8Dc)&action=edit&redlink=1), ứng dụng hàm và [đệ quy](/wiki/%C4%90%E1%BB%87_quy)được [Alonzo Church](/w/index.php?title=Alonzo_Church&action=edit&redlink=1)đề xuất vào những năm 193x. **Lí thuyết ngôn ngữ lập trình** (thường được-biết-tới bởi chữ-viết-tắt [tiếng-Anh](/wiki/Ti%E1%BA%BFng_Anh) **PLT** (Programming language theory)) là một nhánh của [khoa-học máy-tính](/wiki/Khoa_h%E1%BB%8Dc_m%C3%A1y_t%C3%ADnh) nghiên-cứu việc-thiết-kế, thực-hiện, phân-tích, mô-tả đặc-điểm, và phân-loại các [ngôn-ngữ lập-trình](/wiki/Ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh) và các đặc-trưng của chúng. Lí-thuyết ngôn-ngữ lập-trình phụ-thuộc và chịu ảnh-hưởng của [toán-học](/wiki/To%C3%A1n_h%E1%BB%8Dc), [kĩ-nghệ phần-mềm](/wiki/C%C3%B4ng_ngh%E1%BB%87_ph%E1%BA%A7n_m%E1%BB%81m) và [ngôn-ngữ-học](/wiki/Ng%C3%B4n_ng%E1%BB%AF_h%E1%BB%8Dc). Nó là một nhánh của khoa-học máy-tính được công-nhận và là một khu-vực nghiên-cứu tích-cực, với các kết-quả được xuất-bản trong nhiều [tạp-chí](/w/index.php?title=T%E1%BA%A1p_ch%C3%AD_h%E1%BB%8Dc_thu%E1%BA%ADt&action=edit&redlink=1) dành-riêng cho PLT, cũng-như trong các xuất-bản-phẩm kĩ-thuật và khoa-học máy-tính chung. Hầu-hết các chương-trình đào-tạo cử-nhân khoa-học máy-tính yêu-cầu phải học các môn-học trong chủ-đề này.
## Mục lục
[1 Lịch-sử](#L.E1.BB.8Bch-s.E1.BB.AD) [2 Các môn-con và các lĩnh-vực liên-quan](#C.C3.A1c_m.C3.B4n-con_v.C3.A0_c.C3.A1c_l.C4.A9nh-v.E1.BB.B1c_li.C3.AAn-quan) [3 Tạp-chí chuyên-ngành, xuất-bản-phẩm và hội-thảo PLT](#T.E1.BA.A1p-ch.C3.AD_chuy.C3.AAn-ng.C3.A0nh.2C_xu.E1.BA.A5t-b.E1.BA.A3n-ph.E1.BA.A9m_v.C3.A0_h.E1.BB.99i-th.E1.BA.A3o_PLT) [4 Kí-hiệu](#K.C3.AD-hi.E1.BB.87u_Lambda) *Lambda* [5 Xem thêm](#Xem_th.C3.AAm) [6 Đọc thêm](#.C4.90.E1.BB.8Dc_th.C3.AAm) [7 Tham khảo](#Tham_kh.E1.BA.A3o) [8 Liên kết ngoài](#Li.C3.AAn_k.E1.BA.BFt_ngo.C3.A0i)
## Lịch-sử[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=1) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=1)]
Trong một-số cách, lịch-sử lí-thuyết ngôn-ngữ lập-trình có-trước cả sự-phát-triển của chính các ngôn-ngữ lập-trình.
[Phép tính lambda](/wiki/Ph%C3%A9p_t%C3%ADnh_lambda), được phát-triển bởi [Alonzo Church](/w/index.php?title=Alonzo_Church&action=edit&redlink=1) và [Stephen Cole Kleene](/w/index.php?title=Stephen_Cole_Kleene&action=edit&redlink=1) trong những năm 193x, được một-số người coi là ngôn-ngữ lập-trình đầu-tiên của thế-giới, mặc-dù nó từng được dự-định dùng làm [ tính-toán hơn là phương-tiện cho các lập-trình-viên mô-hình](/w/index.php?title=M%C3%B4_h%C3%ACnh_t%C3%ADnh_to%C3%A1n&action=edit&redlink=1) [các](/wiki/L%E1%BA%ADp_tr%C3%ACnh_m%C3%A1y_t%C3%ADnh) *mô-tả* [giải-thuật](/wiki/Thu%E1%BA%ADt_to%C3%A1n)cho một hệ-thống máy-tính. Nhiều [ngôn-ngữ lập-trình hàm](/wiki/L%E1%BA%ADp_tr%C3%ACnh_h%C3%A0m)được mô-tả như sự-cung-cấp một "lớp-gỗ-dán mỏng" lên phép-tính lambda [[1]](http://www.c2.com/cgi/wiki?ModelsOfComputation), và nhiều trong số đó dễ-dàng được mô-tả bằng những thuật-ngữ của phép-tính lambda.
Ngôn-ngữ lập-trình đầu-tiên được đề-cử là
[Plankalkül](/w/index.php?title=Plankalk%C3%BCl&action=edit&redlink=1), do [Konrad Zuse](/w/index.php?title=Konrad_Zuse&action=edit&redlink=1) thiết-kế vào những năm 194x, nhưng không được công-chúng biết-đến mãi-cho-đến năm 1972 (và không được thực-hiện cho-đến năm 1998). Ngôn-ngữ lập-trình đầu-tiên được biết-đến rộng-rãi và thành-công là [Fortran](/wiki/Fortran), được phát-triển từ năm 1954 đến năm 1957 bởi một nhóm nhà-nghiên-cứu [IBM](/wiki/IBM) được dẫn-dắt bởi [John Backus](/w/index.php?title=John_Backus&action=edit&redlink=1). Sự-thành-công của FORTRAN dẫn đến sự-hình-thành của ủy-ban các nhà-khoa-học nhằm phát-triển một ngôn-ngữ máy-tính "thế-giới"; kết-quả cho những cố-gắng của họ là [ALGOL 58](/w/index.php?title=ALGOL_58&action=edit&redlink=1). Một cách độc-lập, [John McCarthy](/w/index.php?title=John_McCarthy_(nh%C3%A0_khoa_h%E1%BB%8Dc_m%C3%A1y_t%C3%ADnh)&action=edit&redlink=1) của [MIT](/wiki/H%E1%BB%8Dc_vi%E1%BB%87n_C%C3%B4ng_ngh%E1%BB%87_Massachusetts) đã phát-triển [ngôn-ngữ lập-trình Lisp](/wiki/Lisp) (dựa trên phép-tính lambda), ngôn-ngữ đầu-tiên thành-công với các khởi-điểm từ giới-học-viện. Với sự-thành-công của những cố-gắng khởi-nguồn này, các ngôn-ngữ lập-trình máy-tính đã trở-thành một chủ-đề tích-cực của việc-nghiên-cứu trong những năm 196x và về-sau.
Một-số sự-kiện chủ-chốt trong lịch-sử của lí-thuyết ngôn-ngữ lập-trình kể-từ lúc-đó:
- Trong những năm 195x,
[Noam Chomsky](/wiki/Noam_Chomsky)đã phát-triển [hệ-thống-phân-cấp Chomsky](/w/index.php?title=H%E1%BB%87_th%E1%BB%91ng_ph%C3%A2n_c%E1%BA%A5p_Chomsky&action=edit&redlink=1)trong lĩnh-vực [ngôn-ngữ-học](/wiki/Ng%C3%B4n_ng%E1%BB%AF_h%E1%BB%8Dc); một khám-phá tác-động trực-tiếp lên lí-thuyết ngôn-ngữ lập-trình và nhiều nhánh khác của khoa-học máy-tính.
- Trong những năm 196x, ngôn-ngữ
[Simula](/w/index.php?title=Simula&action=edit&redlink=1)đã được phát-triển bởi [Ole-Johan Dahl](/w/index.php?title=Ole-Johan_Dahl&action=edit&redlink=1)và [Kristen Nygaard](/w/index.php?title=Kristen_Nygaard&action=edit&redlink=1); nó được coi là ví-dụ đầu-tiên của một [ngôn-ngữ lập-trình hướng-đối-tượng](/wiki/L%E1%BA%ADp_tr%C3%ACnh_h%C6%B0%E1%BB%9Bng_%C4%91%E1%BB%91i_t%C6%B0%E1%BB%A3ng); Simula cũng đã giới-thiệu khái-niệm *(tiếng Anh: coroutine).* [đồng-chương-trình-con](/w/index.php?title=%C4%90%E1%BB%93ng_ch%C6%B0%C6%A1ng_tr%C3%ACnh_con&action=edit&redlink=1)
- Trong những năm 197x:
- Một nhóm các nhà-khoa-học tại
[Xerox PARC](/w/index.php?title=Xerox_PARC&action=edit&redlink=1)được dẫn-dắt bởi [Alan Kay](/w/index.php?title=Alan_Kay&action=edit&redlink=1)đã phát-triển [Smalltalk](/wiki/Smalltalk), một ngôn-ngữ hướng-đối-tượng được biết-đến rộng-rãi nhờ môi-trường phát-triển sáng-tạo của nó.
- Sussman và Steele đã phát-triển
[ngôn-ngữ lập-trình Scheme](/wiki/Scheme), một phiên-bản của Lisp hợp-nhất với [phạm-vi từ-vựng](/w/index.php?title=Ph%E1%BA%A1m_vi_t%E1%BB%AB_v%E1%BB%B1ng&action=edit&redlink=1)(tiếng Anh: lexical scoping), một không-gian-tên thống-nhất, và các yếu-tố từ [mô-hình Actor](/w/index.php?title=M%C3%B4_h%C3%ACnh_Actor&action=edit&redlink=1)bao-gồm các [continuation](/w/index.php?title=Continuation&action=edit&redlink=1)lớp-nhất. [Lập-trình logic](/wiki/L%E1%BA%ADp_tr%C3%ACnh_logic)và [Prolog](/wiki/Prolog)đã được phát-triển cho-phép các chương-trình máy-tính được biểu-hiện như-là logic toán-học.
- Backus, tại bài-giảng
[ACM Turing Award](/w/index.php?title=ACM_Turing_Award&action=edit&redlink=1)năm 1977, đã tấn-công hiện-trạng của các ngôn-ngữ công-nghiệp và đề-nghị một lớp mới các ngôn-ngữ lập-trình mà bây-giờ được biết-đến như-là các ngôn-ngữ [lập-trình mức hàm](/w/index.php?title=L%E1%BA%ADp_tr%C3%ACnh_m%E1%BB%A9c_h%C3%A0m&action=edit&redlink=1).
- Xuất-hiện
[phép-tính tiến-trình](/w/index.php?title=Ph%C3%A9p_t%C3%ADnh_ti%E1%BA%BFn_tr%C3%ACnh&action=edit&redlink=1), ví-dụ như *Phép-tính của các Hệ-thống Giao-tiếp*( [Calculus of Communicating Systems](/w/index.php?title=Calculus_of_Communicating_Systems&action=edit&redlink=1)) của [Robin Milner](/wiki/Robin_Milner), và mô-hình Các tiến-trình giao-tiếp liên-tục ( [Communicating sequential processes](/w/index.php?title=Communicating_sequential_processes&action=edit&redlink=1)) của [C. A. R. Hoare](/wiki/Charles_Antony_Richard_Hoare), cũng như các mô-hình song-song tương-tự ví-dụ-như [mô-hình Actor](/w/index.php?title=M%C3%B4_h%C3%ACnh_Actor&action=edit&redlink=1)của [Carl Hewitt](/w/index.php?title=Carl_Hewitt&action=edit&redlink=1). [Lí-thuyết kiểu](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ki%E1%BB%83u&action=edit&redlink=1)bắt-đầu được áp-dụng như-là một ngành-học (tiếng Anh:discipline) đối-với các ngôn-ngữ lập-trình, được dẫn-dắt bởi Milner; ứng-dụng này dẫn đến những tiến-bộ to-lớn trong lí-thuyết kiểu suốt nhiều năm qua.
- Một nhóm các nhà-khoa-học tại
- Trong những năm 198x:
[Bertrand Meyer](/w/index.php?title=Bertrand_Meyer&action=edit&redlink=1)đã tạo-ra phương-pháp-học *Thiết-kế theo hợp-đồng*( [Design by contract](/w/index.php?title=Design_by_contract&action=edit&redlink=1)) và hợp-nhất nó vào-trong [ngôn-ngữ lập-trình Eiffel](/w/index.php?title=Eiffel_(ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh)&action=edit&redlink=1).
-
- Trong những năm 199x:
[Gregor Kiczales](/w/index.php?title=Gregor_Kiczales&action=edit&redlink=1), [Jim Des Rivieres](/w/index.php?title=Jim_Des_Rivieres&action=edit&redlink=1)và [Daniel G. Bobrow](/w/index.php?title=Daniel_G._Bobrow&action=edit&redlink=1)đã xuất-bản cuốn-sách *Nghệ-thuật của Giao-thức Đối-tượng-meta*(tựa tiếng Anh: [The Art of the Metaobject Protocol](/w/index.php?title=The_Art_of_the_Metaobject_Protocol&action=edit&redlink=1)). [Philip Wadler](/w/index.php?title=Philip_Wadler&action=edit&redlink=1)đề-xuất dùng các [monad](/w/index.php?title=Monad_trong_l%E1%BA%ADp_tr%C3%ACnh_h%C3%A0m&action=edit&redlink=1)cho việc-cấu-trúc các chương-trình viết bằng các [ngôn-ngữ lập-trình hàm](/wiki/L%E1%BA%ADp_tr%C3%ACnh_h%C3%A0m).
-
## Các môn-con và các lĩnh-vực liên-quan[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=2) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=2)]
Có nhiều lĩnh-vực nghiên-cứu hoặc nằm trong lí-thuyết ngôn-ngữ lập-trình, hoặc có ảnh-hưởng sâu-sắc lên nó; nhiều lĩnh-vực trong số này có sự-chồng-chéo đáng-kể. Thêm vào đó, PLT sử-dụng nhiều nhánh khác của
[toán-học](/wiki/To%C3%A1n_h%E1%BB%8Dc), bao-gồm [lí-thuyết tính-toán](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_t%C3%ADnh_to%C3%A1n&action=edit&redlink=1), [lí-thuyết thể-loại](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_th%E1%BB%83_lo%E1%BA%A1i&action=edit&redlink=1), và [lí-thuyết tập-hợp](/wiki/L%C3%BD_thuy%E1%BA%BFt_t%E1%BA%ADp_h%E1%BB%A3p).
### Ngữ-nghĩa-học hình-thức[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=3) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=3)] [Ngữ-nghĩa-học hình-thức](/w/index.php?title=Ng%E1%BB%AF_ngh%C4%A9a_h%E1%BB%8Dc_h%C3%ACnh_th%E1%BB%A9c_c%E1%BB%A7a_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit&redlink=1) là đặc-điểm hình-thức của hành-vi của các chương-trình máy-tính và các ngôn-ngữ lập-trình, đề-cập đến việc-nghiên-cứu [ngôn-ngữ hình-thức](/wiki/Ng%C3%B4n_ng%E1%BB%AF_h%C3%ACnh_th%E1%BB%A9c).
### Lí-thuyết kiểu[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=4) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=4)] [Lí-thuyết kiểu](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ki%E1%BB%83u&action=edit&redlink=1) là sự-nghiên-cứu các [hệ-thống kiểu](/w/index.php?title=H%E1%BB%87_th%E1%BB%91ng_ki%E1%BB%83u&action=edit&redlink=1), "là các phương-pháp cú-pháp dễ-kiểm-soát nhằm chứng-minh sự-vắng-mặt của các hành-vi chương-trình nào-đó bằng-cách phân-loại các ngữ tuân theo các loại giá-trị mà chúng tính được." (theo *Các kiểu và các Ngôn-ngữ lập-trình*, tiếng Anh: *Types and Programming Languages*, MIT Press, 2002). Nhiều ngôn-ngữ lập-trình được phân-biệt bằng các đặc-điểm của các hệ-thống kiểu.
### Phân-tích chương-trình và chuyển-đổi[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=5) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=5)] [Chuyển-đổi chương-trình](/w/index.php?title=Chuy%E1%BB%83n_%C4%91%E1%BB%95i_ch%C6%B0%C6%A1ng_tr%C3%ACnh&action=edit&redlink=1) là quá-trình chuyển-đổi một chương-trình từ dạng (ngôn ngữ) này sang dạng khác; [phân-tích chương-trình](/w/index.php?title=Ph%C3%A2n_t%C3%ADch_ch%C6%B0%C6%A1ng_tr%C3%ACnh_(khoa_h%E1%BB%8Dc_m%C3%A1y_t%C3%ADnh)&action=edit&redlink=1) là vấn-đề toàn-cục của việc-khảo-sát một chương-trình và xác-định các đặc-điểm mấu-chốt (như sự-vắng-mặt các lớp [lỗi chương-trình](/w/index.php?title=Bug_ph%E1%BA%A7n_m%E1%BB%81m&action=edit&redlink=1)).
### Phân-tích ngôn-ngữ lập-trình so-sánh[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=6) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=6)] *Phân-tích ngôn-ngữ lập-trình so-sánh* tìm-cách phân-loại các ngôn-ngữ lập-trình thành các loại khác-nhau dựa trên các đặc-điểm của chúng; các thể-loại rộng của các ngôn-ngữ lập-trình thường được biết-đến như là các [mô-hình lập-trình](/wiki/M%E1%BA%ABu_h%C3%ACnh_l%E1%BA%ADp_tr%C3%ACnh).
### Lập-trình-meta[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=7) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=7)] [Lập-trình-meta](/wiki/L%E1%BA%ADp_tr%C3%ACnh_meta) là sự-phát-sinh chương-trình bậc-cao-hơn, mà kết-quả sinh ra khi thực-hiện chương-trình đó là một chương-trình khác (có-thể trong ngôn-ngữ khác, hoặc trong một tập-hợp-con của ngôn-ngữ gốc).
### Ngôn-ngữ đặc-trưng-miền[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=8) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=8)] [Ngôn-ngữ đặc-trưng-miền](/w/index.php?title=Ng%C3%B4n_ng%E1%BB%AF_%C4%91%E1%BA%B7c_tr%C6%B0ng_mi%E1%BB%81n&action=edit&redlink=1) là ngôn-ngữ được xây-dựng để giải-quyết các vấn-đề một-cách hiệu-quả trong một miền vấn-đề riêng.
### Xây-dựng trình-biên-dịch[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=9) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=9)]
Lí-thuyết
[Trình-biên-dịch](/wiki/Tr%C3%ACnh_bi%C3%AAn_d%E1%BB%8Bch) là lí-thuyết viết các *trình-biên-dịch* (compiler) (hoặc tổng-quát hơn, *máy-dịch* (translator)) - chương-trình dịch chương-trình được viết trong một ngôn-ngữ sang dạng khác. Các hành-động của một trình-biên-dịch theo-truyền-thống được chia-nhỏ thành *phân-tích cú-pháp* (quét ( [scan](/w/index.php?title=Scan&action=edit&redlink=1)) và phân-tích từ-loại ( [parse](/w/index.php?title=Parse&action=edit&redlink=1))), *phân tích ngữ-nghĩa* (xác-định chương-trình nên làm gì), * (cải-tiến hiệu-suất của chương-trình theo các chỉ-số, điển-hình là tốc-độ thực-hiện) và tối-ưu-hóa* *(Phát-sinh và xuất một chương-trình tương-đương trong ngôn-ngữ đích nào-đó; thường là* [Phát-sinh mã](/w/index.php?title=Sinh_m%C3%A3_(tr%C3%ACnh_bi%C3%AAn_d%E1%BB%8Bch)&action=edit&redlink=1) [tập-hợp lệnh](/w/index.php?title=T%E1%BA%ADp_h%E1%BB%A3p_l%E1%BB%87nh&action=edit&redlink=1)của một CPU).
### Hệ-thống thời-gian-chạy[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=10) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=10)] [Hệ-thống thời-gian-chạy](/w/index.php?title=H%E1%BB%87_th%C3%B4ng_th%E1%BB%9Di_gian_ch%E1%BA%A1y&action=edit&redlink=1) đề-cập đến việc-phát-triển các [môi-trường thời-gian-chạy](/w/index.php?title=M%C3%B4i_tr%C6%B0%E1%BB%9Dng_th%E1%BB%9Di_gian_ch%E1%BA%A1y&action=edit&redlink=1) ngôn-ngữ lập-trình và các thành-phần của chúng, bao-gồm các [máy ảo](/wiki/M%C3%A1y_%E1%BA%A3o), [thu-thập dữ-liệu-rác](/w/index.php?title=Thu_th%E1%BA%ADp_d%E1%BB%AF_li%E1%BB%87u_r%C3%A1c_(khoa_h%E1%BB%8Dc_m%C3%A1y_t%C3%ADnh)&action=edit&redlink=1), và các [giao-diện ngoại-hàm](/w/index.php?title=Giao_di%E1%BB%87n_ngo%E1%BA%A1i_h%C3%A0m&action=edit&redlink=1).
## Tạp-chí chuyên-ngành, xuất-bản-phẩm và hội-thảo PLT[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=11) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=11)]
Các tạp-chí xuất-bản nghiên-cứu nguyên-bản trong lí-thuyết ngôn-ngữ lập-trình gồm:
[ACM Transactions on Programming Languages and Systems](/w/index.php?title=ACM_Transactions_on_Programming_Languages_and_Systems&action=edit&redlink=1) [[2]](http://www.cs.wustl.edu/~toplas/)(Giao-dịch ACM trên các Ngôn-ngữ Lập-trình và các Hệ-thống) [Computer Languages, Systems, and Structures](/w/index.php?title=Computer_Languages,_Systems,_and_Structures&action=edit&redlink=1) [[3]](http://www.elsevier.com/wps/find/journaldescription.cws_home/638299/description)(Các ngôn-ngữ máy-tính, Các hệ-thống, và các Cấu-trúc) *(Tạp-chí Lập-trình hàm)* [Journal of Functional Programming](/w/index.php?title=Journal_of_Functional_Programming&action=edit&redlink=1) *(Tạp-chí Lập-trình Logic và Hàm)* [Journal of Functional and Logic Programming](/w/index.php?title=Journal_of_Functional_and_Logic_Programming&action=edit&redlink=1) *(Tạp-chí Tính-toán kí-hiệu)* [Journal of Symbolic Computation](/w/index.php?title=Journal_of_Symbolic_Computation&action=edit&redlink=1)
Các bài-báo PLT về các cú-hích quan-trọng hoặc về sự-quan-tâm tổng-quát hơn có-thể xuất-hiện trong các tạp-chí bách-khoa hơn như
*Tạp-chí của ACM* ( *), Journal of the ACM* *Thông-tin và Tính-toán*( [Information and Computation](/w/index.php?title=Information_and_Computation&action=edit&redlink=1) *), hay*Khoa-học Máy-tính Lí-thuyết *, (* [Theoretical Computer Science](/w/index.php?title=Theoretical_Computer_Science_(t%E1%BA%A1p_ch%C3%AD)&action=edit&redlink=1) *). Xem thêm* [danh-sách các xuất-bản-phẩm trong khoa-học máy-tính](/w/index.php?title=Danh_s%C3%A1ch_c%C3%A1c_xu%E1%BA%A5t_b%E1%BA%A3n_ph%E1%BA%A9m_trong_khoa_h%E1%BB%8Dc_m%C3%A1y_t%C3%ADnh&action=edit&redlink=1).
Cũng-như trong nhiều lĩnh-vực của Khoa-học Máy-tính, các cuộc-hội-thảo đóng vai-trò quan-trọng, đôi-khi là lãnh-đạo. Có-lẽ các cuộc-hội-thảo nổi-tiếng nhất trong PLT là
*Hội-nghị-chuyên-đề về các Nguyên-lí của các Ngôn-ngữ Lập-trình* (tiếng Anh: [Symposium on Principles of Programming Languages](/w/index.php?title=Symposium_on_Principles_of_Programming_Languages&action=edit&redlink=1)) (POPL)) và *Hội-thảo Quốc-tế về Lập-trình Hàm* (tiếng Anh: [International Conference on Functional Programming](/w/index.php?title=International_Conference_on_Functional_Programming&action=edit&redlink=1) (ICFP)). Các cuộc-hội-thảo khác có ảnh-hưởng liên-quan PLT gồm *Hội-thảo về Thiết-kế và Thực-hiện Ngôn-ngữ Lập-trình* ( [Conference on Programming Language Design and Implementation](/w/index.php?title=Conference_on_Programming_Language_Design_and_Implementation&action=edit&redlink=1) (PLDI)) và Hội-nghị Quốc-tế về Lập-trình Hướng-đối-tượng, các Hệ-thống, các Ngôn-ngữ và các Ứng-dụng (tiếng Anh: International Conference on Object Oriented Programming, Systems, Languages and Applications ( [OOPSLA](/w/index.php?title=OOPSLA&action=edit&redlink=1))).
## Kí-hiệu
*Lambda*[ [sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=12) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=12)]
Một biểu-tượng không-chính-thức của lĩnh-vực lí-thuyết ngôn-ngữ lập-trình là chữ-cái
[Hi-Lạp](/wiki/B%E1%BA%A3ng_ch%E1%BB%AF_c%C3%A1i_Hy_L%E1%BA%A1p) viết-thường λ ( [lambda](/wiki/Lamda)). Cách-dùng này bắt-nguồn từ [phép-tính lambda](/wiki/Ph%C3%A9p_t%C3%ADnh_lambda), một [mô-hình tính-toán](/w/index.php?title=M%C3%B4_h%C3%ACnh_t%C3%ADnh_to%C3%A1n&action=edit&redlink=1) được sử-dụng rộng-rãi bởi các nhà-nghiên-cứu ngôn-ngữ lập-trình. Nhiều văn-bản, bài-báo về lập-trình và các ngôn-ngữ lập-trình sử-dụng lambda theo mốt nào-đó. Nó làm-vẻ-vang trang-bìa của văn-bản cổ-điển *Cấu trúc và Thuyết-minh các Chương-trình Máy-tính* ( *), và tiêu-đề của nhiều cái gọi là các Structure and Interpretation of Computer Programs* [bài-báo Lambda](/w/index.php?title=B%C3%A0i_b%C3%A1o_Lambda&action=edit&redlink=1)(Lambda Papers), được viết bởi [Gerald Jay Sussman](/w/index.php?title=Gerald_Jay_Sussman&action=edit&redlink=1)và [Guy Steele](/w/index.php?title=Guy_Steele&action=edit&redlink=1), các nhà-phát-triển của [Ngôn-ngữ lập-trình Scheme](/wiki/Scheme). Một trang-mạng nổi-tiếng về lí-thuyết ngôn-ngữ lập-trình được gọi là [Lambda the Ultimate](http://lambda-the-ultimate.org)nhằm vinh-danh công-trình của Sussman và Steele.
## Xem thêm[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=13) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=13)]
## Đọc thêm[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=14) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=14)] [Mitchell, John C.](/w/index.php?title=John_C._Mitchell&action=edit&redlink=1). *Foundations for Programming Languages*. [Pierce, Benjamin C.](/w/index.php?title=Benjamin_C._Pierce&action=edit&redlink=1)(2002). *. MIT Press.* [Types and Programming Languages](http://www.cis.upenn.edu/~bcpierce/tapl/main.html)
- Pierce, Benjamin C.
*Advanced Topics in Types and Programming Languages*.
- Pierce, Benjamin C.
*et al.*(2010). *.* [Software Foundations](http://www.cis.upenn.edu/~bcpierce/sf/) *Programming Language Pragmatics, 2nd Edition*by Michael Scott (Morgan-Kaufmann, 2006) [[4]](http://www.cs.rochester.edu/~scott/pragmatics/) *Essentials of Programming Languages*by Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes (MIT Press 2001) [[5]](http://www.cs.indiana.edu/eopl/)
## Tham khảo[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=15) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=15)]
## Liên kết ngoài[
[sửa](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&veaction=edit&vesection=16) | [sửa mã nguồn](/w/index.php?title=L%C3%AD_thuy%E1%BA%BFt_ng%C3%B4n_ng%E1%BB%AF_l%E1%BA%ADp_tr%C3%ACnh&action=edit§ion=16)] [Lambda the Ultimate](http://lambda-the-ultimate.org/policies#Purpose), một weblog cộng-đồng dành-cho thảo-luận chuyên-nghiệp và kho-lưu-trữ tài-liệu về lí-thuyết ngôn-ngữ lập-trình. [Lịch-sử ngôn-ngữ máy-tính](http://www.levenez.com/lang/history.html) [Các sách lí-thuyết lập-trình miễn-phí](http://www.freebookcentre.net/CompuScience/Free-Programing-Theory-Books-Download.html) [Lịch-sử Haskell](http://www.haskell.org/haskell-history.html)

X-Cache: cp1052 miss, cp1053 miss


text:
Limnoperdaceae
Bách khoa toàn thư mở Wikipedia
Limnoperdon là một họ nấm trong bộ Agaricales, chứa một chi Limnoperdon.[1]
Xem thêm[sửa | sửa mã nguồn]
Tham khảo[sửa | sửa mã nguồn]
- ^ a ă Escobar GA, McCabe DE, Harpel CW. (1976). “Limnoperdon, a floating gasteromycete isolated from marshes”. Mycologia 68 (4): 874–80.
- Hibbett, David S.; Binder, Manfred (tháng 12 năm 2001). “Evolution of Marine Mushrooms”. Biological Bulletin 201: 319–322.
- McCabe, D.E. (Sept-Oct 1979). “Synchronous Production and Developmental History of Sporocarps of Limnoperdon incarnatum”. Mycologia 71 (5): 899–907. Kiểm tra giá trị ngày tháng trong:
|date=(trợ giúp)
- Webster, J. De Kock, A. N. Eicker, A. (1993). “Limnoperdon incarnatum, a Gasteromycete from submerged twigs in South Africa”. South African Journal of Botany 59 (5): 519.
Liên kết ngoài[sửa | sửa mã nguồn]
- Limnoperdaceae trên Index Fungorum.

markdown:
# Limnoperdaceae
Bách khoa toàn thư mở Wikipedia
|
|Limnoperdon
|
|[Giới](/wiki/Gi%E1%BB%9Bi_(sinh_h%E1%BB%8Dc))( *regnum*) [Fungi](/wiki/N%E1%BA%A5m) [Ngành](/wiki/Ng%C3%A0nh_(sinh_h%E1%BB%8Dc))( *phylum*) [Basidiomycota](/wiki/Basidiomycota) [Phân ngành](/wiki/Ph%C3%A2n_ng%C3%A0nh)( *subphylum*) [Agaricomycotina](/wiki/Agaricomycotina) [Lớp](/wiki/L%E1%BB%9Bp_(sinh_h%E1%BB%8Dc))( *class*) [Agaricomycetes](/wiki/Agaricomycetes) [Phân lớp](/wiki/Ph%C3%A2n_l%E1%BB%9Bp)( *subclass*) [Agaricomycetidae](/w/index.php?title=Agaricomycetidae&action=edit&redlink=1) [Bộ](/wiki/B%E1%BB%99_(sinh_h%E1%BB%8Dc))( *ordo*) [Agaricales](/wiki/Agaricales) [Họ](/wiki/H%E1%BB%8D_(sinh_h%E1%BB%8Dc))( *familia*) **Limnoperdaceae**
G.A.Escobar
[Chi](/wiki/Chi_(sinh_h%E1%BB%8Dc))( *genus*) **Limnoperdon**
G.A.Escobar
[Loài điển hình](/wiki/Sinh_v%E1%BA%ADt_%C4%91i%E1%BB%83n_h%C3%ACnh) **Limnoperdon incarnatum**
G.A.Escobar (1976)
[[1]](#cite_note-Escobar1976-1) * là một họ Limnoperdon* [nấm](/wiki/N%E1%BA%A5m)trong bộ [Agaricales](/wiki/Agaricales), chứa một chi *.* **Limnoperdon** [[1]](#cite_note-Escobar1976-1)
## Xem thêm[
[sửa](/w/index.php?title=Limnoperdaceae&veaction=edit&vesection=1) | [sửa mã nguồn](/w/index.php?title=Limnoperdaceae&action=edit§ion=1)]
## Tham khảo[
[sửa](/w/index.php?title=Limnoperdaceae&veaction=edit&vesection=2) | [sửa mã nguồn](/w/index.php?title=Limnoperdaceae&action=edit§ion=2)]
- ^
**a** [Escobar GA, McCabe DE, Harpel CW. (1976).](#cite_ref-Escobar1976_1-1) **ă** [“](http://www.cybertruffle.org.uk/cyberliber/59350/0068/004/0874.htm). *Limnoperdon*, a floating gasteromycete isolated from marshes” *Mycologia* **68**(4): 874–80.
- Hibbett, David S.; Binder, Manfred (tháng 12 năm 2001).
[“Evolution of Marine Mushrooms”](http://www.biolbull.org/cgi/reprint/201/3/319). *Biological Bulletin* **201**: 319–322.
- McCabe, D.E. (Sept-Oct 1979).
[“Synchronous Production and Developmental History of Sporocarps of](http://www.jstor.org/stable/3759280). *Limnoperdon incarnatum*” *Mycologia* **71**(5): 899–907. Kiểm tra giá trị ngày tháng trong:
|date=(
[trợ giúp](https://en.wikipedia.org/wiki/Help:CS1_errors#bad_date))
- Webster, J. De Kock, A. N. Eicker, A. (1993). “
*Limnoperdon incarnatum*, a Gasteromycete from submerged twigs in South Africa”. *South African Journal of Botany* **59**(5): 519.
## Liên kết ngoài[
[sửa](/w/index.php?title=Limnoperdaceae&veaction=edit&vesection=3) | [sửa mã nguồn](/w/index.php?title=Limnoperdaceae&action=edit§ion=3)] *trên* [Limnoperdaceae](http://www.indexfungorum.org/Names/NamesRecord.asp?RecordID=80959) [Index Fungorum](/w/index.php?title=Index_Fungorum&action=edit&redlink=1).

X-Cache: cp1065 miss, cp1053 miss


text:
Melanomys zunigae
Bách khoa toàn thư mở Wikipedia
Melanomys zunigae là một loài động vật có vú trong họ Cricetidae, bộ Gặm nhấm. Loài này được Sanborn mô tả năm 1949.[2]
Chú thích[sửa | sửa mã nguồn]
- ^ Zeballos and Vivar, 2008
- ^ a ă Wilson, D. E.; Reeder, D. M. biên tập (2005). “Melanomys zunigae”. Mammal Species of the World . Baltimore: Nhà in Đại học Johns Hopkins, 2 tập (2.142 trang). ISBN 978-0-8018-8221-0. OCLC 62265494.
Tham khảo[sửa | sửa mã nguồn]
- Dữ liệu liên quan tới Melanomys zunigae tại Wikispecies

markdown:
*Melanomys zunigae*
Bách khoa toàn thư mở Wikipedia
|
|Melanomys zunigae
|
|[Phân loại khoa học](/wiki/Ph%C3%A2n_lo%E1%BA%A1i_sinh_h%E1%BB%8Dc) [Giới](/wiki/Gi%E1%BB%9Bi_(sinh_h%E1%BB%8Dc))( *regnum*) [Animalia](/wiki/%C4%90%E1%BB%99ng_v%E1%BA%ADt) [Ngành](/wiki/Ng%C3%A0nh_(sinh_h%E1%BB%8Dc))( *phylum*) [Chordata](/wiki/%C4%90%E1%BB%99ng_v%E1%BA%ADt_c%C3%B3_d%C3%A2y_s%E1%BB%91ng) [Lớp](/wiki/L%E1%BB%9Bp_(sinh_h%E1%BB%8Dc))( *class*) [Mammalia](/wiki/L%E1%BB%9Bp_Th%C3%BA) [Bộ](/wiki/B%E1%BB%99_(sinh_h%E1%BB%8Dc))( *ordo*) [Rodentia](/wiki/B%E1%BB%99_G%E1%BA%B7m_nh%E1%BA%A5m) [Họ](/wiki/H%E1%BB%8D_(sinh_h%E1%BB%8Dc))( *familia*) [Cricetidae](/wiki/Cricetidae) [Chi](/wiki/Chi_(sinh_h%E1%BB%8Dc))( *genus*) [Melanomys](/wiki/Melanomys) [Loài](/wiki/Lo%C3%A0i)( *species*) **M. zunigae** [Danh pháp hai phần](/wiki/Danh_ph%C3%A1p_hai_ph%E1%BA%A7n) *Melanomys zunigae*
(
[Sanborn](/w/index.php?title=Colin_Campbell_Sanborn&action=edit&redlink=1), 1949) [[2]](#cite_note-msw3-2) [Danh pháp đồng nghĩa](/wiki/T%C3%AAn_%C4%91%E1%BB%93ng_ngh%C4%A9a_(sinh_v%E1%BA%ADt_h%E1%BB%8Dc)) *Oryzomys zunigae*Sanborn, 1949 * là một loài Melanomys zunigae* [động vật có vú](/wiki/L%E1%BB%9Bp_Th%C3%BA)trong họ [Cricetidae](/wiki/Cricetidae), [bộ Gặm nhấm](/wiki/B%E1%BB%99_G%E1%BA%B7m_nh%E1%BA%A5m). Loài này được Sanborn mô tả năm 1949. [[2]](#cite_note-msw3-2)
## Chú thích[
[sửa](/w/index.php?title=Melanomys_zunigae&veaction=edit&vesection=1) | [sửa mã nguồn](/w/index.php?title=Melanomys_zunigae&action=edit§ion=1)] **Zeballos and Vivar, 2008** [^](#cite_ref-iucn_1-0)
- ^
**a** [Wilson, D. E.; Reeder, D. M. biên tập (2005). “](#cite_ref-msw3_2-1) **ă** *Melanomys zunigae*”. [. Baltimore: Nhà in Đại học Johns Hopkins, 2 tập (2.142 trang).](http://www.bucknell.edu/msw3/browse.asp?id=13000701) *Mammal Species of the World* [ISBN](/wiki/ISBN) [978-0-8018-8221-0](/wiki/%C4%90%E1%BA%B7c_bi%E1%BB%87t:Ngu%E1%BB%93n_s%C3%A1ch/978-0-8018-8221-0). [OCLC](/wiki/OCLC) [62265494](//www.worldcat.org/oclc/62265494).
## Tham khảo[
[sửa](/w/index.php?title=Melanomys_zunigae&veaction=edit&vesection=2) | [sửa mã nguồn](/w/index.php?title=Melanomys_zunigae&action=edit§ion=2)]
Dữ liệu liên quan tới
[Melanomys zunigae](https://species.wikimedia.org/wiki/Special:Search/Melanomys_zunigae)tại [Wikispecies](/wiki/Wikispecies)


text:
Winseldorf
Bách khoa toàn thư mở Wikipedia
Winseldorf là một đô thị ở huyện Steinburg, bang Schleswig-Holstein, Đức. Đô thị này có diện tích 5,62 km², dân số thời điểm 31 tháng 12 năm 2006 là 311 người.
Winseldorf là một đô thị ở huyện Steinburg, bang Schleswig-Holstein, Đức. Đô thị này có diện tích 5,62 km², dân số thời điểm 31 tháng 12 năm 2006 là 311 người.

markdown:
# Winseldorf
Bách khoa toàn thư mở Wikipedia
|
|Winseldorf
|
|Huy hiệu |
|Vị trí
|
|Hành chính
|
|[Đức](/wiki/%C4%90%E1%BB%A9c) [Bang](/wiki/Bang_c%E1%BB%A7a_%C4%90%E1%BB%A9c) [Schleswig-Holstein](/wiki/Schleswig-Holstein) [Huyện](/wiki/Huy%E1%BB%87n_c%E1%BB%A7a_%C4%90%E1%BB%A9c) [Steinburg](/wiki/Steinburg_(huy%E1%BB%87n)) [Amt](/w/index.php?title=Amt&action=edit&redlink=1) [Thị trưởng](/wiki/Burgomaster) **Số liệu thống kê cơ bản** [Diện tích](/wiki/Di%E1%BB%87n_t%C3%ADch) [Cao độ](/wiki/Cao_%C4%91%E1%BB%99) [Dân số](/wiki/D%C3%A2n_s%E1%BB%91) *(31/12/2006)* [Mật độ](/wiki/M%E1%BA%ADt_%C4%91%E1%BB%99_d%C3%A2n_s%E1%BB%91) **Các thông tin khác** [Múi giờ](/wiki/M%C3%BAi_gi%E1%BB%9D) [CET](/wiki/Gi%E1%BB%9D_Trung_%C3%82u)/ [CEST](/wiki/Gi%E1%BB%9D_m%C3%B9a_H%C3%A8_Trung_%C3%82u)( [UTC+1](/wiki/UTC%2B1)/ [+2](/wiki/UTC%2B2)) [Biển số xe](/wiki/Bi%E1%BB%83n_s%E1%BB%91_xe) [Mã bưu chính](/wiki/Danh_s%C3%A1ch_m%C3%A3_b%C6%B0u_ch%C3%ADnh_%E1%BB%9F_%C4%90%E1%BB%A9c) [Mã vùng](/w/index.php?title=M%C3%A3_v%C3%B9ng_%E1%BB%9F_%C4%90%E1%BB%A9c&action=edit&redlink=1) [Website](/wiki/Website) [www.amt-itzehoe-land.de](http://www.amt-itzehoe-land.de/) **Winseldorf** là một [đô thị](/w/index.php?title=%C4%90%C3%B4_th%E1%BB%8B_%C4%90%E1%BB%A9c&action=edit&redlink=1) ở [huyện](/wiki/Bang_c%E1%BB%A7a_%C4%90%E1%BB%A9c) [Steinburg](/w/index.php?title=Steinburg&action=edit&redlink=1), [bang](/wiki/Bang_c%E1%BB%A7a_%C4%90%E1%BB%A9c) [Schleswig-Holstein](/wiki/Schleswig-Holstein), Đức. Đô thị này có [diện tích](/wiki/Di%E1%BB%87n_t%C3%ADch) 5,62 [km²](/wiki/Km%C2%B2), [dân số](/wiki/D%C3%A2n_s%E1%BB%91) thời điểm [31 tháng 12](/wiki/31_th%C3%A1ng_12) năm [2006](/wiki/2006) là 311 người.

X-Cache: cp1053 miss, cp1053 miss


text:
зной
Từ điển mở Wiktionary
Bước tới:
dẫn lái
,
tìm
Tiếng Nga
[
sửa
]
Danh từ
[
sửa
]
зной
gđ
(
Sự
)
Oi bức
,
oi
ả,
nóng
gắt
,
oi
.
пол
у
денный
зной
— trời oi buổi trưa
Tham khảo
[
sửa
]
Hồ Ngọc Đức,
Dự án Từ điển tiếng Việt miễn phí
(
chi tiết
)
Lấy từ “
https://vi.wiktionary.org/w/index.php?title=зной&oldid=1630862
”
Thể loại
:
Mục từ tiếng Nga
Danh từ
Danh từ tiếng Nga
Trình đơn chuyển hướng
Công cụ cá nhân
Chưa đăng nhập
Thảo luận
Đóng góp
Mở tài khoản
Đăng nhập
Không gian tên
Mục từ
Thảo luận
Biến thể
Các hiển thị
Tra
Sửa đổi
Xem lịch sử
Khác
Tìm kiếm
Chuyển hướng
Trang Chính
Cộng đồng
Thay đổi gần đây
Mục từ ngẫu nhiên
Trợ giúp
Thảo luận chung
Quyên góp
Chỉ mục
Ngôn ngữ
Chữ cái
Bộ thủ
Từ loại
Chuyên ngành
In/xuất ra
Tạo một quyển sách
Tải về dưới dạng PDF
Bản in được
Công cụ
Các liên kết đến đây
Thay đổi liên quan
Tải tập tin lên
Các trang đặc biệt
Liên kết thường trực
Thông tin trang
Trích dẫn trang này
Ngôn ngữ định nghĩa
Azərbaycanca
Български
ᏣᎳᎩ
English
Suomi
Français
Ido
한국어
Malagasy
Polski
Русский
Oʻzbekcha/ўзбекча
中文
Trang này được sửa đổi lần cuối lúc 00:10 ngày 8 tháng 9 năm 2015.
Văn bản được phát hành theo
Giấy phép Creative Commons Ghi công–Chia sẻ tương tự
; có thể áp dụng điều khoản bổ sung. Xem
Điều khoản Sử dụng
để biết thêm chi tiết.
Quy định quyền riêng tư
Giới thiệu Wiktionary
Lời phủ nhận
Nhà phát triển
Tuyên bố về cookie
Phiên bản di động

Set-Cookie: GeoIP=US:VA:Ashburn:39.04:-77.49:v4; Path=/; secure; Domain=.wiktionary.org

P3P: CP="This is not a P3P policy! See https://vi.wiktionary.org/wiki/%C4%90%E1%BA%B7c_bi%E1%BB%87t:CentralAutoLogin/P3P for more info."

X-Cache: cp1067 miss, cp1068 miss