|
Dòng
|
Nội dung
|
|
1
|
|
|
2
|
|
|
3
|
Giải tích số: Thuật toán - Chương trình Pascal / Phạm Phú Triêm, Nguyễn Bường H. : Đại học Quốc gia , 2001218tr ; 21 cmSách gồm 4 chương:1. Một số phương pháp tính toán trong đại số tuyến tính; 2.Xấp xỉ nghiệm của phương trình và hệ phương trình phi tuyến; 3.Nội suy và xấp xỉ hàm số; 4. Xấp xỉ đạo hàm, tích phân và nghiệm phương trình vi, tích phân.
Đầu mục:2
(Lượt lưu thông:0)
Tài liệu số:0
(Lượt truy cập:0)
|
|
4
|
Lý thuyết ngôn ngữ hình thức và Otomat / Đặng Huy Ruận H. : Đại học Quốc gia , 2005204tr ; 24 cmLý thuyết ngôn ngữ hình thức và ôtômat đóng một vai trò rất quan trọng trong các cơ sở toán học của tin học. Ngôn ngữ hình thức được sử dụng trong việc xây dựng các ngôn ngữ lập trình, lý thuyết về các chương trình dịch. Các ngôn ngữ hình thức tạo thành một công cụ mô tả đối với các mô hình tính toán cả cho dạng thông tin vào-ra lẫn kiểu thao tác. Lý thuyết ngôn ngữ hình thức, chính vì thực chất của nó là một lĩnh vực khoa học liên ngành; nhu cầu mô tả hình thức văn phạm được phát sinh trong nhiều ngành khoa học khác nhau từ ngôn ngữ học đến sinh vật học. Do đó những khía cạnh thích hợp của lý thuyết ngôn ngữ hình thức sẽ có tầm quan trọng quyết định trong các giáo trình về Lý thuyết ngôn ngữ hình thức và ôtômat. Sách gồm 3 chương: Văn phạm và ngôn ngữ. Ngôn ngữ chính qui và ôtômat hữu hạn. Ngôn ngữ phi ngữ cảnh và ôtômat đẩy xuống.
Đầu mục:3
(Lượt lưu thông:0)
Tài liệu số:0
(Lượt truy cập:0)
|
|
5
|
Nhập môn sô học thuật toán / Hà Huy Khoái H. : Khoa học , 1997156tr ; 21 cmThuật toán. Số nguyên. Các hàm số học. Thặng dư bình phương. Trường và đa thức. Vài ứng dụng vào lý thuyết mật mã. Đường cong Elliptic
Đầu mục:6
(Lượt lưu thông:1)
Tài liệu số:0
(Lượt truy cập:0)
|
|
|
|
|