본문 바로가기 메뉴 바로가기

welcome!

프로필사진
  • 글쓰기
  • 관리
  • 태그
  • 방명록
  • RSS

welcome!

검색하기 폼
  • 전체보기 (231)
    • IT 저서 (20)
      • 가상 면접 사례로 배우는 대규모 시스템 설계 기초 (12)
      • 데이터 중심 애플리케이션 설계 (8)
    • Discrete mathmatics and Pro.. (41)
      • 1 논리 (14)
      • 2 기초적인 구조들 : 집합, 함수, 순열, 시그.. (3)
      • 3 알고리즘 (2)
      • 5 재귀와 귀납 (2)
      • 6, 8 경우의 수와 그 응용(dp) (7)
      • 9 관계 Relations (4)
      • 10 그래프 (1)
      • 11 트리 (6)
      • etc radom, samplings (1)
    • 알고리즘 문제 (7)
      • math (8)
      • implementation (17)
      • sort, search (5)
      • data structure (5)
      • Brute Force (4)
      • BFS (0)
      • DFS and Simillar (4)
      • DP (11)
      • graph (7)
      • Flow (1)
      • string (0)
      • 입사문제 (2)
    • 운영체제 (5)
      • 1 overview (0)
    • 네트워크 (12)
    • 데이터베이스 (3)
    • 컴퓨터구조 (0)
    • 개발이야기 (20)
      • 포트폴리오 (1)
      • Flutter (2)
      • Wpf (1)
    • 자유공간 (12)
    • Calculus (0)
    • IoT 과정 (39)
  • 방명록

전체보기 (231)
1 기초: 논리와 증명

//이 자료는 Discrete mathmatics and its application 7th edition에서 나오는 예제를 간추린 것입니다. 저는 코딩에 관심 있는 학생이며, 타인의 지적재산을 단지 학습을 위해 사용할 뿐 개인의 금리적 이윤을 위한 상업적인 용도로 쓰지 않습니다. 만약 저작권 관련 문제가 될 시 즉시 문서를 삭제하겠습니다.//1.1 명제 Proposition예제 2. 아래의 문장들에 대해 생각해보세요1. 지금이 몇 시 인가요?2. 주의 깊게 읽어보시오3. x+1 = 24. x+y = z정답문장 1과 2는 참 거짓을 가릴 수 없으므로 명제가 아닙니다. 문장 3과 4는 참 거짓 모두 아니기 때문에 명제가 아닙니다. 이런 경우 변수에 값을 할당하면 명제가 될 수 있습니다. 명제변수 propo..

Discrete mathmatics and Problem Solving/1 논리 2016. 9. 10. 12:52
이전 1 ··· 21 22 23 24 다음
이전 다음
공지사항
  • 소스코드 중 링크가 존재하지 않다고 뜨는 것은⋯
최근에 올라온 글
최근에 달린 댓글
Total
Today
Yesterday
링크
TAG
  • 자바스크립트
  • rosen
  • Simulation
  • javascript
  • beginning javascript
  • paul wilton
  • 대규모 시스템 설계 기초
  • 아레나
  • 이산수학
  • Grafana
  • 엄청난 인내심과 시뮬레이션을 위한 아레나 툴
  • Arena
  • 백준
  • grafana cloud
  • 로젠
  • Discrete Mathematics
  • flutter
  • 그라파나
  • 명제논리
  • 최단경로 알고리즘
  • 이산 수학
  • 자바스크립트 예제
  • 항해99
  • 아레나 시뮬레이션
  • arena simulation
  • 데이터 중심 애플리케이션 설계
  • 아레나시뮬레이션
  • 가상 면접 사례로 배우는 대규모 시스템 설계 기초
  • 시뮬레이션
  • Propositional and Predicate Logic
more
«   2025/06   »
일 월 화 수 목 금 토
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30
글 보관함

Blog is powered by Tistory / Designed by Tistory

티스토리툴바