🌳中文課程介紹:資料結構與演算法 (JavaScript)
這堂課內容包含電腦科學世界中的常見與實用的演算法與資料結構,對於不是資工本科系的人來說,是非常重要的演算法課程!此包含
演算法分析(Big O Complexity)、
八種排序演算法(Sorting Algorithms)、
主定理(Master Theorem)、
遞迴演算法(Recursion)、
連結串列(LinkedList)、雜湊表(Hash Table)、
二元搜尋樹(Binary Search Tree)、
優先佇列(Priority Queue)、
霍夫曼演算法(Huffman Encoding)、
最小生成樹(Minimal Spanning Tree)、
深度優先搜尋(Depth First Search)、
寬度優先搜尋(Breadth First Search)、
最短路徑演算法(Floyd-Warshall Algorithm)、
戴克斯特拉演算法(Dijkstra’s Algorithm)、
動態規劃 (Dynamic programming)等等的內容。
在這堂課程當中,我們會學習各種電腦科學當中,使用JavaScipt這門程式語言,來了解並一步一步寫出各種實用的演算法與資料結構。
✍ 對這門課有興趣,請參考底下留言區,目前 NT 430 特價中
同時也有2912部Youtube影片,追蹤數超過6萬的網紅Herman Yeung,也在其Youtube影片中提到,Note download 筆記下載 : https://hermanutube.blogspot.hk/2016/01/youtube-pdf.html Past Paper (香港公共圖書館): https://mmis.hkpl.gov.hk/web/guest/hkcee-and-hka...
「theorem」的推薦目錄:
- 關於theorem 在 軟體開發學習資訊分享 Facebook 的最佳貼文
- 關於theorem 在 โปรแกรมเมอร์ไทย Thai programmer Facebook 的最佳貼文
- 關於theorem 在 Facebook 的最讚貼文
- 關於theorem 在 Herman Yeung Youtube 的最佳貼文
- 關於theorem 在 Herman Yeung Youtube 的最佳貼文
- 關於theorem 在 Herman Yeung Youtube 的精選貼文
- 關於theorem 在 Theorem - Home | Facebook 的評價
- 關於theorem 在 Puscifer "Theorem" (Official Video) - YouTube 的評價
- 關於theorem 在 Theorem Proving in Lean 的評價
- 關於theorem 在 What is the difference between a Definition and a Theorem? 的評價
theorem 在 โปรแกรมเมอร์ไทย Thai programmer Facebook 的最佳貼文
🤓 หลายคนอาจเคยบ่น "เรียนเลขไปทำไม ไม่เห็นได้ใช้โค้ดดิ้งเลย"
อันนี้เป็นแค่ตัวอย่าง เพื่อให้รู้ว่าเลขที่เราเรียนตอนม.ปลาย
ไม่ควรทิ้งถ้าคิดจะเรียนคอมพิวเตอร์ ในระดับสูง
.
👉 1) สมการเชิงเส้น
เริ่มต้นจากสมการเส้นตรง ที่มีหน้าตาดังนี้ y=mx+c เรียกว่ารูปมาตรฐาน
- เมื่อ m เป็นความชัน
-ส่วน c เป็นจุดตัดแกน y
.
สมการเชิงเส้นเราจะได้เรียนในระดับ ม 4
พอในม.5 วิชา วิทยาการคำนวณ
ก็จะเห็นประโยชน์ของสมการเส้นตรงถูกนำไปใช้ในงาน data science (วิทยาการข้อมูล)
นำไปใช้วิเคราะห์ข้อมูลแบบ linear regression
.
กล่าวคือเมื่อเรามีข้อมูลย้อนหลังในอดีต
แล้วสามารถนำไปพล็อตลงบนกราฟแกน x กับ y
ผลปรากฏว่าข้อมูลมีความสัมพันธ์เป็นเส้นตรง
ในกรณีเราสามารถหาสมการเส้นตรงที่เหมาะสมสุด (optimize)
นำมาใช้พยากรณ์ข้อมูลล่วงหน้าในอนาคตได้
.
แต่ในกรณีที่ความสัมพันธ์ของข้อมูลพบว่าไม่ใช่เส้นตรง
เราสามารถใช้สมการที่ไม่ใช่เส้นตรง มาใช้พยากรณ์ข้อมูลก็ได้เช่นกัน
.
👉 2) เมทริกซ์
คือกลุ่มของจำนวนตัวเลข ที่เขียนเรียงกันเป็นรูปสี่เหลี่ยมผืนผ้าหรือจัตุรัส
นอกจากใช้แก้สมการหลายตัวแปรแล้ว
จะมีประโยชน์เวลานำไปประมวลภาพ (Image processing)
หรืองานพวกคอมพิวเตอร์วิชั่น (computer vision)
.
ต้องบอกอย่างนี้ว่า รูปภาพดิจิตอลที่เราเห็นเป็นสีสันสวยงาม
แต่ทว่าคอมไม่ได้มองเห็นเหมือนคน
มันมองเห็นเป็นเมทริกซ์ โดยข้างในเมทริกซ์ก็คือตัวเลขของค่าสี
และเราสามารถกระทำการคณิตศาสตร์กับรูปภาพได้
เช่น บวกลบ คูณหาร กับรูปภาพดิจิตอล ในมุมของเมทริกซ์
.
👉 3) ความน่าจะเป็น
ยกตัวอย่างเช่น ทฤษฏี Bayes' theorem
ทฤษฏีหนึงของความน่าจะเป็น
จะใช้หาว่าสมมติฐานใดน่าจะถูกต้องที่สุด โดยใช้ความรู้ก่อนหน้า (Prior Knowledge)
.
ทฤษีนี้ถูกนำไปใช้ในงานวิเคราะห์ข้อมูล รวมทั้งการเรียนรู้ของเครื่อง
เช่น จงหาความน่าจะเป็นที่ชาเขียวขวดนั้นจะผลิตจากโรงงานจากประเทศไทย
จงหาความน่าจะเป็นว่าผู้ป่วยจะเป็นโรคมะเร็ง เมื่อหายจากการติดเชื้อไวรัสโคโรนา
เป็นต้น
.
👉 4) แคลคูลัส
ตัวอย่างเช่น ถูกนำมาใช้ใน neural network
ซึ่งก็เครือข่ายประสาทเทียมที่เลียนแบบเซลล์สมอง
แต่จริงๆ ข้างในเครือข่ายจะประกอบไปด้วยน้ำหนัก
.
น้ำหนักที่ว่านี้มันก็คือตัวเลขจำนวนจริง ที่เริ่มต้นสุ่มขึ้นมา
แล้วเวลาจะหาค่าน้ำหนักที่เหมาะสม (optimize)
มันจะถูกปรับทีละเล็กทีละน้อย
โดยอาศัยหลักการเรื่องอนุพันธ์ หรือดิฟนั่นแหละ
.
👉 5) ตรรกศาสตร์
วิชานี้พูดถึง "ประพจน์" หมายถึงประโยคที่ให้ค่าออกมาเป็น True หรืด False
รวมถึงการใช้ตัวเชื่อมประพจน์แบบต่างๆ ไม่ว่าจะเป็น "และ" "หรือ" "ก็ต่อเมื่อ" เป็นต้น
.
ศาสตร์ด้านนี้เป็นพื้นฐานของระบบคอมพิวเตอร์
เพราะวงจรคอมพิวเตอร์พื้นฐาน มีแต่ตัวเลข 0 หรือ 1
จึงสามารถแทนด้วย False หรือ True ในทางตรรกศาสตร์
ไม่เพียงเท่านั้นวงจรอิเลคทรอนิกส์ ก็มีการดำเนินทางตรรกศาสตร์อีกด้วย
ไม่ว่าจะเป็น "และ" "หรือ" "ไม่" เป็นต้น
.
ยิ่งการเขียนโปรแกรม ยิ่งใช้เยอะ
เพราะต้องเปรียบเทียบเงื่อนไข True หรือ False
ในการควบคุมเส้นทางการทำงานของโปรแกรม
.
👉 6) ฟังก์ชัน
ฟังก์ชันคือความสัมพันธ์ จากเซตหนึ่งที่เรียกว่า 'โดเมน' ไปยังอีกเซตหนึ่งที่เรียกว่า 'เรนจ์' โดยที่สมาชิกตัวหน้าไม่ซ้ำกัน
ซึ่งคอนเซปต์ฟังก์ชันในทางคณิตศาสตร์
ก็ถูกนำไปใช้ในการเขียนโปรแกรมแบบ functional programming
.
👉 7) เรขาคณิตวิเคราะห์
ถูกนำไปใช้ในวิชาคอมกราฟิก หรือเกมส์
ในมุมมองของคนที่ใช้โปรแกรมวาดรูปต่างๆ หรือโปรแกรมสร้างแอนนิมเชั่นต่างๆ
เราก็แค่คลิกๆ ลากๆ ก็สร้างเสร็จแล้วใช่มั๊ยล่ะ
.
แต่หารู้หรือไม่ว่า เบื้องเวลาโปรแกรมจะวาดรูปทรง เช่น สี่เหลี่ยม วงรี ภาพตัดกรวยต่างๆ
ล้วนอาศัย เรขาคณิตวิเคราะห์ พล็อตวาดรูปทีละจุดออกมาให้เราใช้งาน
.
👉 8) ปีทาโกรัส
ทฤษฏีสามเหลี่ยมอันโด่งดังถูกนำไปใช้วัดระยะทางระหว่างจุดได้
ซึ่งจะมีประโยชน์ในการแยกแยะข้อมูล โดยใช้อัลกอริทึม
K-Nearest Neighbors (KNN)
ชื่อไทยก็คือ "ขั้นตอนวิธีการเพื่อนบ้านใกล้ที่สุด "
มันจะถูกนำไปใช้งานวิเคราะห์ข้อมูล รวมทั้งการเรียนรู้ของเครื่องอีกด้วย
ไม่ขอพูดเยอะเดี่ยว ม.5 ก็จะได้รู้จัก KNN ในวิชาวิทยาการคำนวณ
.
👉 9) ทฤษฏีกราฟเบื้องต้น
อย่างทฤษฏีกราฟออยเลอร์ (Eulerian graph)
ที่ได้เรียนกันในชั้น ม.5 จะมีประโยชน์ในวิชาคอม
เช่น ตอนเรียนในวิชา network ของคอมพิเตอร์ เพื่อหาเส้นทางที่ดี่สุดในการส่งข้อมูล
หรือจะมองโครงสร้างข้อมูลเป็นแบบกราฟก็ได้ ก็ลองนึกถึงลิงค์ต่างในเว็บไซต์ สามารถจับโยงเป็นกราฟได้ด้วยนะ
.
👉 10) เอกซ์โพเนนเชียล และลอการิทึม
เราอาจไม่เห็นการประยุกต์ใช้ตรงๆ นะครับ
แต่ในการประเมินประสิทธิภาพของอัลกอริทึม เวลาเขียนโปรแกรม
เขาจะใช้ Big O ขอไม่อธิบายเยอะแล้วกันเนอะ
เรื่องนี้มีเขียนอยู่ตำราวิทยาการคำนวณชั้นม.4 (ไปหาอ่านเอาได้)
.
ซึ่งเทอม Big O บางครั้งก็อาจเห็นอยู่ในรูปเอกซ์โพเนนเซียล หรือลอการิทึมนั่นเอง
ถ้าไม่เข้าใจว่า เอกซ์โพเนนเซียล หรือลอการิทึม คืออะไร
ก็ไม่จะอธิบายได้ว่าประสิทธิภาพของอัลอริทึมเราดีหรือแย่
.
.
+++++++
เป็นไงยังครับ สนใจอยากรู้ว่า เลข ม.ปลาย
สามารถนำไปใช้ศึกษาต่ออะไรอีกบ้างไหมเนี่ย
ถ้าอยากรู้ ผมเลยขอแนะนำหนังสือ (ขายของหน่อย)
.
หนังสือ "ปัญญาประดิษฐ์ (AI) ไม่ยาก"
เข้าใจได้ด้วยเลขม. ปลาย เล่ม 1 (เนื้อหาภาษาไทย)
ติดอันดับ Best seller ในหมวดหนังสือคอมพิวเตอร์ ของ MEB
.
เนื้อหาจะอธิบายปัญญาประดิษฐ์ (A) ในมุมมองเลขม.ปลาย
โดยปราศจากการโค้ดดิ้งให้มึนหัว
พร้อมภาพประกอบสีสันให้ดูอ่านง่าย
.
สนใจสั่งซ์้อได้ที่
👉 https://www.mebmarket.com/web/index.php?action=BookDetails&data=YToyOntzOjc6InVzZXJfaWQiO3M6NzoiMTcyNTQ4MyI7czo3OiJib29rX2lkIjtzOjY6IjEwODI0NiI7fQ&fbclid=IwAR11zxJea0OnJy5tbfIlSxo4UQmsemh_8TuBF0ddjJQzzliMFFoFz1AtTo4
ถ้าซื้อผ่าน Web,Android ราคาปกติ 295 บาท
.
.
วิธีการซื้อ
1) สมัครเป็นสมาชิกเว็บ www.mebmarket.com ก่อน
2) ดาวน์โหลดแอพของ meb ค้นหาชื่อ meb นี้แหละ (ถ้าจะอ่านบน desktop ก็ดาวน์โหลดโปรแกรมาก่อน)
3) แล้วสั่งซื้อ โอนเงินก็ตามรายละเอียดที่เว็บแนะนำครับผม
4) จากนั้นก็ใช้โปรแกรม หรือแอพของ meb เปิดอ่านหนังสือครับผม
5) ถ้ามีปัญหาติดต่อทางทีม support@mebmarket.com เขาจะให้คำตอบคำผม
(พอดีฝากขายที่นี้ด้านเทคนิคพวกนี้ผมจะไม่รู้ครับ)
.
ถ้าเพื่อนๆ ที่อ่านหนังสือผ่านระบบ iOS
เวลาจะชำระเงิน ไม่ควรจ่ายผ่านบัตร
เพราะจะซื้อหนังสือแพงขึ้นครับ ราคา 329 บาท
.
แนะนำให้ชำระเงิน
- โดยให้เปิดเว็บ https://www.mebmarket.com
- แล้ว login ด้วย username เดียวกับที่เราใช้ใน app บน iOS
- หลังจากนั้นก็เลือกซื้อหนังสือปกติ
.
ซื้อเสร็จแล้วมันจะไปโผล่ใน app บน iOS
จากนั้นเพื่อนสามารถเข้าใช้งานด้วย username และ password อันเดียวกันกับหน้าเว็บเลยครับ
จะซื้อได้ในราคาที่เห็นตามเว็บนี้ (ไม่แพง)
.
สำหรับวิธีอ่านอีบุ๊กเล่มนี้
ก็ต้องเลือกโปรแกรม/แอพ ให้เหมาะกับระบบที่เราใช้อยู่
วิธีอ่านอีบุ๊กก็ตามลิงก์ต่อไปนี้
https://docs.google.com/document/d/e/2PACX-1vSI4hZgymHgbqhX3CA6anA_18wRy-iXU9oIlupUr-KwAWvJyxI9zdLrJcPUW77xz8lbvRFfW10747Oe/pub
.
ส่วนตัวอย่างหนังสือ ก็ดูได้ลิงค์นี้
ตัวอย่างหนังสือ
👉 สารบัญ:
https://drive.google.com/file/d/1L6-XYMVCWYNkvYXZYP9kOuzAIzPfHuaf/view?usp=sharing
.
👉 ตัวอย่างแต่ละบท
ตัวอย่างบทที่ 1 แนะนำ AI
📗 https://drive.google.com/file/d/19kzbuRtN14eDEYhNewBh4ZUCa6sexaIf/view?usp=sharing
.
ตัวอย่างบทที่ 3 แนะนำ machine learning
📗 https://drive.google.com/file/d/1pe8ty5hVZS0M3zGZe5WliOOTm6Cqv1Ti/view?usp=sharing
.
ตัวอย่างบทที่ 4 เรื่อง linear regression
📗
https://drive.google.com/file/d/1ju_wF6c9CNiYWfSzIIuqV9aUuEa4eurh/view?usp=sharing
.
ตัวอย่างบทที่ 8 เรื่อง CNN
📗 https://drive.google.com/file/d/1lGqsfXs16mV2IbEJx-4IgDslaHOut1kC/view?usp=sharing
.
ตัวอย่างบทที่ 9 เรื่อง RNN, LSTM
📗 https://drive.google.com/file/d/1dxEhj7syoXFAfQB9bqmwXGrfhgz3M7GQ/view?usp=sharing
.
ตัวอย่างบทที่ 10 เรื่อง Deep Q Learning
📗 https://drive.google.com/file/d/129-FPDP-9FJrMNsVqWMJdER762jOzs9G/view?usp=sharing
.
ตัวอย่างบทที่ 11 เรียนรู้แบบไร้ครูผู้สอน
📗 https://drive.google.com/file/d/15njvUq8Vbq3SRA-PHxVGq8Isr1cL3F3d/view?usp=sharing
.
👉 youtube: https://youtu.be/rLo-XdToGFI
👉 รีวิวหนังสือจากผู้เขียนตำราเทพเอกเซล https://www.facebook.com/thepexcel/posts/1424798431031509/
.
.
.
ขออภัยเล่มกระดาษตอนนี้ยังไม่มี โทดทีนะครัชชช
.
✍เขียนโดย โปรแกรมเมอร์ไทย thai progammer
theorem 在 Facebook 的最讚貼文
theorem 在 Herman Yeung Youtube 的最佳貼文
Note download 筆記下載 : https://hermanutube.blogspot.hk/2016/01/youtube-pdf.html
Past Paper (香港公共圖書館): https://mmis.hkpl.gov.hk/web/guest/hkcee-and-hkale-papers-collection
------------------------------------------------------------------------------
M2 所有 videos 的 Playlist 可看: https://goo.gl/Eq0Efk
分類的 Playlist 可看:
https://goo.gl/X49Jds ……… M2 (Surd 根式)
https://goo.gl/NQiKs3 ……… M2 (Mathematical Induction 數學歸納法)
https://goo.gl/AQUc8X ……… M2 (Binomial Theorem 二項式定理)
https://goo.gl/sZRTyf ……… M2 (Trigonometry 三角學)
https://goo.gl/d6qf6M ……… M2 (e & Limit, e 及極限)
https://goo.gl/BzGaZ8 ……… M2 (Differentiation 微分)
https://goo.gl/S1kXAs ……… M2 (Tangent & Normal 切線及法線)
https://goo.gl/8TkRp6 ……… M2 (Rate of Change 改變率)
https://goo.gl/4y1lj8 ……… M2 (Maximum & Minimum 極大值及極小值)
https://goo.gl/8y48pq ……… M2 (Curve Sketching 曲線描繪)
https://goo.gl/l7deTJ ……… M2 (Integration 積分)
https://goo.gl/hgjfpQ ……… M2 (Application of Integration 積分應用)
https://goo.gl/Cf1pWe ……… M2 (Matrix 矩陣)
https://goo.gl/QwUZX4 ……… M2 (System of Linear Equations 線性方程組)
https://goo.gl/GFE7jx ……… M2 (2D & 3D Vector 平面&立體向量)
https://goo.gl/4VBqD9 ……… M2 (Tips Class & Last Hour)
------------------------------------------------------------------------------
Please subscribe 請訂閱 :
https://www.youtube.com/hermanyeung?sub_confirmation=1
------------------------------------------------------------------------------
HKDSE Mathematics 數學天書 訂購表格及方法︰
http://goo.gl/forms/NgqVAfMVB9
------------------------------------------------------------------------------
Blogger : https://goo.gl/SBmVOO
Facebook : https://www.facebook.com/hy.page
YouTube: https://www.youtube.com/HermanYeung
------------------------------------------------------------------------------
![post-title](https://i.ytimg.com/vi/Gc18J5Qu0d0/hqdefault.jpg)
theorem 在 Herman Yeung Youtube 的最佳貼文
Note download 筆記下載 : https://hermanutube.blogspot.hk/2016/01/youtube-pdf.html
Past Paper (香港公共圖書館): https://mmis.hkpl.gov.hk/web/guest/hkcee-and-hkale-papers-collection
------------------------------------------------------------------------------
M2 所有 videos 的 Playlist 可看: https://goo.gl/Eq0Efk
分類的 Playlist 可看:
https://goo.gl/X49Jds ……… M2 (Surd 根式)
https://goo.gl/NQiKs3 ……… M2 (Mathematical Induction 數學歸納法)
https://goo.gl/AQUc8X ……… M2 (Binomial Theorem 二項式定理)
https://goo.gl/sZRTyf ……… M2 (Trigonometry 三角學)
https://goo.gl/d6qf6M ……… M2 (e & Limit, e 及極限)
https://goo.gl/BzGaZ8 ……… M2 (Differentiation 微分)
https://goo.gl/S1kXAs ……… M2 (Tangent & Normal 切線及法線)
https://goo.gl/8TkRp6 ……… M2 (Rate of Change 改變率)
https://goo.gl/4y1lj8 ……… M2 (Maximum & Minimum 極大值及極小值)
https://goo.gl/8y48pq ……… M2 (Curve Sketching 曲線描繪)
https://goo.gl/l7deTJ ……… M2 (Integration 積分)
https://goo.gl/hgjfpQ ……… M2 (Application of Integration 積分應用)
https://goo.gl/Cf1pWe ……… M2 (Matrix 矩陣)
https://goo.gl/QwUZX4 ……… M2 (System of Linear Equations 線性方程組)
https://goo.gl/GFE7jx ……… M2 (2D & 3D Vector 平面&立體向量)
https://goo.gl/4VBqD9 ……… M2 (Tips Class & Last Hour)
------------------------------------------------------------------------------
Please subscribe 請訂閱 :
https://www.youtube.com/hermanyeung?sub_confirmation=1
------------------------------------------------------------------------------
HKDSE Mathematics 數學天書 訂購表格及方法︰
http://goo.gl/forms/NgqVAfMVB9
------------------------------------------------------------------------------
Blogger : https://goo.gl/SBmVOO
Facebook : https://www.facebook.com/hy.page
YouTube: https://www.youtube.com/HermanYeung
------------------------------------------------------------------------------
![post-title](https://i.ytimg.com/vi/pwWgto_hpGw/hqdefault.jpg)
theorem 在 Herman Yeung Youtube 的精選貼文
Note download 筆記下載 : https://hermanutube.blogspot.hk/2016/01/youtube-pdf.html
Past Paper (香港公共圖書館): https://mmis.hkpl.gov.hk/web/guest/hkcee-and-hkale-papers-collection
------------------------------------------------------------------------------
M2 所有 videos 的 Playlist 可看: https://goo.gl/Eq0Efk
分類的 Playlist 可看:
https://goo.gl/X49Jds ……… M2 (Surd 根式)
https://goo.gl/NQiKs3 ……… M2 (Mathematical Induction 數學歸納法)
https://goo.gl/AQUc8X ……… M2 (Binomial Theorem 二項式定理)
https://goo.gl/sZRTyf ……… M2 (Trigonometry 三角學)
https://goo.gl/d6qf6M ……… M2 (e & Limit, e 及極限)
https://goo.gl/BzGaZ8 ……… M2 (Differentiation 微分)
https://goo.gl/S1kXAs ……… M2 (Tangent & Normal 切線及法線)
https://goo.gl/8TkRp6 ……… M2 (Rate of Change 改變率)
https://goo.gl/4y1lj8 ……… M2 (Maximum & Minimum 極大值及極小值)
https://goo.gl/8y48pq ……… M2 (Curve Sketching 曲線描繪)
https://goo.gl/l7deTJ ……… M2 (Integration 積分)
https://goo.gl/hgjfpQ ……… M2 (Application of Integration 積分應用)
https://goo.gl/Cf1pWe ……… M2 (Matrix 矩陣)
https://goo.gl/QwUZX4 ……… M2 (System of Linear Equations 線性方程組)
https://goo.gl/GFE7jx ……… M2 (2D & 3D Vector 平面&立體向量)
https://goo.gl/4VBqD9 ……… M2 (Tips Class & Last Hour)
------------------------------------------------------------------------------
Please subscribe 請訂閱 :
https://www.youtube.com/hermanyeung?sub_confirmation=1
------------------------------------------------------------------------------
HKDSE Mathematics 數學天書 訂購表格及方法︰
http://goo.gl/forms/NgqVAfMVB9
------------------------------------------------------------------------------
Blogger : https://goo.gl/SBmVOO
Facebook : https://www.facebook.com/hy.page
YouTube: https://www.youtube.com/HermanYeung
------------------------------------------------------------------------------
![post-title](https://i.ytimg.com/vi/d5x2RHuElB4/hqdefault.jpg)
theorem 在 Puscifer "Theorem" (Official Video) - YouTube 的推薦與評價
![影片讀取中](/images/youtube.png)
Puscifer "Theorem" from "Existential Reckoning" Out Now!BUY | STREAMhttps://puscifer.lnk.to ... ... <看更多>
theorem 在 Theorem Proving in Lean 的推薦與評價
Theorem Proving in Lean¶ · 1. Introduction · 1.1. Computers and Theorem Proving · 2. Dependent Type Theory · 2.1. Simple Type Theory · 3. Propositions and Proofs. ... <看更多>
theorem 在 Theorem - Home | Facebook 的推薦與評價
We are Theorem. We're pioneering the future of flexible, full-service digital marketing solutions... 26 Main St, Ste 302, Chatham, NJ 07928. ... <看更多>