Shell Variable Storage : Local Variables + Environment Variables + Program Code (/usr/bin/sh){$ name=yohan$ set...name=yohan....} Variable Substitution$var : Directs the shell to perform variable substitution{$ echo $PATH/usr/bin:/usr/contrib/bin: ...$ PATH=$PATH:$HOME/usr/bin: .... :/home/user11}Command Substitution$(command) Process and Variable (Parent Child)1 fork : program and data spaces a..
$ ps PID TTY TIME COMMAND 12608 pts/tg 0:00 telnetd 13471 pts/tg 0:00 ps 12609 pts/tg 0:00 sh frankenstein command history : command "history" recalling commands : Press "ESC", k scrolls backward through the command history, scrolls forward through the command history [then, work as command mode] env : environment describes your session to the programs you run set : describes your local variable..
vi "filename" : start a vi edit session of file cursor, line, page moveh, j, k, l. ctrl + b, f.("command mode") + ":" + "( )" + "Return""wq" (write and quit)"q" (quit)"q!" (force quit)"w" (write) vi Modescommand mode : keystrokes intepreted as commandsinput mode : vi input with keystrokes entered into the file ( from command mode -> "i, a, o, I, A, O" )last line mode : ex and search inputs ( fro..
access typeOwner, Group, Other-rwxrwx--- 1 user11 class 141 Nov 13 1993 prog1-rw-rw---- 1 user11 class 29 Nov 13 1993 yourfile/ow//gr//ot/ owner group ... and other FilesRead : Contents can be examined [cat filename]Write : Contents can be changed [vi filename]Execute : File can be used as a command { eg) $ cat myprog# this is the program myprogdatels -F$ myprogTue Jun 20 12:51:41 KST 2017README..
/opt (optional) : application (C:\Program Files)/usr (user) : commands & commands information/usr/bin (binary / .exe) : Contains the programs for all reference manual selction 1 commands, which are neccessary for basic UNIX system operation and file manipulation/usr/sbin (superuser binary) : Contains system administration commands/usr/lib : contains archive and shared libraries used for applicat..
오랜만의 포스팅입니다. 이 포스팅을 완료하고 공개로 전환한것이 2월 7일이니까... 포스팅을 같이하면서 미적분책을 독학하는데 첫 장부터 무리수를 도출하는 방법인 바빌로니아 메서드와 무리수와 관련된 증명 문제, 그리구 포물선과 관련된 기하학 문제를 푸는데 그리고 여러가지 고민거리를 안고 지내다가 ( precalculus...고등학교 1학년문젠데 막히니까 고민거리가 생길수 밖에요) 새벽에 삘 받아서 완성하게 되었습니다. 크,,, 아무 금전적 보상도 없지만 열심히하는 클라쓰,,,수학 원리에서... *이번 토막문은 본문 포스팅과 내용이 중복되고 길지만, 다 해치우고 싶은 저의 욕심입니다 ㅎ.....propositional function 명제 함수ϕx를 변수 x를 포함하는 진술이라고 하자. 이 명제는 x가 어떤..
1 a) 명제, 참 b) 참, 거짓을 가릴 수 없는 진술이므로 명제가아니다. c) 이는 명제 함수propositional function이다. 변수variable에 값이 지정되지 않으므로 참, 거짓을 가릴 수 없다. 따라서 명제가 아니다. d) 명제, 참2 a) 민수 또는 민환은 나의 친구가 아니다. b) 주환의 가방에는 책이 3권이 있지 않다. c) 121은 11의 제곱이 아니다.3 a) 나는 이번 주 복권을 사지 않았다. b) 나는 이번 주 복권을 샀거나 1등 상금을 얻었다. c) 나는 이번 주 복권을 샀다면, 1등 상금을 얻었다. d) 나는 이번 주 복권을 샀고, 1등 상금을 얻었다. e) 나는 이번 주 복권을 샀다면, 1등 상금을 얻었다. 그리고 1등 상금을 얻었다면, 이번 주 복권을 산것이다. ..
수학 원리에서...1.01 p→q = ~p∨q Df.앞으로 "Df"의 단어는 정의를 뜻한다. 이 단어와 같다라는 기호 equal symbol은 왼쪽 항의 복합명제가 우항의 복합명제를 의미한다고 정의한다. 즉, 정의되는 것은 왼쪽 항이다. 우리는 가장 단순한 논리연산자 부정형negation과 논리합disjunction을 기초로 사용하기 때문이다. 조건문의 필요성은 다음에 의해 기인한다. "한 명제 p가 참일 때 그것이 의미하는 q가 반드시 참이여야 한다." 조건문은 증명에 반드시 필요하다. 그러나 어떠한 명제 p가 거짓일 때 그것이 의미하는 어떠한 것들에 대해서 진리값을 판단하려는 의미는 아니다. 그러므로, p가 참일 때 q가 거짓일 때만 거짓이라고 판단한다. p가 거짓이거나 q가 참일때는 항상 참이다. ..
사실은...기호논리학의 또 다른 거장, 버트런드 러셀Bertrand Russell와 화이트 헤드Whitehead는 그들의 공동 저서 수학원리principia mathematica에서 세상의 수학들을 기호논리로 다루려고 노력했습니다. 그들은 수학원리에서 다음과 같이 기호논리를 사용합니다.논리곱logical product은 . 로 표현했습니다. 따라서 p.q는 "p and q"를 뜻합니다. 그러나 때로 .는 괄호parentheses를 표현하기도 하는데요. 다음의 명제를 봅시다.⊦ :p∨q.⊃.q∨p우선, ⊦ 는 다음이 반드시 참이라고 주장하는 것입니다. 이는 정리theorem 이거나 공리axiom일 수 있습니다. 그리고 :는 . 보다 한 단계 더 높은 중괄호라고 봅니다. ⊦ [p∨q.⊃.q∨p]⊦ 이후의 콜..
사실은...이런 기호를 이용한 논리학 즉, 기호 논리학의 시작이라고 부를 수 있는 George Boole은 그의 저서 Law s of thoughts에서 다음과 같은 표현을 이용했습니다. x를 남자, y를 여자라고 하자. 그렇다면 "남자와 여자"는 x+y이며, "여자와 남자"는 y+x이다. 따라서 x+y=y+x 이다.이때 z를 유럽인이라고 한다면, "유럽인 남자와 여자" 는 z(x+y)이며, "유럽인 남자와 유럽인 여자"는 zx+zy이다. 따라서, z(x+y) = zx+zy 라 할 수 있다.여기서 남자와 여자, 즉 논리합은 "+" 라는 연산자와 같습니다. 또한, 유럽인이면서도 남자임으로 - 논리곱으로 zx 로 나타내었습니다. 이해하시겠죠? ㅈ ㅏ. 이제 계속해서 동치라는 것을 살펴보겠습니다.정의1 가장 ..
- Total
- Today
- Yesterday
- 시뮬레이션
- 이산 수학
- 항해99
- 엄청난 인내심과 시뮬레이션을 위한 아레나 툴
- 자바스크립트 예제
- Propositional and Predicate Logic
- 최단경로 알고리즘
- 로젠
- Simulation
- 아레나
- Discrete Mathematics
- beginning javascript
- grafana cloud
- Trie
- 아레나 시뮬레이션
- paul wilton
- 대규모 시스템 설계 기초
- 아레나시뮬레이션
- rosen
- Arena
- javascript
- 이산수학
- 자바스크립트
- 백준
- flutter
- arena simulation
- 가상 면접 사례로 배우는 대규모 시스템 설계 기초
- 그라파나
- 데이터 중심 애플리케이션 설계
- 명제논리
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 | 31 |