1. Kirjat
  2. Luonnontieteet
  3. Matematicheskaja logika. Uchebnik i praktikum

Matematicheskaja logika. Uchebnik i praktikum

Математическая логика. Учебник и практикум
Matematicheskaja logika. Uchebnik i praktikum
Kieli
Mitat
250/160/20 mm
Kustantaja
Ilmestymisvuosi
Sidosasu
Sivumäärä
212
ISBN
978-5-534-01114-2
 
Tuote poistunut valikoimasta.
Ilmoita kun saatavana Lisää suosikkeihin
В учебнике предлагается широкий обзор методов постановки и решения задач в различных приложениях, использующих классическую логику предикатов первого порядка. Задачи выполняются как доказательство теорем по шагам, что позволяет сформулировать интуитивное представление и доказать существование решения. Использование языка логики позволяет понять содержание требуемых процедур и перейти к алгоритмизации. Широко трактуется интерпретация логики в различных областях. Предлагаемые упражнения и примеры иллюстрированы доказательствами, по возможности вербальными, что позволяет приобрести опыт в работе с разными задачами и направлениями. Полезно знакомство с другими интерпретациями, сложившимися исторически в рамках классической логики. Не всегда это строгая теория, и чаще требуется определение свойств новых областей и поиск подходящих методов работы с данными (фактами). Материал будет полезен для обучения бакалавриата, имеющего базовые знания в дискретной математике, алгоритмизации и...
V uchebnike predlagaetsja shirokij obzor metodov postanovki i reshenija zadach v razlichnykh prilozhenijakh, ispolzujuschikh klassicheskuju logiku predikatov pervogo porjadka. Zadachi vypolnjajutsja kak dokazatelstvo teorem po shagam, chto pozvoljaet sformulirovat intuitivnoe predstavlenie i dokazat suschestvovanie reshenija. Ispolzovanie jazyka logiki pozvoljaet ponjat soderzhanie trebuemykh protsedur i perejti k algoritmizatsii. Shiroko traktuetsja interpretatsija logiki v razlichnykh oblastjakh. Predlagaemye uprazhnenija i primery illjustrirovany dokazatelstvami, po vozmozhnosti verbalnymi, chto pozvoljaet priobresti opyt v rabote s raznymi zadachami i napravlenijami. Polezno znakomstvo s drugimi interpretatsijami, slozhivshimisja istoricheski v ramkakh klassicheskoj logiki. Ne vsegda eto strogaja teorija, i chasche trebuetsja opredelenie svojstv novykh oblastej i poisk podkhodjaschikh metodov raboty s dannymi (faktami). Material budet polezen dlja obuchenija bakalavriata, imejuschego bazovye znanija v diskretnoj matematike, algoritmizatsii i...
Tuoteryhmä
EAN
9785534011142
YKL-kirjastoluokitus:
80.71
Lisää samankaltaisia
  • Taratukhina Ju. V.
    Ilmestymisvuosi: 2023
    Kova kansi
    34.00 €
    30.91 € veroton
  • Olga Trubitsina
    Ilmestymisvuosi: 2020
    Kova kansi
    47.00 €
    42.73 € veroton
  • T. N. Smirnova
    Ilmestymisvuosi: 2017
    Kova kansi
    35.00 €
    31.82 € veroton
  • Kuvshinskaja Ju. M.
    Ilmestymisvuosi: 2023
    Kova kansi
    33.00 €
    30.00 € veroton
  • Taratukhina Ju. V.
    Ilmestymisvuosi: 2023
    Kova kansi
    39.00 €
    35.45 € veroton
  • Ilmestymisvuosi: 2024
    Kova kansi
    46.00 €
    41.82 € veroton
  • Novitskij Ivan Borisovich
    Ilmestymisvuosi: 2023
    Kova kansi
    30.00 €
    27.27 € veroton
  • Golub Irina Borisovna
    Ilmestymisvuosi: 2023
    Kova kansi
    53.00 €
    48.18 € veroton
  • V. E. Putyrskij
    Ilmestymisvuosi: 2020
    Kova kansi
    55.00 €
    50.00 € veroton
  • D. O. Churakov
    Ilmestymisvuosi: 2020
    Kova kansi
    45.00 €
    40.91 € veroton