Author | |
---|---|
Publishing house | |
ISBNs | 978-5-97060-622-3 |
Binding | |
Pages | |
The weight | 0,51 kg |
Size | 165 × 235 mm |
Format | |
The year of publishing |
Delivery
€19,99
Only 1 available
Only 1 available
The book contains basic information from formal logical systems. These are functions of the algebra of logic (Boolean functions), Post's theorem on functional completeness, k-valued logics, derivatives of Boolean functions, axiomatic calculus of statements, predicates, sequents, resolutions and the Prolog programming language. Monadic logic, finite automata and the languages they represent, temporal logic, and the axiomatic programming language OBJ3 are considered.
Author | |
---|---|
Publishing house | |
ISBNs | 978-5-97060-622-3 |
Binding | |
Pages | |
The weight | 0,51 kg |
Size | 165 × 235 mm |
Format | |
The year of publishing |
All payment transactions are encrypted and absolutely safe.
All payment transactions are encrypted and absolutely safe.
Delivery across the countries of geographic Europe (including the UK, Norway): We send orders by mail, UPS, HRX, DPD and DHL.
When ordering from €49.99 - we deliver the package for free! For smaller orders, standard shipping costs €14.99. You can calculate the express shipping cost by adding the item to your shopping cart.
To Malta, Cyprus, Greek, Canary, Aland, Azores - we send parcels only by mail. Delivery can take up to 1,5 months.
Delivery in Ukraine is paid and only by mail, the amount of delivery is calculated depending on the weight.
Delivery to other countries of the world: Shipping costs can be calculated by adding the item to your shopping cart.
All orders in Latvia, Lithuania and Estonia are delivered via parcel machines Omniva, Venipak Pickup Point and courier service Venipak.
Terms of standard delivery in Latvia 2-3 working days after the order has been processed, depending on the payment method and delivery location.
Delivery times to Lithuania, Estonia - 2-4 working days after order processing. In the case of delivery by courier service in the Baltic countries, the day before or on the day of delivery, the courier will contact you in advance to confirm the address and specify the delivery time.
Information Technology
Clean code: creation, analysis and refactoring. Programmer's Library
Information Technology