\u00cen zilele noastre, logica matematica este \u00eemp\u0103r\u0163it\u0103 \u00een patru subdomenii, fiecare concentr\u00e2ndu-se asupra unor aspecte distincte, dar evident, liniile de demarca\u021bie nu sunt stricte:<\/p>\n
– teoria mul\u0163imilor, care studiaz\u0103 colec\u0163ii abstracte de obiecte si corespondentele \u00eentre ele, av\u00e2nd rol important pentru fundamentele matematicii;<\/p>\n
– teoria demonstratei, care \u00een esen\u021b\u0103 \u00eenseamn\u0103 analiza formal\u0103 a demonstra\u021biilor matematice.<\/p>\n
– teoria modelelor, care este studiul formal al structurilor matematice, av\u00e2nd str\u00e2ns\u0103 leg\u0103tur\u0103 cu algebra abstract\u0103;<\/p>\n
– teoria recursiei (sau teoria calculabilit\u0103\u021bii), care studiaz\u0103 calculabilitatea efectiv\u0103 a func\u021biilor definite pe mul\u021bimea numerelor naturale, av\u00e2nd rol important pentru fundamentele informaticii.<\/p>\n
\u00cen acest curs introductiv dedicat studen\u0163ilor din anul I de la Facultatea de Matematic\u0103 \u0219i Informatic\u0103 vom atinge c\u00e2te o mic\u0103 parte din subiectele men\u021bionate, de multe ori \u00eentr-o manier\u0103 informal\u0103. Sunt incluse \u0219i c\u00e2teva teme elementare de Algebr\u0103, Aritmetic\u0103 \u0219i Combinatoric\u0103 str\u00e2ns legate de cele de mai sus, dar care \u00een mod uzual dep\u0103\u0219esc cadrul Logicii matematice.<\/p>\n","protected":false},"excerpt":{"rendered":"
\u00cen zilele noastre, logica matematica este \u00eemp\u0103r\u0163it\u0103 \u00een patru subdomenii, fiecare concentr\u00e2ndu-se asupra unor aspecte distincte, dar evident, liniile de demarca\u021bie nu sunt stricte: – teoria mul\u0163imilor, care studiaz\u0103 colec\u0163ii abstracte de obiecte si corespondentele \u00eentre ele, av\u00e2nd rol important pentru fundamentele matematicii; – teoria demonstratei, care \u00een esen\u021b\u0103 \u00eenseamn\u0103 analiza formal\u0103 a demonstra\u021biilor matematice. […]\n","protected":false},"featured_media":6214,"comment_status":"open","ping_status":"closed","template":"","meta":[],"product_brand":[],"product_cat":[111],"product_tag":[4329,4331],"class_list":["post-6222","product","type-product","status-publish","has-post-thumbnail","product_cat-biblioteca-scolara","product_tag-andrei-marcus","product_tag-introducere-in-logica-matematica-si-teoria-multimilor","first","outofstock","taxable","shipping-taxable","product-type-simple"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t