HOME > 상세정보

상세정보

(基礎) 形式意味論

(基礎) 形式意味論 (97회 대출)

자료유형
단행본
개인저자
이영헌
서명 / 저자사항
(基礎) 形式意味論 / 李英憲 著.
발행사항
서울 :   한신문화사 ,   1995.  
형태사항
ix, 318 p. ; 23 cm.
ISBN
8934804149 :
000 00533camccc200205 k 4500
001 000000469597
005 20100806105849
007 ta
008 970212s1995 ulk 000a kor
020 ▼a 8934804149 : ▼c \8000
040 ▼a 211009 ▼c 211009 ▼d 211009
049 1 ▼l 111079613 ▼l 111079614 ▼l 111079615
082 0 4 ▼a 401.43 ▼2 21
090 ▼a 401.43 ▼b 1995a
100 1 ▼a 이영헌 ▼0 AUTH(211009)67757
245 2 0 ▼a (基礎) 形式意味論 / ▼d 李英憲 著.
260 ▼a 서울 : ▼b 한신문화사 , ▼c 1995.
300 ▼a ix, 318 p. ; ▼c 23 cm.
950 0 ▼b \ 8000

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/제2자료실(3층)/ 청구기호 401.43 1995a 등록번호 111079613 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 중앙도서관/제2자료실(3층)/ 청구기호 401.43 1995a 등록번호 111079614 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 3 소장처 중앙도서관/제2자료실(3층)/ 청구기호 401.43 1995a 등록번호 111079615 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

저자소개

이영헌(지은이)

1974년 광주가톨릭대학교를 졸업하고 오스트리아 인스브루크대학교 신학대학에서 유학, 1979년 스위스 상트갈렌교구에서 사제품을 받았다. 1984년 인스브루크대학교에서 성서학 박사학위를 취득한 후, 영국 케임브리지 신학대학과 예루살렘 성서대학에서 연수했다. 20년 가까이 광주가톨릭대학교 교수와 총장을 역임하고, 여러 해 동안 본당에서 사목한 후 2018년 8월 정년퇴임을 했으며, 지금은 원로 사목자로서 집필과 강의 활동을 하고 있다. 저서로 「요한 복음서」, 「마르코가 전하는 하느님의 아들 예수 그리스도」, 「예수 그리스도와 함께」, 「바오로 신학의 기본사상」, 「갈라티아서의 모든 것」, 「히브리서 강해」, 「로마서 강해」, 「코린토 1서 강해」, 「코린토 2서 강해」 등 다수가 있다. ?

정보제공 : Aladin

목차


목차

서론 = 1

제1장 집합론

 1. 집합의 개념 = 6

 2. 집합의 기술 = 7

 3. 집합의 종류 = 9

  3.1 부분집합과 진부분집합 = 9

  3.2 전집합과 공집합 = 10

  3.3 집합족과 멱집합 = 11

  3.4 유한집합과 무한집합 = 11

 4. 외연의 공리 = 14

 5. 집합의 연산 = 15

  5.1 합집합 = 15

  5.2 교집합 = 16

  5.3 차집합과 보집합 = 17

 6. 관계와 함수 = 18

  6.1 순서쌍 = 19

  6.2 카테지안 곱 = 20

  6.3 관계 = 21

   6.3.1 관계의 속성 = 22

    6.3.1.1 재귀성 = 22

    6.3.1.2 대칭성 = 24

    6.3.1.3 추이성 = 25

    6.3.1.4 연결성 = 25

  6.4 대등관계와 분할 = 27

  6.5 함수 = 28

  6.6 집합의 동일관계 = 33

 7. 요약 = 35

제2장 대수

 1. 대수의 정의 = 36

 2. 연상의 속성 = 39

 3. 대수의 종류 = 41

  3.1 군 = 41

  3.2 부분군 = 45

  3.3 위수 = 46

  3.4 반군 = 48

  3.5 단체 = 49

 4. 정역 = 50

 5. 형 = 52

 6. 포셋 = 56

 7. 속 = 59

  7.1 속의 정의 = 59

  7.2 부분 속 = 61

  7.3 반속 = 63

  7.4 상보 속 = 64

  7.5 배분 속 = 65

  7.6 모듈 속 = 65

 8. Bool 대수 = 65

 9. Heyting의 대수 = 67

 10. 여과와 아이디얼 = 69

 11. 요약 = 69

제3장 명제 논리

 1. 문장과 명제 = 72

 2. 통사부 = 74

  2.1 명제변항 = 74

  2.2 논리적 연결어 = 75

   2.2.1 연접 = 75

   2.2.2 이접 = 77

   2.2.3 조건 = 78

   2.2.4 쌍조건 = 80

   2.2.5 부정 = 80

  2.3 통사규칙 = 82

 3. 의미부 = 84

  3.1 진리치 = 84

  3.2 진리표 = 87

   3.2.1 연접 = 87

   3.2.2 이접 = 89

   3.2.3 조건 = 91

   3.2.4 쌍조건 = 92

   3.2.5 부정 = 93

  3.3 의미규칙 = 94

 4. 복합명제 = 95

  4.1 항진명제와 모순명제 = 96

  4.2 논리적 대등 = 97

 5. 논증 = 100

  5.1 추론의 규칙 = 101

  5.2 간접증명 = 103

 6. 요약 = 105

제4장 술어 논리

 1. 이름과 술어 = 107

 2. 정항과 변항 = 109

 3. 양화사 = 112

 4. 양화사 이동규칙 = 119

 5. 통사부 = 121

  5.1 통사규칙 = 122

 6. 의미부 = 123

 7. 양화 예화와 양화 일반화 = 128

  7.1 전칭예화 = 128

  7.2 전칭일반화 = 130

  7.3 특칭일반화 = 131

  7.4 특칭예화 = 132

 8. 요약 = 134

제5장 범주 의미론

 1. 범주문법의 특징 = 136

 2. 통사부 = 137

  2.1 범주 = 137

  2.2 기본표현 = 141

 3. 규칙의 종류 = 143

  3.1 함수 적용 = 143

  3.2 함수 합성 = 147

  3.3 범주 상승 = 149

 4. 의미부 = 151

  4.1 외연과 내포 = 151

  4.2 유형 = 157

  4.3 의미 해석 = 160

 5. 요약 = 163

제6장 λ-범주 의미론

 1. λ-범주문법의 특성 = 165

 2. 명제언어 = 167

 3. 0-순위언어 = 170

 4. 범주언어 = 172

 5. λ-추출 = 174

 6. λ-전환 = 178

 7. λ-범주언어 = 181

 8. 품사 = 187

  8.1 명사와 동사 = 187

  8.2 양화사와 대명사 = 189

  8.3 형용사와 부사 = 196

  8.4 부정어 = 201

  8.5 전치사 = 205

  8.6 접속사 = 207

  8.7 to-부정사 = 209

 9. 요약 = 210

제7장 집합론적 의미론

 1. 모형이론적 대상 = 213

 2. 내포의 집합적 표시 = 220

 3. 모형 = 221

 4. 문법모형 = 223

  4.1 통사부 = 223

  4.2 의미부 = 225

  4.3 명사구 갈무리 = 228

 5. 양화표현 = 230

  5.1 양화표현의 통사범주 = 236

  5.2 통사규칙의 적용 = 239

  5.3 의미규칙의 적용 = 242

 6. 국어의 양화의미 = 247

  6.1 원형명사구 = 247

  6.2 격조사와 양화의미 = 248

  6.3 중의적 양화의미 = 252

  6.4 기타표현의 양화의미 = 254

   6.4.1 물질명사 = 254

   6.4.2 보문의 양화의미 = 256

 7. 전제 = 257

 8. 요약 = 260

제8장 대수적 의미론

 1. 형용사 = 264

 2. 관형사 = 268

 3. 관형사와 하위범주 = 272

  3.1 정도관형사 = 274

  3.2 교관형사 = 275

  3.3 부정관형사 = 279

 4. Bool 대수 = 281

  4.1 통사부 = 283

  4.2 의미부 = 285

 5. 수식어의 의미표시 = 288

  5.1 제약형용사와 정도관형사 = 288

  5.2 교형용사와 교관형사 = 289

  5.3 추정형용사와 부정관형사 = 293

 6. 요약 = 298

참고문헌 = 302

찾아보기 = 313



관련분야 신착자료