Matrosov mirzoev (1 resultados)
Editorial: Prometej 2020
- Tapa dura
Librería: Ruslania, Helsinki, , FinlandiaRuslania
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 22,00
Envío por EUR 15,00Se envía de Finlandia a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: new. Pages: 228 Language: Russian. V uchebnike izlozheny osnovnye ponjatija matematicheskoj logiki, jazyk i sredstva matematicheskoj logiki, v tom chisle sistemy logicheskikh funktsij i ikh primenenie v informatike. Rassmatrivajutsja osnovnye razdely matematicheskoj logiki: algebra vyskazyvanij; ischislenija vyskazyva…nij i logika predikatov. Algoritmicheskim podkhodom po shagam predstavleno dokazatelstvo teorem iz aksiomaticheskoj teorii L. Pomimo teoreticheskikh i prakticheskikh materialov uchebnik soderzhit zadanija dlja samostojatelnoj raboty.Soderzhanie uchebnika sootvetstvuet Federalnomu gosudarstvennomu obrazovatelnomu standartu vysshego obrazovanija tretego pokolenija i metodicheskim trebovanijam, predjavljaemym k uchebnym izdanijam.Uchebnik prednaznachen dlja studentov vysshikh uchebnykh zavedenij, obuchajuschikhsja po napravleniju pedagogicheskogo obrazovanija profilej "Informatika i matematika", "Fizika i informatika", "Tekhnologija i informatika", "Matematika i informatika", "Prikladnaja informatika". Mozhet byt polezen shirokomu krugu chitatelej, interesujuschikhsja osnovami matematicheskoj logiki. 9785907244030.
