검색 결과

Show GN: Algorithm Addict - 이산수학·알고리즘을 단원별 문제로 학습하는 Android 퀴즈 앱

Show GN: Algorithm Addict - 이산수학·알고리즘을 단원별 문제로 푸는 안드로이드 퀴즈 앱

이산수학과 알고리즘을 18개 단원, 800개 이상의 문제로 학습하는 Android 앱. 명제 논리·그래프·트리·BFS·DFS·최소 신장 트리 등을 객관식과 단답형으로 제공.

1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유

1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유

Principia Mathematica가 참조 투명성, 타입, 자유 변수와 바인딩 변수, 치환, 스코프 같은 현대 프로그래밍 언어의 핵심 개념을 이미 다뤘다고 설명함. 명제 함수와 겉보기 변수 개념이 람다 항, 바인딩 변수, 알파 동등성, 캡처 회피 치환과 대응된다는 점을 짚음.

πFS - 데이터를 하드 드라이브 대신 π에 저장하는 파일 시스템

πFS - 데이터를 하드 드라이브 대신 π에 저장한다는 파일 시스템

πFS는 파일을 디스크가 아니라 π에 저장한다는 발상을 구현한 실험적 파일 시스템임. π가 가능한 모든 파일을 포함한다는 수학적 가정에 기반한 개념 증명 성격의 프로젝트임.