Blaze7451/Wiki-vi-20250601 huggingface dataset:
Khoa học xây dựng

Khoa học xây dựng là một ngành thuộc Khoa học kỹ thuật.

**Các ngành cơ bản**
#Cơ học
#Cơ học thủy
#Lý thuyết độ bền cơ học (sức bền vật liệu)
#Khoa học vật liệu xây dựng

**Các chuyên ngành == 

**Theo lĩnh vực làm việc**
#Xây dựng cao tầng
#Xây dựng hạ tầng
#Xây dựng công trình thủy
#Kinh tế thủy (cấp, thoát nước)
#Chuyên ngành giao thông vận tải

**Các chuyên ngành (theo nguyên lý)**
#Cơ sở khoa học kỹ thuật xây dựng
##Tin học xây dựng
##Trắc đạc kỹ thuật
##Vật lý học công trình
##Hóa học công trình
##Lý thuyết cấu kiện
##Độ bền cấu kiện
#Kinh tế xây dựng và vận hành, quản lý xây dựng
##Lý thuyết kinh doanh xây dựng
##Quản trị kinh doanh xây dựng
##Quản lý bất động sản và cơ sở hạ tầng
##Luật xây dựng dân dụng (tư nhân)
##Quản lý xây dựng
##Kỹ thuật phương pháp xây dựng và sử dụng máy xây dựng
#Xây dựng kỹ thuật và xây dựng cao tầng 
##Vật liệu xây dựng
##Xây dựng cao tầng
##Xây dựng khối
##Xây dựng thép
##Xây dựng liên kết
##Xây dựng gạch
##Xây dựng gỗ
##Xây dựng thủy tinh
##Kỹ thuật liên kết
##Tác động qua lại nền móng và cấu kiện
#Địa kỹ thuật
##Cơ học đất và đá
##Động học nền móng
##Xây dựng nền móng, đào móng xây dựng, và kết cấu móng
##Kỹ thuật địa môi trường
##Xây dựng hầm mày với máy đào hầm
#Xây dựng công trình thủy, kinh tế thủy, kỹ thuật rác thải
##Cơ học thủy (thủy lực) kỹ thuật
##Thủy văn và kinh tế thủy
##Xây dựng thủy
##Cấp nước
##Kỹ thuật thoát nước
##Kỹ thuật rác
#Quy hoạch không gian và xây dựng đô thị, luật xây dựng nhà nước
##Quy hoạch không gian, quy hoạch quốc gia và khu vực
##Xây dựng đô thị
##Luật xây dựng đô thị
##Luật quy hoạch xây dựng
##Luật thiết kế cho công trình giao thông
#Hệ thống giao thông và thiết bị giao thông
##Hệ thống giao thông công cộng
##Giao thông cá nhân - Thiết kế đường bộ và xây dựng đường bộ
##Xây dựng giao thông thủy - Đường thủy và bến cảng
##Thiết kế, xây dựng và vận hành sân bay
##Mạng đường dẫn (điện cao thế, thông tin tín hiệu, ga, dầu, v.v.)

**Tham khảo**
 K. Zilch, C. J. Diderichs, R. Katzenbach (Hrsg.): Handbuch für Bauingenieure. Springer, Berlin u.A. 2002, ISBN 3-540-65760-6

**Liên kết ngoài == -  - trường ĐH Tổng hợp kỹ thuật TU Darmstadt, CHLB Đức- BauNetz - Cổng xây dựng và kiến trúc (tiếng Đức)- planet.baublog.de date = ngày 24 tháng 4 năm 2017 - RSS-Aggregator cho News và Blogs trong ngành xây dựng (tiếng Đức)
Thể loại:Xây dựng
Xây dựng
Tk

Ngôn ngữ lập trình TK
Tk là bộ công cụ gồm các thành phần giao diện người dùng đồ họa (GUI widget). Sử dụng Tk với một ngôn ngữ lập trình, ta có thể viết các chương trình ứng dụng có giao diện đồ họa chạy trên nhiều hệ điều hành khác nhau: Windows, UNIX (trong đó có Linux), Mac OS,...
Tk được John Ousterhout xây dựng với mục đích ban đầu chạy cùng với ngôn ngữ lập trình Tcl do ông viết. Sau này, Tk còn được dùng cung với các ngôn ngữ khác như Perl, Python, Ruby.
Các thành phần (widget) cơ bản trong Tk bao gồm:- Button (nút bấm)- Canvas (vùng có thể dùng để vẽ hình hay hiện chữ)- Checkbutton (ô đánh dấu kiểm)- Entry (nhập dòng chữ)- Frame (khung bao gồm các widget khác)- Label (nhãn)- Listbox (danh sách)- Menu (thực đơn con, dropdown menu)- Menubutton (thanh thực đơn, menu bar)- Radiobutton (nút chọn một trong nhiều phương án)- Scale (con chạy)- Scrollbar (thanh trượt)- Text (vùng nhập văn bản (có thể nhiều dòng))- Toplevel (cửa sổ cấp cao nhất)
Trong các phiên bản ban đầu, các widget của Tk đều giống như kiểu POSIX. Từ phiên bản 8.x trở đi Tk có cố gắng mô phỏng theo các widget trên từng hệ điều hành cụ thể.

**Tham khảo**
Giao diện đồ họa
Thể loại:Lập trình máy tính
Thể loại:Toolkit
Thể loại:Widget
Thể loại:Giao diện lập trình ứng dụng
Lance Armstrong

Lance Edward Armstrong (phiên âm tiếng Việt: Len Am-xơ-trông, sinh 1971) là một cựu vận động viên đua xe đạp chuyên nghiệp nổi tiếng người Mỹ. Anh từng được biết đến như một vận động viên xe đạp đã phá kỷ lục giải Tour de France khi giành chiến thắng bảy lần liên tục sau khi vượt qua bệnh ung thư tinh hoàn, nhà sáng lập và chủ tịch của Tổ chức Lance Armstrong, một tổ chức nghiên cứu và hỗ trợ cho bệnh nhân ung thư. Tháng 10 năm 2012, Lance Armstrong bị phát hiện liên quan đến vụ bê bối doping và bị tước hết mọi danh hiệu vô địch và bị cấm thi đấu môn xe đạp suốt đời.
Tên khai sinh của anh là Lance Edward Gunderson, sinh ngày 18 tháng 9 năm 1971. Khởi nghiệp đua xe đạp vào năm 1990, Armstrong đã chuyển lên thi đấu chuyên nghiệp chỉ 1 năm sau đó. Tháng 10 năm 1996, anh được chẩn đoán là mắc ung thư tinh hoàn với một khối u đã di căn tới não và phổi và tiên lượng bệnh ban đầu xấu. Quá trình điều trị ung thư của anh bao gồm giải phẫu não và tinh hoàn, hóa trị kéo dài.
Mặc dù vậy, Armstrong vẫn tiếp tục thi đấu, và đến năm 1999, đã giành được chiếc áo vàng danh giá Tour de France lần đầu tiên và giữ được ngôi vị này trong 7 lần liên tục, được ghi nhận trong lịch sử bộ môn đua xe đạp đường trường là người duy nhất chiến thắng 7 lần liên tiếp, phá vỡ kỷ lục trước đó là giành chiến thắng 5 lần từng đạt bởi Miguel Indurain, Bernard Hinault, Eddy Merckx, và Jacques Anquetil.
Năm 1999, Armstrong được ABC Wide World of Sports gán danh hiệu là Vận động viên của năm. Năm 2000, anh giành Giải thưởng Hoàng tử xứ Asturias cho lĩnh vực thể thao. Năm 2002, tạp chí Sports Illustrated gọi anh là Nhà thể thao của năm. Anh cũng từng giành được danh hiệu Nam vận động viên của năm của Associated Press (Associated Press Male Athlete of the Year) cho các năm 2002 đến 2005. Anh nhận giải thưởng ESPY của ESPN cho Vận động viên xuất sắc nhất các năm từ 2003 đến 2006 và giành danh hiệu giải thường Nhân vật thể thao nước ngoài của BBC (BBC Sports Personality of the Year Overseas Personality) năm 2003. Armstrong tuyên bố giải nghệ ngày 24 tháng 7 năm 2005 khi Tour de France 2005 kết thúc nhưng trở lại thi đấu vào tháng 1 năm 2009 và về thứ 3 trong giải Tour de France 2009. Năm 2012, anh giúp thành lập UCI ProTeam Team RadioShack và tham gia lần cuối với lời khẳng định giải nghệ đua xe đạp ngày 16 tháng 2 năm 2011.
Tuy nhiên, sự nghiệp một đời của Armstrong bị xóa bỏ sau một bản cáo buộc của Ủy ban Phòng chống doping Hoa Kỳ (U.S. Anti-Doping Agency - USADA), kết tội Armstrong và các tay đua đội Bưu điện Mỹ đã thi đấu gian lận bằng cách sử dụng chất kích thích và tìm cách qua mặt các cuộc kiểm tra doping. Sau khi xem xét và đồng ý với các cáo buộc này, ngày 22 tháng 10 năm 2012, Liên đoàn xe đạp quốc tế đã ra phán quyết tước 7 danh hiệu vô địch Tour de France và cấm thi đấu suốt đời đối với Armstrong, đặt dấu chấm hết của cựu vận động viên đua xe đạp từng là tấm gương về nỗ lực tập luyện và thi đấu.

**Liên kết ngoài**
 Website chính thức- Tổ chức phi lợi nhuận cho bệnh nhân ung thư mang tên Lance Armstrong
Thể loại:Vô địch Tour de France
Thể loại:Vận động viên xe đạp Mỹ
Thể loại:Nhân vật còn sống
Thể loại:Sinh năm 1971
Thể loại:Người Mỹ gốc Na Uy
Lý Đức (vận động viên)

Lý Đức (sinh ngày 19 tháng 10 năm 1965) là một cựu vận động viên thể dục thể hình người Việt Nam. 
Ông khởi đầu sự nghiệp năm 1984. Thành tích cao nhất của ông là xếp hạng 4 thế giới năm 1999. Ông từng đoạt huy chương vàng châu Á trong 5 năm liên tục (từ 1997 đến 2001), 4 huy chương vàng Đông Nam Á và huy chương vàng Đại hội Thể thao châu Á 2002 tại Busan.

**Tham khảo**
Thể loại:Vận động viên thể dục thể hình Việt Nam
Thể loại:Nhân vật còn sống
Thể loại:Người Việt gốc Hoa
Tương phùng tương ngộ

Tương phùng tương ngộ là tên một bài hát dân ca Quan họ Bắc Ninh. Bài hát không được biểu diễn nhiều ở buổi giao duyên của Quan họ nhưng làn điệu cổ này cũng được nhiều người yêu dân ca Quan họ biết đến. Bài hát nói về mối tương tư và mơ ước về tương lai của một người thanh niên (nam hoặc nữ) Quan họ. "Tương" có nghĩa là "cùng nhau, đối lẫn nhau", còn "phùng" nghĩa là "gặp". "Tương phùng" đồng nghĩa với "tương ngộ", nghĩa là gặp nhau.

**Lời bài hát**
:Khi tương phùng là khi nay a tương ngộ
:Xuôi i nên bộ văng vẳng tiếng tơ tình
:Chiêm i bao lại lần chần là canh năm canh
:Chiêm i bao lại lần chần là canh năm canh.
:Bên i mạn oanh í ơ bên i mạn oanh,
:Ngồi tựa ơ giăng thanh thương nhớ ơ sầu oanh, thương nhớ sầu oanh
:Lẻ loi chim í nhạn hỡi bạn ơi tình ơi là
:Em biết ơ đến bao giờ họp mặt là đôi sánh đôi
:Tôi biết đến ơ bao giờ họp mặt là đôi sánh đôi.
:Đôi í tình ta í ơ đôi i tình ta,
:Tình đẹp i ì tình ta, nghĩa nặng í ì vào ra.
:Xuôi nên hòa là duyên nay a bén lại, bén lại tính nghĩa tình
:Trước í không phải sau đền nghĩa sinh ba sinh
:Trước í không phải sau đền nghĩa sinh ba sinh.

**Thông tin thêm**
Trong dân gian Việt Nam có câu đối:
:Hữu duyên thiên lý năng tương ngộ,
:Vô duyên đối diện bất tương phùng.
:Nghĩa là: 
:Có duyên ngàn dặm xa vẫn gặp,
:Không duyên thì đối mặt vẫn cách lòng. Có duyên, ngàn dặm xa còn gặp
Vô duyên, đối diện vẫn/cứ cách lòng.

**Xem thêm**
Ngồi tựa mạn thuyền
*Con nhện giăng mùng
*Người ơi người ở đừng về
*Ngồi tựa song đào
*Quan họ
*Đêm qua nhớ bạn

**Tham khảo**

**Liên kết ngoài**
Thể loại:Quan họ
Thể loại:Bài hát dân ca Việt Nam
Thể loại:Bài hát tiếng Việt
Thể loại:Bài hát Việt Nam
Nguyên lý tương đối Galileo

Trong cơ học cổ điển, nguyên lý tương đối Galileo Galilei phát biểu rằng, bằng các thí nghiệm cơ học thực hiện trên một hệ quy chiếu đang chuyển động thẳng đều với một hệ qui chiếu lấy làm mốc khác, người ta không thể phát hiện được hệ qui chiếu của mình đứng yên hay chuyển động thẳng đều so với hệ quy chiếu mốc. Ví dụ: trong một toa tàu chuyển động thẳng đều so với mặt đất, tất cả các thí nghiệm cơ học vẫn xảy ra đúng như khi chúng được thực hiện trên mặt đất.
Nói một cách khác, tất cả định luật cơ học là như nhau trong các hệ quy chiếu chuyển động thẳng đều so với nhau. Như vậy, chuyển động thẳng đều là chuyển động có tính tương đối.
Nguyên lý này lần đầu tiên được Galileo Galilei phát biểu vào năm 1632. Sau này Albert Einstein đã mở rộng nguyên lý này ra thành một tiên đề của lý thuyết tương đối.

**Phép biến đổi Galileo**
Phép biến đổi Galileo là cách xác định các đại lượng cơ học liên quan đến một vật thể trong một hệ quy chiếu chuyển động đều so với một hệ quy chiếu lấy mốc, khi các đại lượng này đã được biết ở trong hệ quy chiếu gốc.

**Ví dụ**
Xét hệ qui chiếu S chuyển động với vận tốc v so với hệ S. Giả sử vật đứng yên đối với hệ S và có tọa độ là {x,y,z} trong Không gian Euclide 3 chiều. Ban đầu, tại thời điểm  gốc tọa độ của hệ S và S trùng nhau. Sau đó hệ S di chuyển dọc theo trục  với vận tốc . Như vậy tại thời điểm , các tọa độ của vật trong hai hệ qui chiếu liên hệ với nhau bởi hệ thức:
,
,
.
Giả sử trong hệ S vật chịu tác dụng của lực F. Theo định luật 2 Newton, phương trình chuyển động của hệ có dạng:
,
,
.
Sử dụng phép biến đổi Galieo ta được
,
,
.
Ta thấy các phương trình chuyển động của vật trong hệ qui chiếu S cũng giống hệt như trong hệ qui chiếu S. Như vậy, định luật 2 Newton bất biến với phép biến đổi Galileo.

**Tính chất**
Phép biến đổi Galileo phù hợp với nguyên lý tương đối Galileo, các định luật của cơ học cổ điển là không thay đổi qua các biến đổi Galileo đồng thời như nhau trong các hệ quy chiếu chuyển động đều so với nhau.

**Tham khảo**
Thể loại:Cơ học
Thể loại:Thuyết tương đối
Thể loại:Galileo Galilei
Thể loại:Cơ học cổ điển
Sắp xếp theo cơ số

Trong khoa học máy tính, thuật toán sắp xếp theo cơ số là một thuật toán sắp xếp không so sánh. Thuật toán này được thực hiện dựa trên ý tưởng nếu một dãy số đã được sắp xếp hoàn chỉnh thì từng chữ số cũng sẽ được sắp xếp hoàn chỉnh dựa trên giá trị của các chữ số đó. Thuật toán này yêu cầu dãy cần được sắp xếp có thể so sánh thứ tự các vị trí vì thế sắp xếp theo cơ số không giới hạn ở tập số nguyên (ta có thể dễ dàng đưa dạng xâu về cơ số nhị phân).

**Sắp xếp theo cơ số nhị phân**
Trong bài này chỉ giới thiệu giải thuât Sắp xếp theo cơ số nhị phân.
Giả sử chúng ta cần sắp xếp danh sách , trong đó các phần tử là các số tự nhiên biểu diễn bằng 31 bit. Các bit được đánh số thứ tự từ phải sang trái bằng các số 0..30. Để đọc được bit thứ k của số tự nhiên x cần có một hàm GetBit(x,k). Hàm này có thể có sẵn trong ngôn ngữ lập trình, trong trường hợp không có sẵn nó có thể viết nhờ toán tử LShift (dịch trái) và toán tử AndBit. (Trong nhiều ngôn ngữ lập trình, từ khóa của toán tử AndBit trùng từ khóa với toán tử and theo nghĩa toán tử logic).
Function GetBit(Int: x,k) 
Return LShift(x,k) AndBit 1.  
Để sắp xếp (phân chia) danh sách theo bit thứ k của danh sách, ta tìm phần tử đầu tiên bên trái của danh sách có bit thứ k là 1 và phần tử đầu tiên bên phải có bit thứ k là 0 rồi đổi chỗ (Swap) cho nhau. Quá trình tiếp tục cho đến khi con trỏ hai đầu gặp nhau. Khi đó vị trí của hai con trỏ gặp nhau chia danh sách thành hai danh sách con: đanh sách đầu chứa các phần tử có bit thứ k bằng 0, danh sách sau chứa các phần tử có bit thứ k bằng 1. 
Bằng lời giải đệ quy, tiếp tục phân chia các danh sách con này theo bit thứ k-1.. cho đến bit thứ 0.

**Mã giả**
Procedure RadixSort(list: a, int:s,e, k){
Var Int i:=s,j:=e
While i=0 {  
While GetBit(ai,k)=0 do i:=i+1 
While GetBit(aj,k)=1 do j:=j-1
Swap(ai,aj)         
}
If GetBit(ai,k)=0 then i:=i+1
}
RadixSort(a,s,j,k-1)
RadixSort(a,j+1,s,k-1)
}
Lời gọi RadixSort(a,1,n,30) sẽ sắp xếp toàn bộ danh sách a1..n.

**Ví dụ**
Xét ví dụ sau đây. 
Các số trong danh sách đều có thể biểu diễn bằng số nhị phân 3 bit. Bảng sau đây cho biểu diễn nhị phân của từng số trong danh sách
Với k = 2 việc phân chia theo bit thứ 2 tiến hành đổi chỗ a2=6 cho a7=1, và phân chia danh sách a thành hai danh sách a1..3 và a4..7
Sau đó thuật toán đưa danh sách a4..7 vào stack và tiến hành phân chia danh sách a1..3 theo bit thứ k = 1, bằng cách đổi chỗ a1 = 2 cho a2 = 1,thành a1..1 và a2..3 
Tiếp theo là phân chia danh sách a2..3 theo bit thứ 0 thành a2..2 và a3..3
Đến đây việc sắp xếp danh sách a1..3 hoàn thành. Thuật toán tiếp lấy a4..7 từ trong stack ra để sắp xếp theo cách phân chia như trên, lần lượt là quá trình phân chia như sau:

**Xem thêm**
 Sắp xếp nhanh- Toán học

**Tham khảo**
Thể loại:Thuật toán sắp xếp
Thể loại:Sắp xếp ổn định
Bán đảo Mã Lai

Bản đồ vị trí bán đảo Mã Lai
right
Bán đảo Mã Lai (tiếng Mã Lai: Semenanjung Tanah Melayu) là một bán đảo lớn thuộc khu vực Đông Nam Á. Với trục chính gần như là theo hướng bắc-nam, bán đảo này cũng là điểm cực nam của châu Á đại lục. Khúc hẹp nhất của bán đảo là eo đất Kra. Dãy Titiwangsa tạo thành xương sống của bán đảo Mã Lai.
Các vùng nước ven biển (tính theo chiều kim đồng hồ từ phía đông bắc) là Vịnh Thái Lan, biển Đông (đối diện với Borneo), eo biển Johor (đối diện với Singapore), eo biển Malacca (đối diện với Sumatra) và biển Andaman.
Về mặt chính trị, bán đảo Mã Lai được chia cho ba quốc gia:- phần tây bắc bán đảo là lãnh thổ cực nam của Myanma- phần trung tâm và đông bắc thuộc miền nam Thái Lan- phần phía nam thuộc Malaysia được gọi là Malaysia bán đảo (không nên nhầm lẫn với bán đảo Mã Lai rộng hơn) hoặc Tây Malaysia.
Một thuật ngữ trong tiếng Mã Lai là Tanah Melayu được sử dụng trong một số văn bản nêu lên ước vọng hiệp nhất của tất cả các nhóm người Mã Lai trên bán đảo trong một quốc gia Mã Lai thống nhất. Giấc mộng này đã được thực hiện gần như trọn vẹn khi nước Malaysia thành lập. Tuy nhiên tại miền nam Thái Lan cư dân Mã Lai là một thiểu số đáng kể. Vùng này trước kia là Vương quốc Pattani, một vương quốc Mã Lai nhưng sau bị sáp nhập vào Thái Lan. Ngoài ra, cũng có nhiều người Mã Lai ở Singapore, một đảo quốc nay với đa số người Hoa mà Anh đã thuê lại của Vương quốc Hồi giáo Johor năm 1819 rồi sau độc lập.
Bờ biển phía tây của bán đảo đối diện với đảo Sumatra là khu vực tiếp nhận nhiều nhóm di dân như người Bugis, người Hán và người Ấn vì đây là điểm dừng chân trên chặng hải hành giữa Ấn Độ Dương và Thái Bình Dương. Hiện tượng này đã tạo nét văn hóa duyên hải pha trộn đặc biệt từ thế kỷ 19.
Người châu Âu thời cổ gọi bán đảo Mã Lai là Chersonesus Aurea.

**Xem thêm**
 Quần đảo Mã Lai- Dãy Titiwangsa

**Tham khảo**

Thể loại:Bán đảo châu Á
Thể loại:Địa mạo Malaysia
Thể loại:Địa mạo Myanmar
Thể loại:Địa mạo Thái Lan
Thể loại:Vùng của châu Á
.
Thể loại:Biển Andaman
Thể loại:Vịnh Thái Lan
Thể loại:Địa mạo Biển Đông
.
Thể loại:Eo biển Malacca
.02
Malaysia bán đảo

Bản đồ Malaysia bán đảo
Bán đảo Mã Lai
Malaysia bán đảo (tiếng Mã Lai: Semenanjung Malaysia) là phần lãnh thổ của Malaysia nằm trên bán đảo Mã Lai và chia sẻ biên giới bộ với Thái Lan ở phía bắc. Nó nối liền với đảo quốc Singapore ở phía nam thông qua đường đắp cao và cầu. Vượt qua eo biển Malacca về phía tây là đảo Sumatra thuộc Indonesia. Đông Malaysia (trên đảo Borneo) nằm ở phía đông, ngang qua biển Đông.
Trên lãnh thổ của bán đảo này có 11 bang và 2 vùng lãnh thổ liên bang của Malaysia (bắt đầu từ phía bắc tới phía nam):
*Khu vực miền Bắc: Perlis, Kedah, Penang, Perak
*Khu vực ven biển miền Đông: Kelantan, Terengganu, Pahang
*Khu vực Trung tâm: Selangor, các vùng lãnh thổ liên bang là Kuala Lumpur và Putrajaya
*Khu vực miền Nam: Negeri Sembilan, Malacca, Johor
Malaysia bán đảo còn được gọi là Tây Malaysia (Malaysia Barat) hay Malaya (Tanah Melayu). Thuật ngữ "Malaysia bán đảo" được sử dụng nhiều hơn thuật ngữ "Tây Malaysia" (để tránh ý tưởng là Tây và Đông Malaysia là hai quốc gia riêng biệt như trường hợp của Đông Đức và Tây Đức đã được sử dụng cho đến năm 1990) và cũng nhiều hơn thuật ngữ "Malaya" (hiện nay đã lỗi thời do các ý nghĩa của nó về thời kỳ thuộc địa của Anh). Tuy nhiên, cả ba thuật ngữ này đều chính xác, và thuật ngữ "Malaya" vẫn có thể tìm thấy trong nhiều tên gọi của các cơ quan, chẳng hạn Tòa án tối cao Malaya, Đại học Malaya, Đường sắt Malaya v.v. cũng như trong các ngữ cảnh pháp lý trong câu Negeri-negeri Tanah Melayu (Nhà nước Malaya). Lưu ý rằng cho tới tận năm 1946, thuật ngữ "Malaya" thông thường bao gồm cả Singapore.
Sự khác biệt giữa Tây và Đông Malaysia là đáng kể, ngoài vấn đề địa lý, chẳng hạn các khác biệt trong hệ thống pháp lý cũng như mức độ tự trị cao hơn của các bang (Sabah và Sarawak) thuộc Đông Malaysia hay việc duy trì các hạn chế đối với việc nhập cư từ các bang trên Malaysia bán đảo.

**Xem thêm**
 Malaya thuộc Anh (1874-1946)- Liên hiệp Malaya (1946-1948)- Liên bang Malaya (1948-1963)- Malaysia- Bán đảo Mã Lai- Đô la Malaya

**Tham khảo**

Thể loại:Bán đảo Đông Nam Á


Thể loại:Vùng của Malaysia
Thể loại:Lãnh thổ chính hoặc nội địa của các quốc gia
Thể loại:Địa lý Malaysia
Sắp xếp đếm phân phối

Sắp xếp đếm phân phối là một phương pháp sắp xếp có độ phức tạp tuyến tính. Nó dựa trên giả thiết rằng, các khoá cần sắp xếp là các số tự nhiên giới hạn trong một khoảng nào đó, chẳng hạn từ 1 đến N.

**Giải thuật sắp xếp đếm phân phối**
Để đơn giản ta giả sử các phần tử của danh sách a1..n nhận các giá trị tự nhiên trong khoảng 1..M.
Sắp xếp đếm phân phối đầu tiên đếm các phần tử thuộc danh sách nhận giá trị k với 1   k->M, do viết trên ngôn ngữ pascal, nên chỉ số đầu của mảng là 0). Hàm viết bằng C++ như sau:
// min, max lần lượt là GTLN và GTNN của mảng arr cần sắp xếp
void CountingSort(int arr, int n, int mi, int mx) 
{ 
int d = 0, cs = mx - mi; 

// Mảng lưu kết quả đếm
int countcs + 1; 

// Khởi tạo giá trị của mỗi phần tử trong mảng đếm là 0
for(int i = 0; i  0) 
for(int j = 1; j 

**Tham khảo**
Thể loại:Thuật toán sắp xếp
Định lý số dư Trung Quốc

Tập tin:Sun_Tzu_Chinese_remainder_theorem.svg|thumb|Hướng sắp xếp ban đầu của Hàn Tín: x ≡ 2 (mod 3) ≡ 3 (mod 5) ≡ 2 (mod 7) với nghiệm x  23 + 105k với k ∈ ℤ
Định lý số dư Trung Hoa (Định lý thặng dư Trung Hoa), hay bài toán Hàn Tín điểm binh, là một định lý nói về nghiệm của hệ phương trình đồng dư bậc nhất.

**Lịch sử**
Định lý số dư Trung Quốc là tên người phương Tây đặt cho định lý này. Người Trung Quốc gọi nó là bài toán Hàn Tín điểm binh. Hàn Tín là một danh tướng thời Hán Sở, từng được phong tước vương thời Hán Cao Tổ Lưu Bang đang dựng nghiệp. Sử ký Tư Mã Thiên viết rằng Hàn Tín là tướng trói gà không nổi, nhưng rất có tài quân sự. Tục truyền rằng khi Hàn Tín điểm quân số, ông cho quân lính xếp hàng 3, hàng 5, hàng 7 rồi báo cáo số dư. Từ đó ông tính chính xác quân số đến từng người: lấy số dư (khi chia) cho 3 nhân với 70, cộng số dư cho 5 nhân với 21, cộng số dư cho 7 nhân với 15, rồi cộng hoặc trừ một bội số của 105. Muốn cho dễ nhớ ông đặt thành thơ:
- Bản dịch 1 của Hoàng Xuân Hãn:
“Ba người cùng đi ít bảy chục
Năm cỗi mai hoa hăm mốt cành
Thất tử đoàn viên chính bán nguyệt
Trừ trăm linh năm biết số thành”
*Bản dịch 2 của Hoàng Xuân Hãn:
“Ba người cùng đi, ít bảy chục
Năm người cùng hàng, nhân hăm mốt
Bảy người cùng hàng, nhân mười lăm
Trừ trăm linh năm thì tính suốt”- Bản dịch khác (chưa rõ tác giả)
“Ba người cùng đội bảy mươi rành
Năm khóm hoa mai, hăm mốt cành
Bảy gã vườn đào chơi nửa tháng
Cộng hoặc trừ trăm linh năm tính nhẩm nhanh”
Gần đây, định lý số dư Trung Quốc có nhiều ứng dụng trong các bài toán về số nguyên lớn áp dụng vào Lý thuyết mật mã.

**Nội dung**
Bản chất của bài toán Hàn Tín điểm binh là việc giải hệ phương trình đồng dư bậc nhất
trong đó  đôi một nguyên tố cùng nhau. Trong bài toán Hàn Tín  và .

**Định lý**
Hệ phương trình đồng dư nói trên có nghiệm duy nhất theo mô-đun

là
trong đó 
Trong đó 
là nghịch đảo theo mô-đun của  với 

**Ví dụ**
Giải hệ phương trình đồng dư

ta có 
.


.
Từ đó 
.
Như vậy x có dạng , k là số nguyên (hoặc số tự nhiên thích hợp nếu tìm nghiệm tự nhiên).

**Tham khảo**

**Liên kết ngoài**
Thể loại:Số học
Số dư Trung Quốc
Thể loại:Toán học Trung Quốc
Thể loại:Số học Modulo
Dãy Titiwangsa

Dãy Titiwangsa (tiếng Malay: Banjaran Titiwangsa), hay còn gọi là Dãy núi Sankalakhiri (tiếng Thái Lan: ทิวเขาสันกาลาคีรี) ở Thái Lan, là một dãy núi tạo thành "xương sống" của bán đảo Mã Lai. Đầu phía Bắc của dãy núi nằm ở các tỉnh Pattani, Songkhla, Yala và Narathiwat, miền nam Thái Lan. Dãy Titiwangsa chạy gần như theo hướng đông nam và kết thúc ở phía nam gần Jelebu, Negeri Sembilan, Malaysia. Đỉnh cao nhất là Gunung Korbu với độ cao 2.183 m. Dãy núi này như là một sự phân chia tự nhiên Malaysia bán đảo thành hai khu vực bờ biển miền Đông và miền Tây.
Một số điểm đến dành cho du khách nổi tiếng của Malaysia như cao nguyên Cameron và vùng đồi Fraser nằm trên dãy núi này.

**Tham khảo**
Titiwangsa
Sankalakhiri
Thể loại:Bán đảo Mã Lai
Thể loại:Malaysia bán đảo
Thể loại:Nam Thái Lan
Thuật toán nhân lũy thừa bằng bình phương

Thuật toán nhân lũy thừa bằng bình phương hoặc thuật toán bình phương và nhân là thuật toán tính nhanh lũy thừa tự nhiên của một số (thực hoặc nguyên), trong trường hợp cơ số là số nguyên có thể được rút gọn theo một môđun nào đó.
Phép nâng lên lũy thừa tự nhiên bậc n của số x (x được gọi là cơ số) được định nghĩa từ hệ thức

Với n lớn số phép nhân là rất lớn. 

**Ví dụ**
Chẳng hạn với n=35 quá trình tính  qua 35 bước:
Ta nhận xét rằng có thể giảm bớt số phép nhân chẳng hạn với dãy phép tính
,,
,
.

**Công thức đệ quy**
Quá trình tính toán trên chính là quá trình tính nhờ công thức đệ quy
# Với n=0 thì 
# Với n>0 ta có công thức
Như vậy phép tính  được quy về một số phép bình phương và phép nhân do vậy mà có tên gọi thuật toán bình phương và nhân.

**Giải thuật đệ quy**
Giải thuật sau tính đệ quy 
Function Square_Multi (int x, n, m){
Var Int Power
If n=0 then return 1
Else {
n:=LShift(n,1) 
Power:= Square_Multi (int x, n, m)
Power:=(Power^2) mod m
If n BitAnd 1 =0 then 
Return Power
Else 
Return (Power*x) mod m 
} 
}
Đoạn code viết bằng java:
public static int binhphuong (int x,int n,int m)
{
int p;
if (n==0) then return 1;
p=binhphuong(x,n/2,m);
if (n%2==0) 
return (p*p)%m;
else
return (p*p*x)%m;
}
Chú ý rằng một số tự nhiên là chẵn hay lẻ chỉ phụ thuộc vào bít số 0 của nó nên trong giải thuật trên ta sử dụng toán tử AndBit để xác định tính chãn lẻ của n và sử dụng phép LShif để tính phần nguyên của n/2.

**Giải thuật không đệ quy**
Trong giải thuật đệ quy trên đây ta xét tính chẵn lẻ của n và liên tục chia n cho 2 lấy phần nguyên cho đến khi n=0. Thực chất quá trình này chính là tìm các bít của n. Do đó ta có thể thực hiện phép đổi ra số nhị phân trước sau đó tính lũy thừa theo quy tắc bình phương và nhân.

**Giải thuật**
Đổi n ra số nhị phân ghi vào mảng 
Function Power_Modulo(Int x,n,m){
Var Int Power:=1
For i=1 to k do
Power:=(Power^2) mod m
If bi=1 then
Power:=(Power*x) mod m
Return Power 
}

**Ví dụ**
Trong ví dụ sau ta tính .
Đổi  ra số nhị phân ta được .
Bảng sau đây tính toán từng bước theo giá trị của các bít của .
Khởi tạo .
Như vậy ta có


**Xem thêm**
 Toán học- RSA (mã hóa)

**Tham khảo**
Thể loại:Lũy thừa
Thể loại:Số học máy tính
Thể loại:Thuật toán lý thuyết số
Thể loại:Thuật toán số học máy tính
Cây bao trùm

Một cây bao trùm (các cạnh màu xanh) của một đồ thị lưới
Ba ví dụ trên biểu đồ lưới 8x8
Cây bao trùm (tiếng Anh: spanning tree), còn được gọi là cây khung, của đồ thị G là cây con của đồ thị G, chứa tất cả các đỉnh của G. Nói cách khác, cây bao trùm của một đồ thị G là một đồ thị con của G, chứa tất cả các đỉnh của G, liên thông và không có chu trình.
Cây bao trùm của đồ thị liên thông G cũng có thể định nghĩa như một đồ thị con không chu trình lớn nhất, hay một đồ thị con liên thông nhỏ nhất của G.

Mọi đồ thị liên thông đều có cây bao trùm.

**Định lý (sự tồn tại của cây khung)**
Mọi đồ thị liên thông đều có chứa ít nhất 1 cây khung (cây tối đại)

**Số các cây bao trùm của một đồ thị liên thông**
Hình:Cayley's formula 2-4.svg|nhỏ|Công thức Cayley đếm số cây bao trùm của một đồ thị đầy đủ. Có tất cả  cây bao trùm của ,
cây bao trùm của , và 
cây bao trùm của .
Gọi t(G) là số các cây bao trùm của đồ thị liên thông G. Trong một số trường hợp, số  t(G) có thể tính trực tiếp.
Chẳng hạn nếu G là một cây, khi đó t(G)=1, còn khi G là một đồ thị vòng  với  n đỉnh thì t(G)=n.
Với đồ thị G bất kỳ, số t(G) có tính nhờ Định lý Kirchhoff.
Công thức Cayley là công thức cho số các cây bao trùm của đồ thị đầy đủ
với n đỉnh: .
Nếu G là đồ thị hai phía đầy đủ , thì , còn nếuG là  đồ thị khối n-chiều
, thì .
Các công thức này rút ra từ lý thuyết các ma trận.
Nếu G là một đa đồ thị và e là một cạnh của G, thì số  t(G) các cây bao trùm của G thỏa mãn quan hệ t(G)=t(G-e)+t(G/e) (deletion-contraction recurrence), trong đó G-e là đa đồ thị suy ra từ G bằng cách xóa đi cạnh e và G/e là đồ thị rút gọn cạnhe của G, trong đó các cạnh bội xuất hiện từ phép rút gọn này không bị xóa.

**Thuật toán tìm cây bao trùm**
Có thể tìm cây bao trùm bằng thuật toán tìm kiếm theo chiều rộng, hoặc thuật toán tìm kiếm theo chiều sâu.

**Cây bao trùm nhỏ nhất**
Nếu trên tập các cạnh của G có một hàm, được gọi là hàm trọng số, nhận giá trị thực (u,v), thì cây bao trùm có tổng trọng số trên các cạnh nhỏ nhất được gọi là cây bao trùm nhỏ nhất. Có nhiều thuật toán tìm cây bao trùm nhỏ nhất, chẳng hạn như thuật toán Prim, thuật toán Kruskal, thuật toán Borůvka.

**Xem thêm**
Cây bao trùm nhỏ nhất

**Tham khảo**
Thể loại:Cây (cấu trúc)
Thể loại:Giải thuật lý thuyết đồ thị
Thể loại:Lý thuyết đồ thị trong các bài toán tính toán
Bắc Hà (định hướng)

Bắc Hà có thể là:

**Địa danh**
Đàng Ngoài: vùng lãnh thổ phía bắc sông Gianh vào thế kỷ 17 và thế kỷ 18 do chúa Trịnh kiểm soát; cách gọi "sĩ phu Bắc Hà" còn được dùng cho tới đầu thế kỷ 19
*Huyện Bắc Hà, tỉnh Lào Cai
*Phường Bắc Hà, quận Kiến An, thành phố Hải Phòng
*Phường Bắc Hà, thành phố Hà Tĩnh, tỉnh Hà Tĩnh
*Thị trấn Bắc Hà, huyện Bắc Hà, tỉnh Lào Cai
*Cao nguyên Bắc Hà: một cao nguyên nằm trên địa bàn hai tỉnh Lào Cai và Hà Giang
*Tên gọi một phủ thuộc trấn Kinh Bắc xưa.

**Khác**
Trường Đại học Quốc tế Bắc Hà

**Xem thêm**
Hà Bắc (định hướng)
*Nam Hà (định hướng)
Bắc Thành

Bắc Thành (ch=北城) là một danh xưng dùng để chỉ một đơn vị hành chính cấp cao đầu đời nhà Nguyễn, quản lý 11 trấn (tương đương cấp tỉnh ngày nay) ở phía bắc Việt Nam. Đơn vị này được vua Gia Long đặt ra từ năm 1802, được sử dụng cho đến năm 1831, dưới triều vua Minh Mạng thì bị bãi bỏ.

**Lãnh thổ**
Vùng lãnh thổ của Bắc Thành gồm 11 trấn (5 nội trấn và 6 ngoại trấn), tính từ khu vực Ninh Bình trở lên phía bắc. Các trấn của Bắc Thành bao gồm:
Nội trấn:
Gồm các trấn đồng bằng và nằm trong nội địa.- Sơn Nam Thượng- Sơn Nam Hạ- Sơn Tây- Kinh Bắc- Hải Dương
Ngoại trấn:
Gồm các trấn miền núi và giáp với Trung Quốc.- Tuyên Quang- Hưng Hóa- Cao Bằng- Lạng Sơn- Thái Nguyên- Quảng Yên

**Chức quan cai trị**
Lỵ sở của Bắc Thành ban đầu được đặt trong khu vực thành Thăng Long cũ, vốn gần như bị phá hủy bởi chiến tranh và nội loạn, năm 1803 thì chuyển về thành sở mới.

**Tổng trấn**
 Nguyễn Văn Thành (1802-1806)- Trương Tấn Bửu (1806-1810)- Nguyễn Huỳnh Đức (1810-1816)- Lê Chất (1819-1826)

**Hiệp Tổng trấn**
 Lê Chất (1810-1819)- Nguyễn Hữu Thận (1826-?)

**Phó Tổng trấn**
 Phạm Như Đăng (1810?-?)- Trương Phúc Đăng

**Tham khảo**
 Thành trấn date=2008-06-18 
Thể loại:Địa danh cũ Việt Nam
Thể loại:Truyện Kiều

Thể loại:Hoa nương
Thể loại:Văn học cổ điển Việt Nam
Thể loại:Tác phẩm của Nguyễn Du
Thể loại:Thơ lục bát
Thể loại:Tác phẩm thơ chữ Nôm
Lì xì

Phong bì lì xì
Lì xì (tiếng Hán: 利事 / 利市 / 利是) mừng tuổi, Hồng bao (tiếng Hán: 紅包)hay Phong bì đỏ là một tên gọi của tục lệ người lớn hơn mừng tuổi trẻ em trong dịp Tết Nguyên Đán ở các nước Á Đông, đó là lệ đặt tiền vào chiếc phong bì nhỏ có trang trí màu đỏ hoặc vàng son rực rỡ để mừng tuổi trẻ em. Trong phương ngữ miền Nam của tiếng Việt, tiền ấy được gọi là tiền lì xì. Ngày nay người ta thường chuyển khoản bên cạnh việc sử dụng Hồng bao như trước đây.

**Từ nguyên**
Theo tác giả Hạo-nhiên Nghiêm Toản , "lì xì" có gốc là từ 利市 (lợi thị) trong tiếng Trung. Từ này phiên âm kiểu pinyin là lì shì, có ba nghĩa như sau:
#Số lời thu được do mua bán mà ra;
#Tốt lành, có lợi. Tháng Chạp ngày 24, khắp thị tỉnh (nhà quê, kẻ chợ) đều làm lễ rước Na (để khu trừ quỷ dữ), trống (rước) Na đến khắp mọi nhà cầu xin Lợi-thị (Theo Đông-kinh mộng-hoa-lục). - Khi người phụ nữ lấy chồng về đến cửa, mọi người đi theo cũng như người nhà đều xin Lợi-thị (hoặc đồ vật, hoặc là tiền);
#Vận tốt, vận may. Sách "Bắc-mộng-tỏa-ngôn" rằng: "Khi Hạ-hầu Tư chưa gặp thời, còn luân lạc linh đinh, người ta gọi Tư là viên Tú-tài chẳng Lợi-thị";
Trong cả ba trường hợp, "lợi-thị" hay "lì-xì', đều có nghĩa là được lợi, được tiền, được may mắn. Tác giả Hạo-nhiên khẳng định rằng tiền Lì-xì, mừng tuổi, chính là thứ tiền đem lại cái hên, điều lành, điều tốt, cho trẻ em dịp đầu xuân.
Tuy nhiên, giả thuyết rằng chữ Lì-xì là hai chữ Hán-Việt "lợi thị"(利是) đọc theo âm Quảng Đông được chấp nhận rộng rãi. Phong tục tặng phong bao bằng giấy điều trong đựng tiền cũng có ở Trung Quốc. Trong tiếng Quan Thoại, tục này được gọi là 紅包 ("hồng bao"), trong tiếng Quảng Đông là 利是 (lợi thị), 利市 (lợi thị) hoặc 利事 (lợi sự).
Ở Trung Quốc và các cộng đồng người Hoa, tục lệ lì xì không chỉ có trong Tết Nguyên Đán mà còn trong nhiều dịp khác, và cũng không chỉ dành cho trẻ em. Chẳng hạn trong phong tục cưới hỏi, gia chủ thường tặng lì xì cho đội bưng quả (bê tráp), hoặc trong ngày khai trương, sinh nhật..., chủ nhân cũng tặng lì xì cho khách.

**Tham khảo**
Thể loại:Tết
Thể loại:Từ gốc Quảng Đông
Thể loại:Văn hóa Việt Nam
Thể loại:Sản phẩm giấy
Thể loại:Văn hóa Trung Hoa
Thể loại:Cho đi
Thể loại:May mắn
Thể loại:Phát minh của Trung Quốc
Compact tương đối

Một tập  trong không gian tôpô  gọi là compact tương đối nếu bao đóng của , ký hiệu là  hoặc \overline A, là tập compact.
Ví dụ:- Trong không gian , một tập là tập compact tương đối khi và chỉ khi nó bị chặn.- Trong không gian metric đầy đủ, một tập là tập compact tương đối khi và chỉ khi nó hoàn toàn bị chặn (tức là có thể phủ nó bằng một số hữu hạn các hình cầu có cùng bán kính nhỏ tùy ý cho trước. Điều này cũng tương đương với mọi dãy trong tập đó đều có thể rút ra được một dãy con là dãy Cauchy).

**Tham khảo**
Thể loại:Toán học tô pô
Bất đẳng thức Hölder

Trong giải tích toán học, bất đẳng thức Hölder, đặt theo tên nhà toán học Đức Otto Hölder, là một bất đẳng thức cơ bản liên quan đến các không gian Lp: giả sử S là một không gian đo, với 1 ≤ p, q ≤ ∞ thỏa 1/p + 1/q = 1, đồng thời f thuộc Lp(S) và g thuộc Lq(S). Khi đó fg thuộc L1(S) và

Các số p và q nói trên được gọi là liên hợp Holder của lẫn nhau.
Bất đẳng thức Holder được dùng để chứng minh bất đẳng thức tam giác tổng quát trong không gian Lp, bất đẳng thức Minkowski và cũng dùng để chứng minh Lp là đối ngẫu với Lq.

**Các trường hợp đặc biệt đáng chú ý**
 Với p = q = 2 bất đẳng thức Holder trở thành bất đẳng thức Cauchy-Schwarz.- Trong trường hợp không gian Euclide, khi tập S là {1,...,n} với một độ đo kiểu đếm, chúng ta có kết quả là với mọi x, y trong Rn (Cn)
- Nếu S=N với một độ đo kiểu đếm, khi đó chúng ta có được bất đẳng thức Holder cho các dãy từ không gian lp
.- Trong trường hợp không gian của các hàm giá trị phức khả tích, chúng ta có
- Dạng đại số thường gặp trong chứng minh bất đẳng thức của bất đẳng thức Holder- Trong trường hợp không gian xác suất ,  là các ký hiệu để chỉ không gian của các biến ngẫu nhiên với moment p hữu hạn,
, trong đó  là ký hiệu chỉ giá trị kỳ vọng. Bất đẳng thức Holder trở thành
.

**Trường hợp tổng quát**
Có thể chứng minh trường hợp tổng quát sau bằng phương pháp quy nạp
Giả sử  sao cho 

Giả sử . Khi đó ta có  và


**Tham khảo**
.

**Tham khảo**
Thể loại:Bất đẳng thức
Thể loại:Giải tích hàm
Thể loại:Bất đẳng thức xác suất
Thể loại:Bài toán tính toán

Thể loại này bao gồm các bài toán tính toán, các bài toán hình thức trong tin học lý thuyết được nghiên cứu trong ngành lý thuyết độ phức tạp tính toán.
Thể loại:Lý thuyết độ phức tạp tính toán
Thể loại:Bài toán
Thể loại:Vấn đề toán học
Thể loại:Lý thuyết

Thể loại:Khoa học
Thể loại:Dự đoán
Thể loại:Khái niệm
Thể loại:Thể loại cần phân loại vào thể loại con
Thể loại:Trừu tượng
Thể loại:Tư duy phản biện
Tin học lý thuyết

Tin học lý thuyết là tập hợp các chủ đề của khoa học máy tính tập trung vào các khía cạnh toán học trừu tượng của tính toán, chẳng hạn như lý thuyết tính toán (theory of computation), phân tích thuật toán (analysis of algorithms) và ngữ nghĩa của ngôn ngữ lập trình. Tuy bản thân tin học lý thuyết không phải là một chủ đề đơn nhưng các nhà nghiên cứu ngành này lập thành một nhóm con giữa các nhà nghiên cứu khoa học máy tính.

**Phạm vi**
Khó có thể khoanh vùng các lĩnh vực lý thuyết một cách chính xác; Nhóm nghiên cứu đặc biệt về thuật toán và lý thuyết tính toán của tổ chức ACM nói rằng:
"Lĩnh vực tin học lý thuyết được hiểu theo nghĩa rộng để bao hàm các thuật toán, cấu trúc dữ liệu, lý thuyết độ phức tạp tính toán, tính toán phân tán, tính toán song song, VLSI, học máy, sinh học tính toán (computational biology), địa lý tính toán (computational geometry, lý thuyết thông tin (information theory), mật mã học, tính toán lượng tử (quantum computation), đại số và lý thuyết số tính toán, kiểm định và ngữ nghĩa chương trình, lý thuyết ô-tô-mát (automata theory), và nghiên cứu về tính ngẫu nhiên (study of randomness). Các công trình trong lĩnh vực này thường được phân biệt với các lĩnh vực khác bởi nhấn mạnh vào kỹ thuật và tính chặt chẽ toán học."

**Các tổ chức**
 EATCS, the European Association for Theoretical Computer Science  - Hội Tin học Lý thuyết châu Âu- SIGACT- Dutch Association for Theoretical Computer Science  - Hội Tin học Lý thuyết Hà Lan

**Tạp chí**
 Information and Computation- Theory of Computing (open access journal)- Formal Aspects of Computing- Journal of the ACM- SIAM Journal on Computing- SIGACT News- Theoretical Computer Science-   Theory of Computings Sytemsbot=InternetArchiveBot - Chicago Journal of Theoretical Computer Science

**Hội thảo**
 Annual ACM Symposium on the Theory of Computing (STOC)- IEEE Symposium on Foundations of Computer Science (FOCS)- Symposium on Discrete Algorithms (SODA)- International Colloquium on Automata, Languages and Programming (ICALP)- Symposium on Theoretical Aspects of Computer Science (STACS)- European Symposium on Algorithms (ESA)- Algebraic Methodology And Software Technology (AMAST)- IEEE Symposium on Logic in Computer Science (LICS)-  International Symposium on Algorithms and Computation(ISAAC)- (APPROX/RANDOM)- Computational Complexity Conference (CCC)- Symposium on Parallelism in Algorithms and Architectures (SPAA)- Computability in Europe (CiE)

**Xem thêm**
 Khoa học hình thức (Formal science)

**Tham khảo**
  SIGACT home page-  Challenges for Theoretical Computer Science, draft of 2000 date=2009-02-22 

**Liên kết ngoài**
  SIGACT directory of additional theory links-  Usenet comp.theory
Martin Cooper

Dr. Martin Cooper
Martin Cooper là người phát minh ra điện thoại di động. Tiến sĩ Cooper là giám đốc điều hành (CEO) và người sáng lập ra ArrayComm, một công ty hoạt động trong công nghệ anten thông minh và cải tiến mạng không dây.
Tiến sĩ Martin Cooper, nguyên là một giám đốc bộ phận các hệ thống ở Motorola, được cho là người phát minh ra chiếc máy thu phát cầm tay đầu tiên và là người đầu tiên thực hiện một cuộc gọi một chiếc điện thoại di động vào tháng 4 năm 1973. Cuộc gọi đầu tiên ông thực hiện là với kỳ phùng địch thủ của mình, Joel Engel, Giám đốc nghiên cứu của Bell Labs.

**Tham khảo**

**Liên kết ngoài**
  Hỏi và Đáp với Martin Cooper date = ngày 19 tháng 8 năm 2006-  Cuộc trò chuyện với người đàn ông đằng sau những chiếc điện thoại di động Phỏng vấn của BBC với Martin Cooper-  ArrayComm
Cooper, Martin
Thể loại:Sinh năm 1928
Thể loại:Nhân vật còn sống
Thể loại:Người Chicago
Thể loại:Nhà phát minh Mỹ thế kỷ 20
Thể loại:Thành viên Học viện Kỹ thuật Quốc gia Hoa Kỳ
Toyoda Sakichi

(sinh ngày 14 tháng 2 năm 1867 - mất ngày 30 tháng 10 năm 1930) là một nhà phát minh và nhà tư bản công nghiệp người Nhật. Là con trai của một thợ mộc nghèo, Toyoda được gọi là "Vua của các nhà phát minh Nhật Bản".

**Cuộc đời**
Toyoda Sakichi thường được nhắc đến như là cha đẻ của cuộc cách mạng công nghiệp của Nhật Bản. Ông cũng là người sáng lập của Tập đoàn Công nghiệp Toyota.
Ông sinh tại một làng quê nhỏ tại tỉnh Shizuoka trong một gia đình thợ thủ công nghèo. Bố ông làm thợ mộc, còn mẹ ông ở nhà dệt vải. Làng quê của Toyoda Sakichi là một làng nghề dệt vải có truyền thống của Nhật Bản. Đến cổng làng là có thể nghe rõ tiếng máy dệt chạy khắp làng. Cha của Toyoda Sakichi là một người thợ mộc khéo tay và khá nổi tiếng trong làng.
Ông đã phát minh ra nhiều thiết bị trong ngành dệt. Phát minh nổi tiếng nhất của ông là khung cửi tự động chạy bằng điện (automatic power loom), trong đó ông thực hiện theo nguyên tắc Jidoka (tự động hóa tự trị - autonomous automation). Nguyên tắc Jidoka - Tự động hoá, mang ý nghĩa theo đó máy móc sẽ tự ngưng hoạt động nếu có vấn đề xảy ra, sau này trở thành một phần của hệ thống sản xuất Toyota Production System.
Toyoda đã phát triển nên khái niệm 5 Whys: Khi có vấn đề xảy ra, hãy hỏi "Tại sao" năm lần để cố gắng tìm ra nguồn gốc của vấn đề, sau đó đặt thứ gì đó vào vị trí để ngăn chặn các vấn đề xảy ra. Khái niệm này được sử dụng ngày nay như một phần của việc áp dụng các phương pháp sản xuất tinh gọn nhằm giải quyết vấn đề, nâng cao chất lượng và giảm chi phí.
Năm 1934 công ty Toyota đã công bố chiếc xe ôtô đầu tiên, mở đường cho kỷ nguyên huy hoàng của tập đoàn Toyota sau này.
Năm 2005, với doanh thu gần 180 tỉ USD, Toyota là tập đoàn duy nhất của Nhật Bản và cũng là duy nhất của châu Á nằm trong "Top ten" của những tập đoàn có quy mô lớn nhất. Hiệu quả kinh doanh của Toyota được thấy rõ nhất ở con số lợi nhuận khổng lồ lên tới 11 tỉ USD trong năm 2005.

**Cây phả hệ**
Các con cháu của Toyoda Sakichi, người thành lập Toyoda Automatic Loom Works,  từ lâu đã nắm giữ các vị trí quản trị cấp cao của Toyota Motors, được thành lập vào năm 1937. Toyoda Shoichiro được sinh ra tại Nagoya ngày 17 tháng 2 năm 1925, là con trai của Toyoda Kiichiro, người sẽ trở thành chủ tịch của Toyota từ năm 1941 đến năm 1950; và theo đúng trình tự, Toyoda Shoichiro trở thành chủ tịch của công ty từ năm 1982 đến năm 1992. Người con trai 52 tuổi của Shoichiro, Toyoda Akio, là ứng cử viên trưởng cho chiếc ghế chủ tịch khi Watanabe Katsuaki từ nhiệm vị trí này để trở thành Chủ tịch hội đồng quản trị; và kỳ vọng này đã được khẳng định vào năm 2009.

**Tham khảo**

**Liên kết ngoài**
 Ông tổ của tập đoàn Toyota-  Tiểu sử Toyoda Sakichi
Thể loại:Doanh nhân người Nhật
Thể loại:Toyota
Thể loại:Người Shizuoka
Thể loại:Nhà phát minh Nhật Bản
Quảng Đức (tỉnh)

Quảng Đức là một tỉnh cũ của Việt Nam Cộng hòa nằm trên cao nguyên Mơ Nông.

**Địa lý**
Tỉnh Quảng Đức nằm ở phía tây nam vùng Tây Nguyên, có vị trí địa lý:
*Phía bắc giáp tỉnh Đắk Lắk
*Phía đông giáp tỉnh Tuyên Đức
*Phía nam giáp tỉnh Lâm Đồng và Phước Long
*Phía tây giáp Campuchia.
Tỉnh lỵ là thị xã Gia Nghĩa. Tỉnh Quảng Đức với diện tích 5.958 km².
Tính đến năm 1971, dân số tỉnh Quảng Đức là 38.305 người, đa số là người Thượng: bao gồm Ê-đê, Xtiêng, Cơ ho và M'Nông.
Vị dân biểu đại diện cho Tỉnh Quảng Đức của Hạ Nghị Viện chế độ Việt Nam Cộng Hòa nhiệm kỳ cuối cùng trước 30-04-1975 là ông Vương Sơn Thông.

**Lịch sử**
Tỉnh Quảng Đức được thành lập theo Sắc lệnh số 24-NV ngày 23 tháng 1 năm 1959 của chính quyền Việt Nam Cộng Hòa, trên cơ sở tách gần như toàn bộ quận Đăk Song (trừ tổng Đăk Lao ở phía bắc) và một phần quận Lăk từ tỉnh Darlac (Đắk Lắk), cùng với một phần nhỏ tỉnh Phước Long và tỉnh Lâm Đồng.
Năm 1962, lại tách thêm một phần tỉnh Đắk Lắk nhập vào tỉnh Quảng Đức.
Theo quan điểm của các sắc tộc người Thượng thì việc chính phủ thành lập tỉnh Quảng Đức năm 1959 có dụng ý tạo điều kiện đưa người Kinh, nhất là người Bắc di cư lên định cư miền núi.
Tỉnh Quảng Đức có 3 quận, 4 tổng, 14 xã (năm 1960): 
*Quận Đức Lập có 6 xã với 1 tổng:
**Tổng Đức Minh: 2 xã và 4 xã lẻ
**Quận lỵ: Đức Minh (Đắk Mil) sau đổi là Tư Minh
*Quận Kiến Đức có 4 xã với 2 tổng:
**Tổng Kiến Minh: 2 xã 
**Tổng Kiến Đạo: 2 xã 
**Quận lỵ: Sùng Đức (B'Pré)
*Quận Khiêm Đức có 4 xã với 1 tổng:
**Tổng Sơn Khê: 2 xã và 2 xã lẻ. 
**Quận lỵ: Tamoung.
Sau lập thêm cơ sở phái viên hành chính Đức Xuyên (3 xã).
Tháng 2 năm 1976, tỉnh Quảng Đức lại nhập vào tỉnh Đắk Lắk.
Năm 2003, tỉnh Đắk Lắk lại được chia thành hai tỉnh Đắk Lắk và Đắk Nông. Địa bàn tỉnh Quảng Đức cũ gần như là địa bàn tỉnh Đắk Nông ngày nay; ngoại trừ huyện Cư Jút vốn trước năm 1975 thuộc quận Ban Mê Thuột của tỉnh Darlac.

**Tham khảo**
Whitfield, D. Historical and Cultural Dictionary of Vietnam. Metuchen, NJ: The Scarecrow Press, 1976.
*Po Dharma. Champaka 7: Từ Mặt trận FLM đến phong trào FULRO. San Jose, CA: Office International of Champa, 2007. 
Thể loại:Tỉnh cũ Việt Nam
Thể loại:Hành chính Việt Nam Cộng hòa
Thể loại:Hành chính Đắk Lắk
Thể loại:Hành chính Đắk Nông
Thể loại:Công trình biển

Thể loại:Giao thông đường thủy
Thể loại:Công trình xây dựng
Thể loại:Nước và môi trường
Thể loại:Công trình hạ tầng đường thủy
Thể loại:Xây dựng
Thể loại:Bờ biển
Liên tục đồng bậc

==Định nghĩa**
Một họ F các ánh xạ từ 1 không gian topo X vào 1 không gian metric (Y,d) gọi là đồng bậc liên tục tại p thuộc X nếu với  cho trước, tồn tại 1 lân cận U của p sao cho 
với mọi f thuộc F và với mọi x thuộc U.
Họ F gọi là liên tục đồng bậc nếu nó liên tục đồng bậc tại mọi điểm thuộc X.

**Ví dụ**
Nếu F là một họ hữu hạn các ánh xạ liên tục thì F là một họ liên tục đồng bậc.

**Tính chất**
Từ định nghĩa ta thấy nếu F là họ ánh xạ liên tục đồng bậc thì mọi ánh xạ f thuộc F là liên tục. Điều ngược lại không đúng.
Ví dụ: 
F gồm các hàm liên tục nhưng F không liên tục đồng bậc.

**Xem thêm**
Trù mật

**Tham khảo**

**Liên kết ngoài**
Thể loại:Toán học tô pô
Thể loại:Giải tích toán học
Thể loại:Tướng lĩnh Việt Nam

Thể loại này liệt kê các nhân vật quân sự trong lịch sử Việt Nam thời kỳ hiện đại.
Thể loại:Nhân vật quân sự Việt Nam
Việt Nam
Thể loại:Sĩ quan Việt Nam
Bất đẳng thức Minkowski

Trong giải tích toán học, bất đẳng thức Minkowski dẫn đến kết luận rằng các không gian Lp là các không gian vector định chuẩn. Giả sử S là một không gian đo, giả sử 1 ≤ p ≤ ∞, đồng thời f và g là các phần tử của Lp(S) Khi đó f + g cũng thuộc Lp(S), và chúng ta có

dấu đẳng thức xảy ra chỉ khi f và g phụ thuộc tuyến tính.
Bất đẳng thức Minkowski chính là bất đẳng thức tam giác trong Lp(S). Có thể chứng minh nó bằng cách dùng bất đẳng thức Holder.
Cũng như bất đẳng thức Holder, có thể đưa bất đẳng thức Minkowski về các trường hợp đặc biệt cho các dãy và các vector bẳng cách dùng khái niệm độ đo kiểu đếm được:

với mọi số thực (hay số phức) x1,..., xn, y1,..., yn và n là số chiều của S.

**Tham khảo**
Minkowski
Thể loại:Giải tích hàm
Thể loại:Lý thuyết độ đo
Sophus Lie

Sophus Lie
Marius Sophus Lie (17 tháng 12 năm 1842 - 18 tháng 2 năm 1899) là một nhà toán học người Na Uy. Ông là người tạo ra lý thuyết của các đối xứng liên tục, và ứng dụng nó và việc nghiên cứuhình học và phương trình đạo hàm riêng.
Công cụ chính của Lie, và là một trong những thành tựu vĩ đại nhất của ông, là sự khám phá ra các nhóm biến đổi liên tục (bây giờ được gọi theo tên ông là nhóm Lie) có thể được hiểu tốt hơn bằng cách "tuyến tính hóa" chúng, và nghiên cứu các trường vectơ được tạo ra từ chúng (những khái niệm gọi là các phần tử phát sinh cực nhỏ). Các phần tử phát sinh là đối tượng cho một dạng tuyến tính hóa của luật nhóm, bây giờ gọi là toán tử giao hoán (commutator bracket), và có cấu trúc ngày nay gọi là một đại số Lie.

**Xem thêm**
Đại số Lie
*Đạo hàm Lie
*Nhóm Lie
*Định lý Carathéodory-Jacobi-Lie

**Tham khảo**

**Liên kết ngoài**
id=Lie
Lie, Marius Sophus
Lie, Marius Sophus
Thể loại:Nhà toán học thế kỷ 19
Thể loại:Viện sĩ Viện Hàn lâm Khoa học Pháp
Thể loại:Sinh năm 1842
Thể loại:Mất năm 1899
Thể loại:Nhà lý thuyết nhóm
Ngành Thông

Ngành Thông (danh pháp khoa học: Pinophyta) nhiều tài liệu tiếng Việt cũ còn gọi là ngành Hạt trần (Gymnospermae), gồm các loài cây thân gỗ lớn hoặc nhỡ, ít khi là cây bụi hoặc dây leo thân gỗ. Lá hình vảy, hình kim, hình dải, ít khi hình quạt, hình trái xoan hoặc hình lông chim.
Cơ quan sinh sản thường đơn tính, có cấu tạo nón khác với cấu tạo hoa, gồm các lá bào tử xếp xoắn ốc hoặc xếp vòng trên một trục ngắn có dạng nón. Thụ phấn nhờ gió, ít khi nhờ côn trùng. Lá noãn mở không bao hạt, mang một đến nhiều lá noãn ở nách hoặc mép. Hạt có phôi thẳng, mang một đến nhiều lá mầm.
Gỗ tương đối mềm, chỉ có quản bào chưa có mạch gỗ và sợi gỗ.

**Nguồn gốc tiến hóa**
Thực vật ngành Thông phát sinh từ kỷ Devon trong đại Cổ Sinh, phát triển mạnh ở kỷ Than đá, kỷ Permi và giảm dần từ kỷ Tam điệp trong đại Trung Sinh. Nhiều loài hiện đã tuyệt diệt hoặc thu hẹp phạm vi phân bố. Người ta tìm thấy nhiều mẫu hóa thạch của thực vật ngành thông có niên đại cacbon từ khoảng 300 triệu năm trở lại đây. Những loài còn xuất hiện ngày này cũng có hóa thạch tìm được có niên đại tới 60-120 triệu năm và người ta gọi chúng là những loài thực vật cổ.

**Hệ thống phân loại**
Ngày nay, theo nhiều quan điểm phân loại khác nhau thì ngành thông có khoảng 6-8 họ với khoảng 65-70 chi và 600-650 loài. Bảy họ thường được công nhận như trong biểu đồ ở bên phải. Tuy nhiên, trong một vài diễn giải thì họ Cephalotaxaceae có thể được gộp trong họ Taxaceae, còn một số tác giả thì lại công nhận thêm cả Phyllocladaceae như là một họ độc lập với Podocarpaceae (trong biểu đồ này nó được gộp trong Podocarpaceae). Họ Taxodiaceae tại đây được coi là một phần của họ Cupressaceae, nhưng nó đã từng được công nhận rộng rãi trong quá khứ và có thể vẫn còn được ghi nhận trong nhiều sách hướng dẫn thực địa. Một hệ thống phân loại mới và trình tự tuyến tính dựa trên các dữ liệu phân tử có thể tìm thấy trong bài báo của Christenhusz và ctv (2011).
Trong ngành Thông trước đây người ta phân thành 7 bộ, nhưng qua kiểm tra gen thì các bộ Taxales, Araucariales, và Cupressales được xếp vào bộ Thông (Pinales). Bộ Thông cùng với 3 bộ khác là Cordaitales, Vojnovskyales và Voltziales tạo thành ngành Thông.

**Xem thêm**
 Cây thông Giáng sinh là cây thông được trang hoàng để trưng bày trong dịp lễ Giáng Sinh theo phong tục của người Ki tô giáo.

**Hình ảnh**

**Chú thích**

**Liên kết ngoài**
 Coniferophyta- taxon=Coniferophyta- 4062
Thông, ngành
Thông, ngành
Thể loại:Ngành Thông