- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Đặc tả hình thức - Các cơ sở của đặc tả
Thực hiện các phép toán trên mệnh đề. Lập bảng chân trị của 1 dạng mệnh đề. Chứng minh dạng mệnh đề là hằng đúng/sai. Chứng minh 2 dạng mệnh đề tương đương logic. Chứng minh các phép suy diễn trên mệnh đề.
68 p dtu 11/10/2012 218 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
27 p dtu 11/10/2012 223 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Nội dung môn học
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
15 p dtu 11/10/2012 218 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Cơ sở dữ liệu - Đại số quan hệ
Cơ sở dữ liệu (viết tắt CSDL; tiếng Anh là database) được hiểu theo cách định nghĩa kiểu kĩ thuật thì nó là một tập hợp thông tin có cấu trúc. Tuy nhiên, thuật ngữ này thường dùng trong công nghệ thông tin và nó thường được hiểu rõ hơn dưới dạng một tập hợp liên kết các dữ liệu, thường đủ lớn để lưu trên một thiết bị lưu trữ như...
34 p dtu 11/10/2012 296 2
Từ khóa: Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu
Cơ sở dữ liệu - Xử lý câu truy vấn và tối ưu hóa
Cơ sở dữ liệu (viết tắt CSDL; tiếng Anh là database) được hiểu theo cách định nghĩa kiểu kĩ thuật thì nó là một tập hợp thông tin có cấu trúc. Tuy nhiên, thuật ngữ này thường dùng trong công nghệ thông tin và nó thường được hiểu rõ hơn dưới dạng một tập hợp liên kết các dữ liệu, thường đủ lớn để lưu trên một thiết bị lưu trữ như...
26 p dtu 11/10/2012 279 2
Từ khóa: Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu
Cơ sở dữ liệu - Chuẩn hóa CSDL quan hệ
Chuẩn hóa giúp người thiết kế CSDL xác định được lược đồ quan hệ tốt nhất. Nó cung cấp một khung sườn để phân tích các lược đồ quan hệ dựa trên khóa và các phụ thuộc hàm giữa các khóa của chúng. Chuẩn hóa dựa trên khái niệm dạng chuẩn: 1NF, 2NF, 3NF, BCNF, 4NF, 5 NF. Chuẩn hóa đảm bảo các thuộc tính không phụ thuộc trực tiếp vào khóa...
44 p dtu 11/10/2012 288 2
Từ khóa: Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu
Cơ sở dữ liệu - Relational Model
Relational data model: represents a database in the form of relations - 2-dimensional table with rows and columns of data. A database may contain one or more such tables. A relation schema is used to describe a relation Relation schema: R(A1, A2,…, An) is made up of a relation name R and a list of attributes A1, A2, . . ., An. Each attribute Ai is the name of a role played by some domain D in the relation schema R. R is called the name of...
55 p dtu 11/10/2012 209 2
Từ khóa: Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu
Cơ sở dữ liệu : Có liên quan luận lý (logically related): dữ liệu mô tả một lãnh vực mà nhóm người sử dụng quan tâm và được dùng để trả lời các câu hỏi liên quan đến lãnh vực này. Thông tin là dữ liệu đã được xử lý để làm tăng sự hiểu biết của người sử dụng. Hệ quản trị cơ sở dữ liệu (tiếng Anh: Database Management System - DBMS), là...
214 p dtu 18/09/2012 197 2
Từ khóa: công nghệ thông tin, hệ cơ sở dữ liệu, cơ sở dữ liệu, lập trình máy tính, quản trị máy tính, kỹ năng máy tính
Giáo trình “Các hệ quản trị cơ sở dữ liệu
GIỚI THIỆU MICROSOFT ACCESS Microsoft Access là một Hệ Quản Trị Cơ Sở Dữ Liệu (QTCSDL) tương tác người sử dụng chạy trong môi trường Windows. Microsoft Access cho chúng ta một công cụ hiệu lực và đầy sức mạnh trong công tác tổ chức, tìm kiếm và biểu diễn thông tin. Microsoft Access cho ta các khả năng thao tác dữ liệu, khả năng liên kết và công cụ truy...
113 p dtu 16/05/2012 257 2
Từ khóa: quản trị dữ liệu, hệ thống dữ liệu, công nghệ thông tin, tin học văn phòng, cơ sở dữ liệu, kỹ thuật lập trình, tìm kiếm thông tin, lưu trữ dữ liệu
Luận văn truy cập CSDL bằng Web
Trong thời kỳ của kỷ nguyên thông tin hiện nay, vấn đề trao đổi thông tin là vô cùng quan trọng. Nhu cầu trao đổi thông tin gia tăng khi nền kinh tế ngàu càng phát triển. Do sự bùng nổ về thông tin như vậy người ta đã và đang rất quan tâm sử dụng công nghệ tin học đặc biệt là công nghệ Internet, Intranet
99 p dtu 16/05/2012 246 2
Từ khóa: báo cáo tốt nghiệp, bài báo cáo thực tập, Cơ sở dữ liệu, truy cập cơ sở dữ liệu, hệ thống web, chương trình CGI
Giới thiệu về UNIX- Một số thao tác cơ bản trên UNIX
UNIX là một hệ điều hành phổ biến, trước đây chúng được sử dụng trong các minicomputer và các workstation trong các công sở nghiên cứu khoa học. Ngày nay UNIX đã trở thành hệ điều hành được dùng cho cả máy tính cá nhân và phục vụ công việc kinh doanh nhờ khả năng mở của nó. UNIX giống như các hệ điều hành khác nó là lớp nằm giữa phần cứng và...
108 p dtu 16/05/2012 197 2
Từ khóa: hệ điều hành unxix, linux, hệ thống máy tính, phần cứng máy tính, ứng dụng máy tính, thao tác cơ bản
Giáo trình hệ các chương trình ứng dụng
Tài liệu về các hệ ứng dụng tin học, ứng dụng windown, là tài liệu bổ ích cho các bạn học công nghệ thông tin, Microsoft đã rất cố gắng nhằm hoàn thiện và bổ sung thêm nhiều tính năng mới tiện dụng hơn cho bộ phần mềm Microsoft Office. Nhưng phần lớn “sức mạnh tiềm ẩn” của MS Office - những lựa...
154 p dtu 16/05/2012 214 2
Từ khóa: Microsoft office, giáo trình, hệ các chương trình ứng dụng, thao tác cơ bản Windows, chức năng nâng cao Word 2000, tiện ích khác Excel