기록노트

[ 초보자를 위한 C# 200제 ] C#_001 /* * 두 수를 입력받는다. * 두 수를 각각 int로 변환한다. */ using System; // System에 있는 콜솔을 사용한다. using System.Collections.Generic;using System.Linq;using System.Text; namespace Project_001{ class Program // Program라는 구역(클래스) 선언부 { static void Main(string[] args) // 모든 프로그램의 시작 부분 { Console.Write("\n덧셈을 하려고 합니다. 두 수를 입력하세요. \n"); Console.Write("첫 번째 수를 입력하세요: "); // 두수를 입력하라는..

4-1. 앨런 튜링과 에니그마 더 알아가기 앨런 튜링 1분만에 흝어보기 영국의 수학자, 논리학자. 계산기가 어디까지 논리적으로 작동할 수 있는가에 대하여 처음으로 지적인 실험을 시도한 학자로 유명하며, 제2차 세계대전에서 독일 나치의 암호체계, 에니그마를 풀어내 연합군을 승리에 큰 공헌을 이바지한 사람이다. 컴퓨터공학 및 정보공학의 이론적 토대를 마련해, 오늘 날에는 컴퓨터 공학의 아버지라고 불리는 천재 수학자이기도 하다. 튜링 기계라는 개념을 도입하고 알고리즘의 개념을 공식화하여 컴퓨터공학의 이론적 토대를 마련하였고, 튜링 봄베를 개발하여 훗날의 콜로서스라는 프로그래밍이 가능한 전자 컴퓨터의 기술적 토대를 만들었다. 튜링 테스트라고 불리는 ..

4. 앨런 튜링과 튜링 기계 2.1 기계적 계산의 정의: 튜링기계[ 책 p.31~34 ] 제2차 세계대전에서 독일 나치의 암호체계, 에니그마를 풀어내 연합군을 승리에 큰 공헌을 이바지한 사람이자, 컴퓨터 공학의 아버지라고 불리는 천재 수학자, 앨런 튜링은 괴델의 증명을 단도직입적으로 다시 증명했다. 그는 "기계적인 방식"이 뭔지를 정의내렸고, 그 방식만으로는 모든 사실을 만들 수 없음을 증명했다. 튜링은 다섯 종류의 단순한 기계 부품들을 정의하고 그 부품들로 만든 기계로 돌릴 수 있는 것만을 "기계적인 방식"이라고 정의했다. 그리고 이 방식으로는 절대 돌릴 수 없는 계산 문제를 하나 보여 기계적인 방식으로는 모든 참인 명제를 만들어낼 수 없다는 결론을 이끌어 냈다. 그는 우선 자신이 정의한 "기계적인 방..

3. 데이터, 값 형식과 참조 형식, 그리고 스택과 힙 1. 데이터 에니악 시절에 다루던 데이터는 수뿐이었다. 컴퓨터의 성능이 좋아지고 값이 싸지면서 다양한 곳에서 컴퓨터 활용되기 시작했고 그 용도도 다양해졌다. C#은 다양한 종류의 데이터 형식(Data Type) 제공한다. 데이터 형식은 기본 데이터 형식(Primitive Type)과 복합 데이터 형식(Complex Data Type)으로 나눠진다. 복합 데이터 형식의 종류에는 구조체, 클래스, 배열, 등이 있다. 또, 값 형식(Value Types)과 참조 형식(Reference Types)으로도 분류가 가능한데 이 두 형식은 기본 데이터 형식과 복합 데이터 형식, 모두에게 존재한다. 2. 값 형식과 참조 형식, 스택과 힙 값 형식(Value Typ..

2. 닷넷 프레임워크 & CLR 1. 닷넷 프레임워크(.NET Framework) 닷넷 프레임워크는 다양한 클라이언트(데스크탑, 모바일, 등)와 다양한 응용 프로그램(웹 서비스, 리모팅 서비스, 닷넷 응용 프로그램 등)에 대한 닷넷 환경을 통합적으로 제공한다. 또, 응용 프로그램이나 웹 서비스의 제작(build), 배포(deploy), 운영(develop)을 위해 제공된 환경이다. 닷넷 프레임워크는 CLR(Common Language Runtime Runtime), BCL(Base Class Libarry), Data and XML, Web/Window Form, CLS(Common Language Specification)으로 구성되어 있다. BCL, Data and XML, Web/Window For..

1. 기본 틀 이해하기 using System; namespace BrainCSharp { class Project { // 프로그램 실행이 시작하는 곳 static void Main(string[]args) { Console.WriteLine("Hello, World!"); } } } 1. using System { } using은 C#의 키워드 중 하나이고, System은 텍스트로 같은 데이터를 다룰 수 있는 기본적인 데이터 처리 클래스를 비롯한 C# 코드가 기본적으로 필요로 하는 클래스를 담고 있는 네임스페이스이다. 즉, using System은 System 네임스페이스 안에 있는 클래스를 사용하겠다고 컴파일러에 알리는 역할이다. 2. namespace BrainCSharp { } namespace..

3. 괴델의 불완전성 정리 1.5 괴델의 불완전성 정리와 튜링의 증명[ 책 p.27~31 ] 하지만 20세기 수학자들의 원대한 꿈은 1931년, 3년만에 쿠르트 괴델이라는 젊은 수학자에 좌절된다. 그는 다음과 같이 말했다. 진리임에도 증명될 수 없는 수학적 명제가 존재한다. 그는 기계적인 방식만으로는 참인지 거짓인지 판결할 수 없는 명제가 항상 존재한다고 말했다. 즉, 힐베르트가 주장한 "기계적인 방식으로 모든 명제를 만들어내는 것"은 불가능하다는 것이었다. 조금 수학적으로 들어간다면 다비트 힐베르트는 집합론의 공리를 제안했지만, 버트런드 러셀이 러셀의 역리를 발표하며 흔들리게 되고, 쿠르트 괴델에 의해 완전히 좌절되고 만다. 이는 수학들에게 수학기초론의 근본적인 인식에 동의하게 되는 계기를 마련해주어 ..