TOP500

Chinese television drama

{c}
{wiki}

= Taoist
{synonym}

= 道教
{synonym}
{title2}


Taoism

Laser vendor

Symmetric and public-key cryptography

Gene

Personal name

{wiki}

This is the part of the <formalization of mathematics> that deals only with the propositions.

In some systems, e.g. including <Metamath>, <modus ponens> alone tends to be enough, everything else can be defined based on it.


Propositional logic

{c}
{wiki}

= UML
{c}
{synonym}
{title2}


Unified Modeling Language

Characteristic polynomial

{wiki}

= DBMS
{c}
{synonym}

A <software> that implements some database system, e.g. <PostgreSQL> or <MySQL> are two (widely extended) <SQL> implementations.


Ciro Santilli @cirosantilli 37