... đắn chươngtrìnhJava đa luồng Một phương pháp sử dụng logic Hoare Kiểm chứng tính đắn chươngtrìnhJava đa luồng sử dụng logic Hoare yêu cầu ta cần phải chứng minh chươngtrình bổ sung thích ... bất biến chươngtrình rõ thích Mộtchươngtrình bổ sung thích gọi phác thảo chứng minh chươngtrình khẳng định Ta chăm vào bổ sung để biểu diễn động lực Các ngữ nghĩa toán tử ngôn ngữ lập trình ... tính chươngtrình gồm có ba bước Đầu tiên, thuộc tính yêu cầu phải rõ bổ sung thích chương trình, nghĩa là, bổ sung chươngtrình với biến phụ trợ không ảnh hưởng đến luồng điều khiển chương trình...
... đắn chươngtrìnhJava đa luồng Một phương pháp sử dụng logic Hoare Kiểm chứng tính đắn chươngtrìnhJava đa luồng sử dụng logic Hoare yêu cầu ta cần phải chứng minh chươngtrình bổ sung thích ... bất biến chươngtrình rõ thích Mộtchươngtrình bổ sung thích gọi phác thảo chứng minh chươngtrình khẳng định Ta chăm vào bổ sung để biểu diễn động lực Các ngữ nghĩa toán tử ngôn ngữ lập trình ... tính chươngtrình gồm có ba bước Đầu tiên, thuộc tính yêu cầu phải rõ bổ sung thích chương trình, nghĩa là, bổ sung chươngtrình với biến phụ trợ không ảnh hưởng đến luồng điều khiển chương trình...
... tập Tạo giao diện sử dụng chươngtrìnhJava để hiển thị bình phương luỹ thừa số Tạo gói viết hàm, hàm trả giai thừa đối số truyền đến chươngtrình Viết chươngtrình cách sử dụng hàm lớp Math để ... tin lại Aptech 9/2002 59 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java Viết chươngtrình mà nhập vào số điện thoại dòng lệnh, chuỗi có dạng (091) 022-6758080 Chươngtrình hiển thị mã quốc ... Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java 4.7.4 Lớp StringTokenizer Một lớp StringTokenizer sử dụng để tách chuỗi thành phần tử token Ví dụ, từ câu coi token Tuy...
... khố, hai tên năm hiển thị điểm Chươngtrình 4.12 import java. util.*; public class HashTableImplementer 50 Aptech 9/2002 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java { public static void main(String ... ln tạo tập giá trị giống Mặt khác, hữu dụng để tạo trình tự giống số random Điều có ý nghĩa việc gỡ rối chươngtrìnhMột tạo số ngẫu nhiên tạo ra, bạn sử dụng phương thức sau để truy lục giá trị ... System.out.println((String)enum.nextElement()); } } Q trình hiển thị kết mơ tả đây: Aptech 9/2002 51 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java Hình 4.4 Q trình hiển thị kết HashTableImplementer...
... gian thực chương trình) Lớp Runtime gói gọn mơi trường Runtime Lớp sử dụng cho việc quản lý nhớ, việc thực thi q trình xử lý gia tăng Mỗi chươngtrìnhJava có thể đơn lớp này, phép ứng dụng giao ... ứng dụng khơng thể tạo minh dụ riêng thuộc lớp Tuy nhiên, tạo minh dụ hành lúc thực chươngtrình từ việc dùng phương thức Runtime().garbage Bây giờ, biết việc thu gom liệu khơng thích hợp Java ... thu thập liệu vơ nghĩa Để định tổng số lượng nhớ sẵn có chươngtrình Thực thichươngtrình phân cách tên gọi Bảng 4.4 Lớp Runtime Chươngtrình 4.7 class RuntimeDemo { public static void main(String...
... chuỗi thời điểm 4.6.2 Chuỗi mặc định (String pool) MộtchươngtrìnhJava chứa nhiều chuỗi chữ “String Pool” đại diện cho tất chữ tạo chươngtrình Mỗi chuỗi chữ tạo, String Pool tìm kiếm để nhìn ... Ví dụ: String strname = Java Language”; boolean flag = strname.startsWith( Java ); Biến “flag” chứa giá trị true endsWith( ) 38 Aptech 9/2002 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java ... StringBuffer với chươngtrình append() Phương thức nối thêm chuỗi mảng ký tự vị trí cuối đối tượng StringBuffer Ví dụ: Aptech 9/2002 41 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java StringBuffer...
... khác: Mã nguồn chươngtrình phải tồn thư mục với gói định nghĩa người sử dụng Để cho chươngtrìnhJava khác sử dụng gói đó, khai báo chúng vào đoạn mã nguồn Để nhập lớp ta dùng: import java. mypackage.Calculate; ... mục javac –d c:\temp calculate .java Chươngtrình biên dịch tạo thư mục gọi “mypackage” thư mục temp, lưu trữ tập tin calculate.class vào thư mục Ví dụ sau biểu diễn cách sử dụng gói: Chươngtrình ... Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java java.io Bao gồm lớp để trợ giúp cho bạn tất thao tác nhập xuất java. applet Bao gồm lớp để bạn cần thực thi applet trình duyệt java. awt...
... lẻ Viết chươngtrình hiển thị tổng bội số nằm 100 Viết chươngtrình để cộng bảy số hạng dãy sau : 1!+2!+3!…………… Aptech 9/2002 27 Chươngtrình đào tạo kỹ thuật viên quốc tế Core JavaChương Các ... int counter=5; } Chươngtrình dịch sau: javac myinterface .java Một giao diện thực với từ khố “implement” Trong trường hợp trên, giao diện cho phép ứng dụng mối quan hệ “is a” Ví dụ: class demo ... thực hay nhiều lớp Một tập tin nguồn Java chứa tất bốn phần nội sau đây: Một câu lệnh khai báo gói (package) Những câu lệnh nhập thêm gói lớp khác vào chươngtrình (import) Một khai báo lớp cơng...
... phù hợp với điều kiện Vòng lặp cấu trúc chươngtrình giúp bạn dùng để thực việc lặp lại hành động thực thichươngtrình mà khơng cần viết lại đoạn chươngtrình nhiều lần Điều khiển rẻ nhánh Mệnh ... False Đoạn chươngtrình sau kiểm tra xem số chẵn hay lẻ hiển thị thơng báo phù hợp Chươngtrình 3.7 Class CheckNumber { public static void main(String args[] Aptech 9/2002 21 Chươngtrình đào ... trị False Đoạn chươngtrình sau xác định giá trị biến ngun hiển thị ngày tuần thể dạng chuỗi Để kiểm tra giá trị nằm khoảng đến chươngtrình thơng báo lỗi nằm ngồi phạm vi Chươngtrình 3.8 Class...
... lên Ví dụ a++ tương đương với a= a+1 Giảm dần Giảm giá trị biến đơn vị Ví dụ a tương đương với a=a-1 Cộng gán giá trị Aptech 9/2002 15 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java -= ... Aptech 9/2002 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java System.out.println(“Value of z after operation is”+z); Z=x/y; System out.println(“x/y is” +z); } } Đầu chươngtrình p+q is 17 ... nhỏ b , ngựơc lại (lớn trả ‘False’ Bảng 3.6 Các tốn tử quan hệ Đoạn chươngtrình sau mơ tả việc sử dụng tốn tử quan hệ Chươngtrình 3.6 class RelationalOp { public static void main (String args[]){...
... khơng thực thực phép gán Ở ví dụ giá trị thập phân sau dấu phảy bị 3.6 Các biến Các ứng dụng sử dụng biến để lưu trữ liệu cần thiết liệu tạo q trình thực thichươngtrình Các biến xác định tên ... (Array) Mơ tả Tập hợp liệu loại.Ví dụ : tên sinh viên Aptech 9/2002 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java Lớp (Class) Tập hợp biến phương thức.Ví dụ : lớp “Sinhviên” chứa tồn chi ... Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java Kiểu liệu Độ dài theo số bit Phạm vi Mơ tả byte -128 đến 127 Số liệu kiểu byte loại điển hình dùng để lưu trữ giá tri byte Chúng sử dụng...
... Chúng ta thảo luận chi tiết chương 3.2 ChươngtrìnhJAVA Chúng ta chươngtrìnhJava cổ điển với ứng dụng đơn giản Chươngtrình sau cho phép hiển thị thơng điệp: Chươngtrình 3.1 // This is a simple ... 9/2002 Chươngtrình đào tạo kỹ thuật viên quốc tế Core Java Để biên dịch mã nguồn, ta xử dụng trình biên dịch javaTrình biên dịch xác định tên file nguồn dòng lệnh mơ tả đây: C:\jdk1,2,1\bin>javac ... khiển định việc thực thi phần chươngtrình Chúng định trật tự việc thực thichươngtrình số lần chươngtrình cần thực Giá trị nạp vào biến định hướng cho chươngtrình hoạt động Chúng ta bắt đầu...
... sử dụng dụng cụ thí nghiệm - Hiểu tác dụng, cấu tạo, sử dụng bảo quản dụng cụ có PTN - Biết lựa chọn dụng cụ cần thiết chuẩn bị cho thí nghiệm cách sử dụng dụng cụ - Lắp dụng cụ vần thiết cho thí ... thiết cho thí nghiệm tiến hành chươngtrình 31 - Cách sử dụng bảo quản hoá chất trường phổ thông - Lựa chọn hoá chất thay để đảm bảo yêu cầu thí nghiệm Ví dụ: KN sử dụng đèn cồn, sử dụng bảo ... hiểu tác dụng với phận, biết phân tích – sai cách lắp - Có ý thức cải tiến dụng cụ thí nghiệm: thay dụng cụ PTN cho phù hợp với điều kiện trường phổ thông Ví dụ: KN sử dụng bảo quản dụng cụ thuỷ...
... ráp dụng cụ thí nghiệm trước toàn thể lớp bước rõ ràng để em nắm bước tiến hành thí nghiệm, sau phát dụng cụ cho nhóm, yêu cầu nhóm lắp ráp, sử dụng tiến hành thí nghiệm - Việc quan sát thí nghiệm ... nên thí nghiệm có sử dụng nhiều hoá chất độc hại đòi hỏi giáo viên phải làm thí nghiệm Loại thí nghiệm gọi thí nghiệm biểu diễn - Để đảm bảo cho thí nghiệm thành công, giáo viên phải làm thí ... Khử hoá chất độc, dư - Rửa dụng cụ thí nghiệm II CÁC BIỆN PHÁP THỰC HIỆN: Mức độ nội dung chươngtrình hoá học lớp theo chươngtrình SGK đổi khảo sát định tính tượng trình hoá học tự nhiên, đời...
... Ví dụ cách viết sử dụng chươngtrình (tiết 1) Cách viết sử dụng thủ tục Cách viết sử dụng hàm a Cấu trúc hàm § 18 Ví dụ cách viết sử dụng chươngtrình (tiết 1) Củng cố Cấu trúc vị trí chươngtrình ... 18 Ví dụ cách viết sử dụng chươngtrình (tiết 1) Cách viết sử dụng thủ tục a Cấu trúc thủ tục b Ví dụ thủ tục Viết chươngtrình mô tả đầy đủ thủ tục Ve_Hcn với tham số chdai, chrong sử dụng thủ ... Ve_Hcn; end Cấu trúc chươngtrình chính: [] ?1: Vị trí thủ tục nằm phần chươngtrình § 18 Ví dụ cách viết sử dụng chươngtrình (tiết 1) Cách viết sử dụng thủ tục a Cấu...