Group Abstract Group Abstract

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

Discussions List Discussions List

[GiF] Genuary 2022: trade styles with a friend

CONTRIBUTED BY: Sander Huisman | 4 years ago BY: EDITORIAL BOARD
Staff Picks , Challenges , Events & Media , ...
1
REPLIES
7.9K
VIEWS

[WSC21] Implementing many-valued logic in The Wolfram Language

CONTRIBUTED BY: Nika Chuzhoy | 5 years ago BY: EDITORIAL BOARD
Staff Picks , Discrete Mathematics , Graphics and Visualization , ...
1
REPLIES
10.3K
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

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

BoolEval package for fast vectorized evaluation of comparisons

CONTRIBUTED BY: Szabolcs Horvát | 7 years ago BY: EDITORIAL BOARD
Staff Picks , Logic and Boolean Algebra , Mathematica Add-Ons , ...
1
REPLIES
17.1K
VIEWS

[WSS18] Resolution Based Automated Theorem Prover for First Order Logic

CONTRIBUTED BY: Jan Stan | 8 years ago BY: Branden Fitelson
Graphs and Networks , Logic and Boolean Algebra , Mathematics , ...
1
REPLIES
12K
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

[R&DL] Q&A with Calculus & Algebra Developers

CONTRIBUTED BY: Keren Garcia | 4 years ago
Algebra , Calculus , Discrete Mathematics , Education , ...
0
REPLIES
2.7K
VIEWS

Verified programming

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 5 years ago
Computer Science , Data Science , Logic and Boolean Algebra , ...
0
REPLIES
3.2K
VIEWS

Exploring the potential of the Wolfram Language in symbolic cryptography

CONTRIBUTED BY: José Manuel Rodríguez Caballero | 6 years ago
Algebra , Computer Science , Cryptography , ...
0
REPLIES
3K
VIEWS

Syntax for a logical / programming / natural language mix

CONTRIBUTED BY: Eric Parfitt | 7 years ago
Computational Linguistics , Logic and Boolean Algebra , Mathematica , ...
0
REPLIES
3.5K
VIEWS

[WSC19] Implementing a Tsetlin Machine Framework

CONTRIBUTED BY: Dmitri Volkov | 7 years ago
Computational Systems , Data Science , Logic and Boolean Algebra , ...
0
REPLIES
11.4K
VIEWS

Boolean algebra, engineering format

CONTRIBUTED BY: Eric Johnstone | 8 years ago
Algebra , Control Systems , Discrete Mathematics , Engineering , ...
0
REPLIES
8.4K
VIEWS

Binary Counter: new downloadable SystemModeler example

CONTRIBUTED BY: Patrik Ekenberg | 10 years ago
Events & Media , Logic and Boolean Algebra , Modeling , Robotics , ...
0
REPLIES
5.8K
VIEWS

[Call] for teachers to develop a course on Computational Logic

CONTRIBUTED BY: Vinay Chaudhri | 10 years ago
Authoring and Publishing , Computer-Based Maths , Computer Science , ...
0
REPLIES
7.3K
VIEWS

Reading and solving Garam puzzles

CONTRIBUTED BY: David Gathercole | 11 years ago
Game Development , Graphics and Visualization , Image Processing , ...
0
REPLIES
11K
VIEWS
1
2

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