1. Books
  2. Textbooks
  3. Textbooks and Teaching Material for colleges and Universities
  4. Matematicheskaja logika. Uchebnik dlja bakalavriata

Matematicheskaja logika. Uchebnik dlja bakalavriata

Математическая логика. Учебник для бакалавриата
Matematicheskaja logika. Uchebnik dlja bakalavriata
Language
Publisher
Publication year
Format
Pages
228
ISBN
978-5-907244-03-0
Price:
22.00 € 20.00 € w/o VAT
 
Shipment: 2-4 weeks from the moment of the order
Add to shopcart Add to favourites
В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории 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
BIC category:
YQ
More like this
  • Vinogradov S. N.
    Publication year: 2022
    Hardcover
    38.00 €
    34.55 € w/o VAT
  • Borovkov A. A.
    Publication year: 2021
    Hardcover
    96.00 €
    87.27 € w/o VAT
  • Trukhan Aleksandr Alekseevich
    Publication year: 2021
    Hardcover
    79.00 €
    71.82 € w/o VAT
  • Trukhan Aleksandr Alekseevich
    Publication year: 2021
    Hardcover
    75.00 €
    68.18 € w/o VAT
  • Burda A. G.
    Publication year: 2021
    Hardcover
    29.00 €
    26.36 € w/o VAT
  • Budaev V. D.
    Publication year: 2021
    Hardcover
    58.00 €
    52.73 € w/o VAT
  • Fikhtengolts G. M.
    Publication year: 2022
    Hardcover
    55.00 €
    50.00 € w/o VAT
  • Fikhtengolts G. M.
    Publication year: 2021
    Hardcover
    48.00 €
    43.64 € w/o VAT
  • Fikhtengolts G. M.
    Publication year: 2021
    Hardcover
    60.00 €
    54.55 € w/o VAT
  • Glukhov M. M.
    Publication year: 2021
    Paperback
    27.00 €
    24.55 € w/o VAT