原创 二、聯結詞——離散數學
2.1 聯結詞 聯結詞亦稱命題聯結詞，命題邏輯的基本概念之一，指由已有的命題構造出新命題所用的詞語 2.1.2 否定聯結詞 設P爲任意一命題，複合命題“非P”（或P的否定）稱爲P的否定式，記做 讀作“非P”真)，┐稱爲否定聯結詞 ┐
2020-06-21 18:54:33
1
原创 無序表抽象數據類型及Python實現
無序列表List操作如下： List(): 創建一個空列表 add(item): 添加一個數據項到列表中，假設item原先不存在與列表中 remove(item): 從列表中移除item，
2020-06-21 18:54:33
原创 棧抽象數據類型及Python實現
棧抽象數據類型及Python實現 1.什麼是棧 一種有次序的數據項結合，在棧中，數據項的加入和移除都僅發生在同一棧。 一段叫"頂top" ，另一端叫棧"底base" 距離棧底越近的數據項，留在棧中的時間就越長。 這種次序通常被稱爲
2020-06-21 18:54:33
原创 命題邏輯——離散數學
命題邏輯1.1.1 命題1.1.2 命題的分類1.1.3 命題標識符 邏輯主要研究推理過程，而推理過程必須依靠命題來表述。 在命題邏輯中，“命題”被看作最小單位。 命題邏輯是數理邏輯中最基本、最簡單的部分。 1.1.1 命題
2020-06-21 18:54:33
原创 語法字的翻譯. _編譯原理
什麼是語法制導翻譯？ 語法制導翻譯使用CFG 來引導對語言的翻譯，是一種面向文法的翻譯技術。 翻譯的階段： 詞法分析 語法分析 語義分析 中間代碼生成 代碼優化 目標代碼生成
2020-06-21 18:54:33
原创 PHP源碼閱讀——目錄分析
在官網下載PHP(7.2.8)最新源碼，目錄如下： --appveyor 該目錄存放一些.bat腳本,爲PHP的Windows提供持續集成 --build 和編譯有關的目錄 --ext
2018-08-31 19:19:30
2