Group Abstract Group Abstract

«Groups
Logic and Boolean Algebra
Join
Logical operators, Boolean computation and vector operations, mathematical logic...

Discussions List Discussions List

Implement Sequent calculus into mathematica

QUESTION FROM: Nickel Paulsen | 12 years ago BY: Sean Clarke
Logic and Boolean Algebra , Mathematica , Mathematics
1
REPLIES
10.2K
VIEWS

[?] Break outer Do loop by an incident in inner Do loop?

QUESTION FROM: S G | 7 years ago BY: Neil Singer
Logic and Boolean Algebra , Mathematics , Wolfram Language
8
REPLIES
10.1K
VIEWS

Evaluate logical expressions using the IMPLIES operator with 8 var in W|A?

QUESTION FROM: Ben Elo | 10 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematics , Wolfram|Alpha
2
REPLIES
10.1K
VIEWS

QuickCheck: a package for automated property-based testing

CONTRIBUTED BY: Pedro Cabral | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
1
REPLIES
10K
VIEWS

A Register Transfer Language and Simulator for Digital Hardware.

CONTRIBUTED BY: George Varian | 8 years ago BY: George Varian
Electrical Engineering , Engineering , Logic and Boolean Algebra , ...
1
REPLIES
10K
VIEWS

Quantum counterpart of classical gates

CONTRIBUTED BY: Shivam Sawarn | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
10K
VIEWS

[WSRP24] Constructing combinators for arithmetic and arbitrary-length bitwise operations

CONTRIBUTED BY: Austin Jiang | 2 years ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
1
REPLIES
10K
VIEWS

[WSRP23] Base N computer simulation: visual analysis and Collatz conjecture

CONTRIBUTED BY: Tyler Rose | 3 years ago BY: EDITORIAL BOARD
Staff Picks , Compilation , Computational Systems , ...
2
REPLIES
9.9K
VIEWS

Set a variable to Binary?

QUESTION FROM: Juan David | 9 years ago BY: Daniel Lichtblau
Logic and Boolean Algebra , Mathematics , Wolfram Language
1
REPLIES
9.9K
VIEWS

Convert from a closed form to the truth table using Boolean functions?

QUESTION FROM: Mary Shepard | 9 years ago BY: Hans Milton
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
9.8K
VIEWS

Use IF, condition with {} ?

QUESTION FROM: margherita ferrucci | 9 years ago BY: margherita ferrucci
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
9.7K
VIEWS

Decently fast SAT solving for wang tiles

CONTRIBUTED BY: Brad Klee | 4 years ago BY: Dean Gladish
Staff Picks , Computational Humanities , Discrete Mathematics , ...
3
REPLIES
9.7K
VIEWS

Comparison of variables

QUESTION FROM: Gerlinde Mientus | 11 years ago BY: Gerlinde Mientus
Economics , Logic and Boolean Algebra , Mathematica , Wolfram Language
2
REPLIES
9.6K
VIEWS

[WSC21] Exploring minimal deep learning systems using Boolean functions

CONTRIBUTED BY: Andri Kadaifciu | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Artificial Intelligence , Data Science , ...
1
REPLIES
9.4K
VIEWS

Loop with definite scope of alpha until the result no longer change?

QUESTION FROM: Reni Todorova | 10 years ago BY: Reni Todorova
Algebra , Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
9.4K
VIEWS

An introduction to quantum computing

CONTRIBUTED BY: Roman Parker | 4 years ago BY: Roman Parker
Staff Picks , Computer Science , Logic and Boolean Algebra , ...
3
REPLIES
9.3K
VIEWS

Getting off the ground with FindEquationalProof

QUESTION FROM: Brian Tenneson | 6 years ago BY: Yehuda Ben-Shimol
Logic and Boolean Algebra , Mathematics , Wolfram Language
5
REPLIES
9.2K
VIEWS

Simplifying expressions with Abs

QUESTION FROM: N DP | 11 years ago BY: N DP
Algebra , Logic and Boolean Algebra , Wolfram Language
1
REPLIES
9.2K
VIEWS

Pick the elements of a matrix in increasing numerical values for loop op?

QUESTION FROM: S G | 9 years ago BY: Anonymous User
Logic and Boolean Algebra , Mathematics , Wolfram Language
2
REPLIES
9.1K
VIEWS

Grover's algorithm: a quantum search algorithm

CONTRIBUTED BY: Mohammad Bahrami | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Computer Science , Graphics and Visualization , ...
1
REPLIES
9.1K
VIEWS
1
2
3
4
5

Group Count Group Count

97 Discussions

Group Branding Group Branding

New Discussion New Discussion

ACTIVE MEMBERS ACTIVE MEMBERS

RELATED GROUPS RELATED GROUPS

RELATED GROUPS
Optimization 552 discussions 935 subscriptions
Mathematics 6K discussions 4K subscriptions
Staff Picks 2K discussions 832 subscriptions
Graphics and Visualization 4K discussions 1K subscriptions
Calculus 1K discussions 2K subscriptions
Computer Science 643 discussions 2K subscriptions
Computational Systems 136 discussions 734 subscriptions