More actions
(Repair batch-0005 pages from live compare) |
(Quality repair v1) |
||
| Line 6: | Line 6: | ||
* 목요일 오후 예정(조정 가능) | * 목요일 오후 예정(조정 가능) | ||
* 참고 서적 : | * 참고 서적 : | ||
** | ** [http://www.kyobobook.co.kr/product/detailViewEng.laf?ejkGb=BNT&mallGb=ENG&barcode=9781447141280&orderClick=LAG&Kc= mathematical logic for computer science] | ||
** | ** [http://www.kyobobook.co.kr/product/detailViewKor.laf?ejkGb=KOR&mallGb=KOR&barcode=9788961055499&orderClick=LAG&Kc= 수리논리와 집합론 입문] | ||
** | ** [https://library.cau.ac.kr/#/search/detail/148744 계산가능성과 논리 : 수리논리학 입문] | ||
== 인원 == | == 인원 == | ||
* [[성훈]] | * [[성훈]] | ||
* [[강제순]] | * [[강제순]] | ||
== 진행내역 == | == 진행내역 == | ||
* /9_13|9월13일 | * [[로지칼씽킹/9_13|9월13일]] | ||
* | * 9월27일 : 신규 인원 추가로 인하여, 13일 내용 복습 | ||
* /10_4|10월4일 | * [[로지칼씽킹/10_4|10월4일]] | ||
* /11_1|11월1일 | * [[로지칼씽킹/11_1|11월1일]] | ||
* | * 11월8일 | ||
== 기타/방명록 == | == 기타/방명록 == | ||
Revision as of 04:58, 27 March 2026
개요
- 논리학, 특히 수리논리학 스터디
- 수리논리학/집합론 등 기초 스터디
- 목요일 오후 예정(조정 가능)
- 참고 서적 :