Jump to content

英文维基 | 中文维基 | 日文维基 | 草榴社区

Wikipedia:WikiProject Logic/Boolean algebra task force

From Wikipedia, the free encyclopedia

This page is intended to coordinate efforts of a task force to organize the Wikipedia articles on subjects relating to Boolean algebra, propositional logic, logical connectives, and their applications. The initial goal is to propose a way to organize these articles and announce the proposal to the appropriate wikiprojects.

Current structure

[edit]

Please feel free to expand or correct this section.

Articles

[edit]

Sorted roughly by focus area; many would fit into more than one area.

Introductions

[edit]

Algebra

[edit]

Propositional logic

[edit]

Computer science

[edit]

Boolean functions

[edit]

Disambiguation pages

[edit]

Redirects

[edit]

Boolean algebra

[edit]


Boolean functions and connectives

[edit]


Propositional logic

[edit]


Computer science

[edit]


Lists from Special:Prefixindex

[edit]

Wikiprojects

[edit]

Interested Wikipedians

[edit]

If you are interested in this subject and would like to participate in the discussions or be notified when proposals are ready, please add your name to the list below (the code ~~~ will add the name portion of your signature with no timestamp). You may also want to add this page to your watchlist, or monitor this page and the discussion page for changes.

  1. Carl (CBM · talk)
  2. Hans Adler (talk)
  3. Pomte (talk · contribs)
  4. David Eppstein (talk)
  5. Lambiam
  6. Paul August
  7. Vaughan Pratt (talk)
  8. Trovatore (talk)
  9. Geometry guy
  10. Hugo Herbelin (talk)
  11. Chalst (talk · contribs)
  12. Atasato (talk)