1. Böcker
  2. Läromedel
  3. Textböcker och läromaterial för högskolor och institut
  4. Matematicheskaja logika. Uchebnik dlja bakalavriata

Matematicheskaja logika. Uchebnik dlja bakalavriata

Математическая логика. Учебник для бакалавриата
Matematicheskaja logika. Uchebnik dlja bakalavriata
Författare(r)
Språk
Förlag
Publiceringsår
Sidor
228
ISBN
978-5-907244-03-0
Pris:
22.00 € 20.00 € utan Moms
 
Skickas i 2-4 veckor efter beställningen
Lägg i kundvagn Spara till önskelista
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей "Информатика и математика", "Физика и информатика", "Технология и информатика", "Математика и информатика", "Прикладная информатика". Может быть полезен широкому кругу читателей, интересующихся основами математической логики.
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 vyskazyvanij 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.
EAN
9785907244030
Bibliotekskategori BIC:
YQ
Liknande produkter
  • Vinogradov S. N.
    Publiceringsår: 2022
    Inbunden, hårda pärmar
    38.00 €
    34.55 € utan Moms
  • Borovkov A. A.
    Publiceringsår: 2021
    Inbunden, hårda pärmar
    96.00 €
    87.27 € utan Moms
  • Trukhan Aleksandr Alekseevich
    Publiceringsår: 2021
    Inbunden, hårda pärmar
    79.00 €
    71.82 € utan Moms
  • Trukhan Aleksandr Alekseevich
    Publiceringsår: 2021
    Inbunden, hårda pärmar
    75.00 €
    68.18 € utan Moms
  • Burda A. G.
    Publiceringsår: 2021
    Inbunden, hårda pärmar
    29.00 €
    26.36 € utan Moms
  • Budaev V. D.
    Publiceringsår: 2021
    Inbunden, hårda pärmar
    58.00 €
    52.73 € utan Moms
  • Fikhtengolts G. M.
    Publiceringsår: 2022
    Inbunden, hårda pärmar
    55.00 €
    50.00 € utan Moms
  • Fikhtengolts G. M.
    Publiceringsår: 2021
    Inbunden, hårda pärmar
    48.00 €
    43.64 € utan Moms
  • Fikhtengolts G. M.
    Publiceringsår: 2021
    Inbunden, hårda pärmar
    60.00 €
    54.55 € utan Moms
  • Glukhov M. M.
    Publiceringsår: 2021
    Häftad, mjuka pärmar
    27.00 €
    24.55 € utan Moms