Uchebnoe posobie sostawleno na osnowe opyta, sobrannogo awtorom na lekciqh i seminarskih zanqtiqh dlq studentow fakul'teta awtomatiki i komp'üternoj tehniki Azerbajdzhanskogo Tehnicheskogo uniwersiteta. Jeto uchebnoe posobie prednaznacheno dlq studentow, magistrantow, doktorantow, uchenyh i specialistow. Matematicheskaq logika shiroko primenqetsq w informacionnyh tehnologiqh, programmirowanii, matematicheskoj lingwistike, w sistemah iskusstwennogo intellekta, w uprawlenii informacionnymi bazami dannyh, w prinqtii reshenij w organizacii i uprawlenii äkonomicheskimi sistemami.