Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

\ (\ mathcal {ALC} \) + บทบาทการทำงาน

การตั้งชื่อ: \ (\ mathcal {ALCF} \)

สำหรับบทบาท \ (r \)

  • ความจริงการทำงานคือแสดงโดย \ (\ text {} Func (R) \)

การตีความ \ (\ mathcal {I} \) entails \ (\ text {} Func (R) \) IFF

\[(x,y) \in r^\mathcal{I} \wedge (x,z) \in r^\mathcal{I} \rightarrow y=z.\]

นกฮูกสร้าง: นกฮูก: FunctionalProperty


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.