文件名称：计算机科学逻辑项目：计算机科学逻辑学的最终项目
文件大小：39KB
文件格式：ZIP
更新时间：2024-02-29 17:22:24
Python
计算机科学逻辑项目 计算机科学逻辑学的最终项目； main.py中的算法。 分行：主要 对： 雷南·罗丝诺·多斯·桑托斯 通知 原始项目：在巴西的尼加拉瓜，墨西哥的最高人民法院。 阿塞米·克·塞里亚·卡达斯特拉多·塞梅斯特·波兹 观察：哥斯达黎加执行长不列颠哥伦比亚省，哥斯达黎加人遗嘱，阿斯达科省德斯科布里岛或科多哥或米哈基纳省。 没有任何遗言，没有任何证据。 Alémdisso，acredito que seja porque estou trabalhando com字符串，利用est estilo para相似的方式解决了问题。
【文件预览】：
logic-for-computer-science-project-main
----functions.py(2KB)
----term.py(2KB)
----Classes()
--------Cadeira.py(209B)
--------Professor.py(74B)
--------__pycache__()
----Enums()
--------Enums.py(125B)
--------__pycache__()
----fol_formula.py(4KB)
----main.py(7KB)
----main_fol.py(2KB)
----.idea()
--------misc.xml(196B)
--------dictionaries()
--------logicomp.iml(352B)
--------inspectionProfiles()
--------modules.xml(268B)
--------codeStyles()
--------.gitignore(38B)
--------vcs.xml(180B)
----examples()
--------equivalence_example.py(454B)
--------sudoku.py(7KB)
--------truth_lie2.py(624B)
--------mines.py(6KB)
--------meeting2.py(1KB)
--------truth_lie.py(741B)
--------validity_example.py(410B)
--------bus_in_station.py(1002B)
--------meeting.py(797B)
--------rain.py(514B)
----interpretation_fol.py(2KB)
----LICENSE(34KB)
----README.md(765B)
----__pycache__()
--------formula.cpython-38.pyc(5KB)
--------functions.cpython-38.pyc(2KB)
----semantics.py(3KB)
----formula.py(3KB)