«logic» 태그된 질문

수학적 논리와 부울 대수와 관련된 문제.

30
수학은 사실입니다. 프로그래밍이 아닙니다
수학에서 느낌표는 !종종 계승을 의미 하며 인수 뒤에옵니다. 느낌표를 프로그래밍 할 때 !종종 부정을 의미 하며 인수 앞에옵니다. 이 과제에서는 이러한 작업을 0과 1에만 적용합니다. Factorial 0! = 1 1! = 1 Negation !0 = 1 !1 = 0 제로 이상의 문자열을 가지고 !'의 다음의, 0또는 10 개 이상의 뒤에, …

30
후행 진실을 세 어라
사랑하는 친구와 동료에게 영감을 받아 기억합니다. Dan Baronet , 1956 – 2016. RIP 그는 이 작업에서 가능한 가장 짧은 APL 솔루션 을 찾았 습니다 . 태스크 부울 목록이 주어지면 후행 진리 값의 수를 세십시오. 사례 {} → 0 {0} → 0 {1} → 1 {0, 1, 1, 0, 0} → …

12
알렉스가 때때로 옳다
이 문제는 우리 모드의 영혼 들어하는 것입니다 알렉스 A. 일반적으로, 잘못을 . 기본 논리와 수학, 특히 수학적 동등성에 대한 도움이 필요한 Alex라는 친구가 있다고 가정합니다 . 그는 [variable] = [variable]a [variable]가 항상 단일 대문자 A에서 Z (소문자가 아닌 숫자가 아닌 다른 형식) 인 형식의 방정식 목록을 제공합니다 . 이라고 만 …
50 code-golf  math  logic 

30
첫 번째 사람이 되십시오 (첫 번째 Truthy 만 남기십시오)
소개 매년 Dyalog Ltd. 는 학생 경쟁을 개최합니다. 좋은 APL 코드 를 작성 해야 합니다. 이것은 올해 여덟 번째 문제의 언어에 구애받지 않는 코드-골프 판입니다. 본인은 대회의 원저자로부터이 과제를 게시 할 수있는 명시적인 허가를 받았습니다. 제공된 링크 를 따르고 저자에게 연락하여 자유롭게 확인 하십시오. 문제 부울 * 목록이 주어지면 첫 …

11
Stackylogic 실행
Stackylogic 난에 그 인출 구성된 로직 기반의 프로그래밍 언어 0의과 1입력의를 단일 출력 0또는 1시 완료. Stackylogic 프로그램은 세 개의 문자 만 포함 할 수있는 행으로 구성되며 한 행 의 끝에 01?정확히 한 문자 만 포함 <됩니다. 라인은 비워 둘 수 없습니다 수 있으며, 함께 라인은 <적어도 하나 있어야합니다 0, …

4
돼지는 날 수 있습니까?
태스크 당신의 임무는 몇 가지 진술을 분석하고 돼지가 날 수있는 진술에서 결론을 내릴 수 있는지 결정하는 선택한 언어로 기능이나 프로그램을 작성하는 것입니다. 입력 입력은 STDIN에서 읽거나 함수 인수로 가져 오거나 파일에 저장할 수있는 문자열입니다. 입력은 다음 EBNF를 사용하여 설명 할 수 있습니다. input = statement , {statement}; statement = (("Pigs …

3
(A → B) → (¬B → ¬A)
글쎄, 나는 우리가 또 다른 증명 골프 질문을 할 때라고 생각합니다 . 이번에는 잘 알려진 논리적 인 진실을 증명할 것입니다 ( A → B ) → ( ¬ B → ¬ A )(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) 이를 위해 우리는 Łukasiewicz의 세 번째 Axiom Schema ( …
38 logic  proof-golf 

18
1 학년 카운팅 운동 자동화
코드 골프 챌린지 PWSSHHHH! 당신은 3000 년에 극저온 실험실에서 깨어났습니다. 당신의 경력 칩, 아마도 배달 소년의 경력 칩을 받기 위해 배정 사무소로 호위를 받으면, 프로브는 당신이 2000 년 출신임을 감지합니다. 고정 관념, 당신은 오늘날의 현대 인간에 비해 어리석은 것으로 간주 되며 초등학교를 반복해야합니다. 1 학년 교실에 들어가면 교사가 과제를주고 있습니다. …

30
ASCII 삼각형
당신의 임무는 ASCII 삼각형을 인쇄하는 프로그램이나 함수를 작성하는 것입니다. 그들은 다음과 같이 보입니다 : |\ | \ | \ ---- 프로그램은 n제약 조건 이있는 단일 숫자 입력을 0 <= n <= 1000받습니다. 위 삼각형의 값은 n=3입니다. ASCII 삼각형에는 n백 슬래시 ( \) 및 세로 막대 ( |), n+1선 및 대시 …
30 code-golf  ascii-art  code-golf  rubiks-cube  code-golf  path-finding  maze  regular-expression  code-golf  math  rational-numbers  code-golf  kolmogorov-complexity  graphical-output  code-golf  tips  code-golf  string  permutations  code-golf  sorting  base-conversion  binary  code-golf  tips  basic  code-golf  number  number-theory  fibonacci  code-golf  date  code-golf  restricted-source  quine  file-system  code-golf  code-golf  math  code-golf  ascii-art  code-golf  math  primes  code-golf  code-golf  math  matrix  code-golf  string  math  logic  factorial  code-golf  palindrome  code-golf  quine  stateful  code-golf  interactive  code-golf  board-game  code-golf  math  arithmetic  code-golf  string  code-golf  math  matrix  code-golf  math  abstract-algebra  polynomials  code-golf  date  code-golf  string  array-manipulation  sorting  code-golf  game  code-golf  string  code-golf  ascii-art  decision-problem  code-golf  number  sequence  code-golf  code-golf  code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 

26
디지털 섬 피보나치
우리는 모두 피보나치 시퀀스에 익숙 합니다 . 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 그러나 대신에, f(n) = f(n-1) + f(n-2)우리는 이전 2 개의 항목의 디지털 합계 를 취할 것 입니다. 0, 1차이가 급격히 나타난 후 …

3
제가 틀렸다는 것을 증명 해보세요!
소개 인생에서 당신의 사명은 간단합니다 : 인터넷에서 사람들을 잘못 증명하십시오! 이를 위해 일반적으로 진술을 신중하게 분석하고 모순을 지적하십시오. 이것을 자동화 할 때가되었지만, 게 으르면서 가능한 한 최소한의 노력으로 (사람들이 가장 짧은 코드를 읽음) 잘못을 증명하고자합니다. 사양 입력 입력 한 내용은 일반적인 형태 의 공식입니다 . 형식의 경우, 언어의 요구에 따라 …
22 code-golf  math  logic 

2
기존 골프
수학에는 많은 기호가 있습니다. 일부는 너무 많은 기호를 말할 수 있습니다. 그림으로 수학을 해봅시다. 우리가 그릴 종이를 만들어 봅시다. 종이를 비우려면 또는 .사실⊤⊤\top참된참된\textit{true} 우리가 종이에 다른 것을 쓰면 그것들도 사실입니다. 예를 들어 클레임 및 가 참 임을 나타냅니다 .Q피피P큐큐Q 이제 우리가 어떤 진술에 동그라미를 그리면 그 진술이 거짓이라고 말합시다. 논리적이지 …
22 math  logic  proof-golf 

3
인생이 레몬을 줄 때 레모네이드 만들기
도전 당신은 어디 단어, 입력 문자열이 주어집니다 "Lemon"이 변환되어야 발견 "Lemonade" 하지만a , d그리고 e문장에 다른 곳에서 빌려해야합니다. 예 입력 예 : 어렸을 때 레몬을 찾았 어요 출력 예 : 내가 어렸을 때 레모네이드를 찾았 어 레모네이드는 원본에서 다음 첨자 문자를 도용하여 만든 내가 foun D 레모네이드 어 전자 N …
21 code-golf  string  code-golf  parsing  internet  stack-exchange-api  code-challenge  kolmogorov-complexity  restricted-source  brain-flak  python  logic  pyth  code-golf  string  search  optimized-output  code-golf  tips  language-design  golfing-language  code-golf  tips  language-design  code-golf  number  sorting  pi  code-golf  math  number  code-golf  string  balanced-string  classification  brain-flak  code-golf  math  number-theory  decision-problem  code-golf  tips  code-golf  number  sequence  code-golf  balanced-string  brain-flak  code-golf  math  sequence  arithmetic  fibonacci  code-golf  math  parsing  code-golf  string  keyboard  code-golf  code-golf  string  source-layout  whitespace  code-golf  math  rational-numbers  code-golf  string  code-golf  string  code-golf  math  sequence  code-golf  number  floating-point  code-golf  string  decision-problem  subsequence  code-golf  string  kolmogorov-complexity  code-golf  string  permutations  balanced-string  brain-flak  code-golf  string  math  number  code-golf  string  primes  cipher  code-golf  string  ascii-art  chemistry  code-golf  ascii-art  grid  counting  code-golf  math  arithmetic  integer  code-golf  number  kolmogorov-complexity  code-golf  ascii-art  kolmogorov-complexity  sequence  metagolf  brain-flak  code-golf  ascii-art  kolmogorov-complexity  code-golf  string  whitespace 

3
DeMorgan의 법칙 증명
자연 공제 시스템 의 10 가지 추론을 사용하면 DeMorgan의 법칙이 입증 됩니다. 자연 공제 규칙 부정 소개 : {(P → Q), (P → ¬Q)} ⊢ ¬P 부정 제거 : {(¬P → Q), (¬P → ¬Q)} ⊢ P 그리고 소개 : {P, Q} ⊢ P ʌ Q 그리고 제거 : P …

30
주어진 너비로 #의 빈 사각형을 그립니다.
Codingame 에서이 도전을 받았으며 내 것보다 더 나은 솔루션이 궁금합니다. 표준 입력을 통한 너비가 주어지면 주어진 너비와 길이로 빈 사각형 '#'을 그립니다. 예: 5 결과 ##### # # # # # # ##### 나는 이것을 사용하여 파이썬을 사용하여 다른 파이썬 코드에 특히 관심이 있습니다. 그러나 원하는 언어로 솔루션을 게시하십시오.
21 code-golf  string  ascii-art  number  code-golf  grid  code-golf  string  ascii-art  code-golf  alphabet  cipher  code-golf  math  number  code-golf  quine  code-golf  palindrome  polyglot  code-golf  number  array-manipulation  counting  logic  code-golf  string  primes  binary  decision-problem  code-golf  ascii-art  kolmogorov-complexity  popularity-contest  code-golf  probability-theory  code-golf  string  code-golf  python  polyglot  programming-puzzle  c++  code-golf  math  code-golf  binary  integer  bitwise  code-golf  rational-numbers  code-golf  string  palindrome  code-golf  ascii-art  code-golf  code-golf  string  fibonacci  code-golf  math  sequence  code-golf  code-golf  string  palindrome  code-golf  string  code-golf  math  primes  source-layout  code-golf  sequence  binary  integer  code-golf  math  arithmetic  game  code-golf  restricted-source  palindrome  code-golf  restricted-source  palindrome  code-golf  combinatorics  binary  code-golf  string  math  code-golf  ascii-art  number  code-golf  cipher  code-golf  base-conversion  counting  code-golf  sequence  random  classification  code-golf  string  subsequence  code-golf  permutations  code-golf  string  code-golf  string  cipher  code-golf  kolmogorov-complexity  arithmetic  integer  code-golf  quine  markov-chain  code-golf  string  code-golf  code-golf  ascii-art  maze 

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.