sollog

목표 show (prove) that the Socrates Example Returning to the Socrates Example 우선 다음과 같이 Max(x), Mortal(x) 로 정의를 한다. 두번째로는, 전제를 깔아준다. 다음 사진에서는 두가지 전제를 해주었다. 중간 과정이다. 모든(남자는 치명적이다), 남자 (소크라테스) - - - - - - - - - - - 치명적인 (소크라테스) -> 소크라테스는 치명적이다 정의 , 전제 후에 결론을 내려준다. -> 소크라테스는 치명적이다 Valid arguments An arguments in propostional logic - a sequence of propositions 명제의 순서 - All but the final proposition ar..

오늘은 어셈블리 언어인 MIPS 에서, j / jr / jal 에 대한 내용을 학습하고자 한다. 꽤나 많이 개념이 헷갈리기에, 이해하기 쉽도록 정리해두었다. MIPS has conditional and unconditional branch istrcutions. 1. Conditional branch : beq, bne, slt, slti 2. UnConditional branch : j, jr, jal 1. j - jump j 2500 -> go to 10000 // 왜 10000이냐? 2500* 4 을 해주었기 때문 - 목표 주소로 점프한다. 2. jr - jump resister jr $ra -> go to $ra - For switch, procedure return 3. jal - jump an..

오늘 다룰 주제는 바로 QtSpim 에 대한 내용이다. 우선, 내 노트북을 기준으로 Mac에서 QtSpim을 설치하는 방법부터 알아보자.

Completeness : A computer should have a set of instructions so that the user can construct machine language programs to evalute any functions that is know to be computable. 어떤 기능에 대하여 구현할 모든 명령어 set을 가져야함 - Categories of instructions that should be covered 1. Arthmetic / Logical : 산술 연산 논리 연산 2. Data Transtfer (including I/O) 3. Control Transfer Instruction Orthogonality : Instructions are ortho..

TODAY’S QUESTION  Is Propositional Logic Not Enough? 명제논리로는 충분하지 않습니까?  What are quantifiers and how to use them? P ROPOSITIONAL LOGIC NOT ENOUGH  If we have: (the Socrates Example)  “All men are mortal.”  “Socrates is a man.”  Does it follow that  “Socrates is mortal?”  No.  Can’t be represented in propositional logic.  Need a language that talks about objects, their properties, and t..

1주차 2차시 수업 Course Introduction Ch. 1. The Foundations: Logic and Proofs A proposition is a declarative sentence that is either true or false.  Practice Discrete Mathematics – The Moon is made of green cheese. – Trenton is the capital of New Jersey. – Toronto is the capital of Canada. – 1 + 0 = 1 – 0 + 0 = 2 – Sit down! – What time is it? – 𝑥 + 1 = 2 – 𝑥 + 𝑦 = 𝑧  Constructing Propositions  The..

230919 고스터디 설명 목차 index 1. week3 problem 1~4 진행 ㄴ 각각 문제 풀이 후 설명