Câu hỏi được gắn thẻ «logic»

Đối với những thách thức liên quan đến logic toán học và đại số boolean.

30
Toán học là thực tế. Lập trình không
Trong toán học, một dấu chấm than !thường có nghĩa là giai thừa và nó xuất hiện sau khi lập luận. Trong lập trình, một dấu chấm than !thường có nghĩa là phủ định và nó xuất hiện trước đối số. Đối với thử thách này, chúng tôi sẽ chỉ …
30
Đếm sự thật
Lấy cảm hứng từ, và trong ký ức của người bạn và đồng nghiệp thân yêu của tôi, Dan Baronet , 1956 - 2016. RIP Ông tìm thấy giải pháp APL ngắn nhất có thể cho nhiệm vụ này: Bài tập, nhiệm vụ Đưa ra một danh sách Boolean, đếm …
12
Alex đôi khi đúng
Thử thách này là để nâng đỡ tinh thần của mod Alex A. của chúng tôi , người thường sai . Giả sử bạn có một người bạn tên Alex, người cần sự giúp đỡ về logic và toán học cơ bản, cụ thể là tương đương toán học . …
50 code-golf  math  logic 
11
Chạy Stackylogic
Stackylogic là một ngôn ngữ lập trình logic dựa trên tôi đã quyết rằng mất trong 0's và 1' s cho đầu vào và đầu ra một single 0hoặc 1hoàn thành thuận. Một chương trình Stackylogic bao gồm các dòng chỉ có thể chứa ba ký tự 01?cũng như chính …
4
Lợn có thể bay?
Bài tập, nhiệm vụ Nhiệm vụ của bạn là viết một chức năng hoặc một chương trình bằng ngôn ngữ bạn chọn để phân tích một vài câu lệnh và xác định xem liệu nó có thể được kết luận từ những câu mà lợn có thể bay hay không. …
3
(A → B) → (¬B → A)
Vâng, tôi nghĩ rằng đã đến lúc chúng ta có một câu hỏi bằng chứng về golf . Lần này chúng ta sẽ chứng minh sự thật logic nổi tiếng ( Một → B ) → ( ¬ B → ¬ Một )(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg …
38 logic  proof-golf 
26
Tổng số kỹ thuật số
Tất cả chúng ta đều quen thuộc với chuỗi Fibonacci : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Tuy nhiên, thay vì, f(n) = f(n-1) + f(n-2)chúng tôi sẽ lấy tổng số của 2 mục trước. …
30
Tam giác ASCII
Nhiệm vụ của bạn là viết chương trình hoặc hàm in hình tam giác ASCII. Họ trông như thế này: |\ | \ | \ ---- Chương trình của bạn sẽ có một đầu vào số duy nhất n, với các ràng buộc 0 <= n <= 1000. Tam giác …
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 
3
Hay chưng minh tôi sai!
Giới thiệu Nhiệm vụ của bạn trong cuộc sống rất đơn giản: Chứng minh người sai trên internet! Để làm điều này, bạn thường cẩn thận phân tích các tuyên bố của họ và chỉ ra mâu thuẫn trong đó. Đã đến lúc tự động hóa việc này, nhưng vì …
22 code-golf  math  logic 
2
Sân golf hiện sinh
Toán học có rất nhiều biểu tượng. Một số có thể nói quá nhiều biểu tượng. Vì vậy, hãy làm một số toán học với hình ảnh. Hãy có một tờ giấy, mà chúng ta sẽ vẽ. Để bắt đầu bài báo là có sản phẩm nào, chúng tôi sẽ …
22 math  logic  proof-golf 
3
Khi cuộc sống mang lại cho bạn chanh, làm cho nước chanh
Thử thách Bạn sẽ nhận được một chuỗi đầu vào, bất cứ nơi nào từ "Lemon"được tìm thấy nó nên được chuyển đổi sang "Lemonade" nhưng sự a, dvà ephải được mượn từ một nơi khác trong câu. Thí dụ Ví dụ đầu vào: Tôi đã tìm thấy một quả …
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
Chứng minh luật của DeMorgan
Sử dụng mười suy luận của Hệ thống khấu trừ tự nhiên chứng minh luật của DeMorgan . Các quy tắc khấu trừ tự nhiên Giới thiệu phủ định: {(P → Q), (P → ¬Q)} ⊢ ¬P Loại bỏ tiêu cực: {(¬P → Q), (¬P → ¬Q)} ⊢ P Và …
30
Vẽ một hình vuông rỗng # với chiều rộng cho trước
Tôi đã nhận được thử thách này từ Codingame và tò mò về các giải pháp tốt hơn của tôi: Cho chiều rộng thông qua đầu vào tiêu chuẩn, vẽ một hình vuông rỗng '#' theo chiều rộng và chiều dài cho trước. Thí dụ: 5 kết quả trong ##### …
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 
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.