DeveloperUnknown

Predicate logic (술어 논리) 1. Basics / 기초 Predicates (술어) : 속성과 관계를 나타낸다. 명제와는 달리, 주어와 술어를 구분하여 참 또는 거짓을 판단한다. 술어는 한정된 수의 변수를 포함하는 문장이며 변수에 대해 특정 값이 대체 될 때 명령문이 된다. 술어에는 하나 이상의 변수가있을 수 있다. 예 : student (x), mother (x, y) 술어 계산 (Predicate Calculus) : 명제 함수(Propositional Function)를 이용한다. 예) She is a student. 주어 : She -> x 술어 : is a student. -> P(x) P(x) : x is a student. P 자체는 명제가 아니고, 변수 x가 적절한 값으로 치..

Propositional (명제) 1. Statements (Propositions) / 명제 Propositions (명제) : 참이나 거짓으로 판단할 수 있는 문장. 단, 둘 다 일수는 없다. Propositional Logic (명제 논리) : 명제를 다룬다. Propositional Constants (명제 상수) : T - 참, F - 거짓 Propositional Variables (명제 변수) : T나 F값을 가질 수 있는 변수 Atomic Propositions (원자 명제) : 명제 상수, 명제 변수, 명제는 더 세분화 될 수 없다. Compound Propositions (합성 명제) : 원자 명제가 아닌 것을, 논리연산자로 연결한 것. 2. Basic logical connective..

이산수학은 이걸 보고 공부하면 되겠다. 개꿀!http://faculty.simpson.edu/lydia.sinapova/www/cmsc180/LN180_Johnsonbaugh-07/Contents.htm

F 학점으로 마무리한 나의 이산수학 수업. 수업료도 아깝고 시간도 아깝도 모든게 아쉬웠다. 하지만 머리 속엔 남는 거... 그러니까 다시 공부를 하고 정리하자. 이번엔 내 방식대로! 근데 가격 2% 할인 실화냐... -_ ㅡ;;;;;; 혹시나 해서 구글링 해보다가 이런 리뷰를 보았다. 맞다. 생각해보니까 수학책은 문제만 있으면 안되고 풀이가 있어야 한다. 그게 없으면 그냥 수학 이론만 외워서는 아무것도 안되는 걸 경험했었지. 그게 고2때였는데, 지금도 수학 이론이나 공식 같은거 코딩해보고 결과 본 후에 "아, 이해했다" 이러는 경우가 많아서 좀 더 친절한 책을 찾아봐야할 것 같은데, 그럴 만한 책이 없어보인다. 그럼 일단 목차만 참고해서 하나씩 검색하면서 공부하는 걸로 해야겠네...? 어려워보인다. 끄응..

윈도우 다운 받으려고 마이크로소프트 사이트에 접속했더니 버전을 선택하라고 한다. 갑자기 또 생각이 안나서 검색해보니, N인듯. 크롬 쓸거니까 N버전으로 해야겠다. ^^K : 기존 그대로 멀티미디어 기능(미디어 플레이어 센터, 메신저 센터)이 추가된 버전KN : 멀티미디어 기능(미디어 플레이어 센터, 메신저 센터)을 제외한 버전N : 멀티미디어 기능(미디어 플레이어 센터, 메신저 센터)과 인터넷 익스플로러 미포함 버전근데 N 버전은 한국어가 없고, KN이 한국어가 있다. KN 다운로드 해야겠다.

Linux CPU RAM Storage VGA Bodhi Linux 500Mhz 128MB 4GB Puppy Linux 333Mhz 256MB 200MB Linux Lite 700Mhz 512MB 1024*768 Ubuntu MATE 750Mhz 512MB 1024*768 Lubuntu Pentium II 258MB Arch Linux + LDE 64-bit architecture 512MB LXLE Pentium III 512MB Peppermint OS Intel x86 architecture 512MB antiX Intel 64-bit and 32-bit architecture 256MB Manjaro Linux Xfce Edition 1Ghz 1GB antiX 한번 가볼까?!

​ 윈도우 10도 느려진다. 꽤나... 이젠 가끔 리부팅 해줘야 된다. 참 고달프네...