不忘初心 红色追寻,将乐县府前广场迎来百...
???? ????? ?? ???? ???? (?? ???????: Mathematical logic) ??????? ?? ??????? ??? ?? ?? ????? ????? ? ???? ?????????.[?]
???????? ?????? ??? ???? ?? ?????? ????? ????? ????????? ????????? ? ??? ?? ?? ???? ???? ? ?????? ??????.
?? ??????? ?????? ???? ?????? ??????? ?? ?????? ??????? ???????? ??? ???? ?????? ????? ??????? ????? ????? ?????? ? ?????? ??? ??? ?? ?????? ??????? ??? ????.
?????? ? ?????
[??????]??????? ???? ??????? ???? ?????? ?? ?? ???? ???????? ???? ?? ????????? ??????? ???? ???. ?? ????? ?????? ???? ???????? ?? ??????? ?? ?? ????? ???? ?????? ?? ???? ? ?????? ????????? ???? ???. ????? ?? ??? ??????? ???? ?? ?????? ???? ???? ???? ??? ? ??? ?????? ???? ???? ??? ??? ??? ?? ???????? ???? ???? ??? ?? ??????? ????? ?? ?????? ?????????? ??? ?????? ? ???????? ?? ?? ????? ?? ??? ????? ???? ?? ??? ??? ?????? ???? ?????? ??.? (??? ????? ?? ??????? ?????? ???? ????? ???).
????????
[??????]?????? ? ????? ????????? ?? ???? ?????? ?? ???? ?? ??? ????? ?????? ????? ??????? ????? ????? ?? ?????? ?? ???????? ???? ???????? ???? ???? ???? ????????? ????? ? ???????? ?? ???? ??????????? ???? ???????.
???? ????? ?????? ?? ????? ??????? ???????? ??????????? ?????????? ???????????? ?????? ??????????? ?????????? ???? ?????????? ??? ?????? ??? ??????? ???????? ? ???? ?????? ????.
???????? ??????
[??????]- ???? ????????
- ???? ???????
- ???? ?????
- ???????? ????? (Description logics)
- ?????? ?????????
- ????? ???
- ?????? ? ????? ?????? (????)
?????
[??????]Ebbinghaus, H. -D. , Flum, J. , and Thomas, W. Mathematical logic, Springer-Verlag New York Inc. , 1984. ISBN 0-387-96170-4