my_lesson325 Linux - Install Ubuntu on Windows:윈도우에서 우분투 설치하기 Install Ubuntu Desktop on Windows 윈도우에서 우분투 설치하기 Sequence of installation 설치순서 Description of Ubuntu is a Debian-based Linux operating system(데비안 리눅스에 기초한 우분투 소개) Download Ubuntu(우분투 다운로드) Make a USB installer(USB 인스톨러 만들기) Install Ubuntu on Windows(윈도우에서 우분투 설치하기) Install Ubuntu Server on Windows Main Description of Ubuntu is a Debian-based Linux operating system(데비안 리눅스에 기초한 우분투 소개) 2015. 11. 28. Linux - Ubuntu Download _Korea mirroring Ubuntu Download 2 공식 사이트3 국내 FTP 미러 서버3.1 DaumKakao3.2 KAIST3.3 Neowiz 한국 미러 사이트에서 다운로드 받이시기 바랍니다. 공식 사이트는 속도가 느립니다. 2015. 11. 26. 명제 논리학 명제 논리학 명제 논리(命題論理, propositional logic [1] )는 논리식을 이용해 명제를 기술하는 형식 체계이다. 명제 논리는 기호논리학의 가장 기초적인 영역이다. 사고를 개념으로까지 분해하는 고전논리학에 과는 달리, 사고의 최소 구성단위를 명제(원자적 명제)로 하여 명제의 내용·구조에는 개입하지 않고 각 명제 사이의 결합관계만을 연구한다. 명제의 결합을 4-6종의 기호로 통일적으로 나타내고, 각 명제를 진위(진리값)의 관점으로부터만 생각하여 복합적 명제의 진위를 원 명제의 진위로부터 수학적 계산법에 의해 결정하려고 한다(論理計算). 2015. 8. 22. 술어 논리학 술어 논리학 술어 논리(predicate logic)는 \forall, \exists 등의 술어 기호를 사용하는 논리 구조를 의미한다. 일반적으로 1차 술어논리가 많이 사용되지만, 2차 논리 등 고차 술어논리도 사용된다. 함수논리 또는 양화(量化)의 논리라고도 하며, 명제 논리(命題論理)보다 확장된 논리이다. 순수한 명제 논리 만으로는 지식표현을 일반화 할 수 없으며, 또한 주어진 명제로부터 새로운 결론을 유도해 낼수가 없으므로 술어논리를 이용해 이러한 문제를 해결한다. 술어논리는 하나의 명제를 술어와 그 술어의 수식을 받는 객체로 분리하여 '술어(객체)'의 형태로 표현한다. 하나의 명제를 술어와 객체로 분리하여 표현한다. 하나의 술어는 하나 이상의 객체를 수식할 수 있다. 또한 객체는 상수가 사용될 수.. 2015. 8. 22. 기호 논리학 기호 논리학 수학적 연산을 할 수 있도록 논리 형식을 기호화하여 다루는 논리학. 수학적 이론 가운데 대수학(代數學)에서처럼 언어 대신 기호를 활용하여 언어의 모호성이나 제약을 없애고 논리 체계의 순수성과 엄밀성에 치중하여 논리의 구조를 밝히려고 하는 형식 논리학으로, 19세기 후반 불, 프레게, 러셀 등에 의하여 논리학의 주요 부분으로 발전하였다. 2015. 8. 22. 본문 중간에 애드센스 광고 넣기 본문 중간에 애드센스 광고 넣기 본문 중간에 애드센스 광고를 넣으면 효과가 좋다고 합니다. 본문 중간에 애드센스를 넣는 가장 쉬운 방법은 광고 코드를 포스트마다 삽입하는 것입니다. 그런데 이 방법에는 문제가 있습니다. 광고를 제거하거나 다른 광고로 바꿀 때 포스트를 하나하나 수정해야 한다는 것입니다. 하지만 JavaScript를 이용하면 본문 중간에 쉽게 광고를 넣었다 뺐다 할 수 있습니다. HTML 모드에서 광고가 위치할 곳에 다음의 코드를 넣습니다. skin.html에 다음의 코드를 넣습니다. 아무 곳에 넣어도 상관 없습니다. 빨간색 코드는 자신의 애드센스 광고 코드로 변경하셔야 합니다. 빨간색 코드에 다른 광고 코드를 넣으면 그 광고가 나옵니다. 광고를 제거하고 싶으면 빨간색 코드를 지우거나 ski.. 2015. 8. 22. 이전 1 ··· 37 38 39 40 41 42 43 ··· 55 다음
