class vardemo
publicstatic void main(string args)
system.out.println("helloworld!");
system.out.println(integer.tobinarystring(6));
system.out.println(0x3c);
intx=10;
system.out.println(x);
x=56;
system.out.println(x);
system.out.println('a');
system.out.println('a'+1);
system.out.println((char)('a'+1));
//強制轉換時，資料型別必須要加括號，後面的內容如果是單獨的就不用加括號。
system.out.println('x');
//數字1代表的字元是乙個笑臉
system.out.println((char)1);
chara=65;
//定義變數的格式： 資料型別 變數=初始化值;
system.out.println(a);
system.out.println();
//什麼內容都沒有就表示空格
system.out.println('');
//單引號之間必須要空出來才有表示空格，
system.out.println("");
//但是雙引號之間可以直接不留空格就表示空格；
system.out.println('1'+0);
//字元1對應的二進位制位的十進位制表示形式是49.
system.out.println(2);
system.out.println('2');
system.out.println((char)2);
//上面三個輸出列印分別表示常量2，字元2，十進位制2對應的二進位製所表示的乙個符號；
//輸出語句中，小括號裡的內容只會是
//1、常量；2、被賦值的變數；3、用正確形式表示的其他資料；
system.out.print('a'+0);
//通過這個語句可以知道乙個字母的ascii表對應的十進位制表現形式
system.out.print((int)'m');
//這也是一種方法
system.out.print((char)'m');*/
//定義資料型別時，不需要加括號，但是強制轉換資料型別時必須要加括號。
健壯性與正確性
健壯性 robustness 與正確性 correctness 健壯性 robustness 表示系統在不正常輸入或不正常外部環境 下仍能夠表現正常的程度。當出錯後，會退出並提示資訊，或者容錯並轉為正常。乙個具有良好健壯性的軟體會讓使用者變得更容易，因為即使他們出錯也可以容忍，因為程式內部已經有容錯...
驗證正確性的方法
驗證正確性的方法 1 bug和除錯 bug的 嗎？除錯，就是找出程式中的錯誤並改正 演算法錯誤 是指乙個演算法中引起該演算法不能實現其預定目標的熱病和錯誤。主要包括四種基本型別 二義性，語法錯誤，語義錯誤，邏輯錯誤 1.1二義性，演算法中比較容易消除的一類。一般體現在指令表達不準確或者不明確。1.2...
補碼正確性的證明
雖然不知道大牛怎麼想到這樣解決補碼的正負表示問題1，但這種解決辦法的正確性倒是可以嘗試證明一下。首先需要明確什麼叫正確性，充要條件暫時沒有想到，先列舉幾個必要條件，至少這些條件需要能成立 本身的值表示正確 本身的符號表示正確 運算結果的值表示正確 運算結果的符號表示正確 接下來證明每乙個條件 一定正...