iT邦幫忙

2019 iT 邦幫忙鐵人賽

0
自我挑戰組

程式設計師大冒險系列 第 90

[90/150]離散數學(五)同餘-2

  • 分享至 

  • twitterImage
  •  

這章節證明似懂非懂,可能要上網另外找教學。做了一隻命題邏輯題庫,隨機產生複合命題,不過括號和解答沒有做出來。

【大綱】

  • 學習心得
  • 命題邏輯題庫
  • 結論

【學習心得】

https://ithelp.ithome.com.tw/upload/images/20181229/20091910tMQXKSBEOj.jpg

【命題邏輯題庫】

想要訓練解題速度,所以做了這支程式
但是括號有點麻煩,如果要做解答,需要了解前序法。

import random
def ran(rg):
    b=random.randint(0,rg-1)
    return  b
    
a=["v","∧","→","↔"]
b=["p","q"]
for opnu in range(6):
    print(b[ran(2)],end="")
    print(a[ran(4)],end="")
print(b[ran(2)],end="")

輸出結果
q∧p∧q→q→q→p∧p

【結論】

後面章節<關係>,很適合用圖片說明。
到時侯ARB可以用A點連接到B點,依照先後點擊順序決定順序。
讓我想到青蛙跳荷葉和關燈遊戲,應該就是關系作為理論。
感謝撥冗閱讀,歡迎留言指教。


上一篇
[89/150]離散數學(四)同餘
下一篇
[91/150]離散數學(六)關係
系列文
程式設計師大冒險115
圖片
  直播研討會
圖片
{{ item.channelVendor }} {{ item.webinarstarted }} |
{{ formatDate(item.duration) }}
直播中

尚未有邦友留言

立即登入留言