\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":[],"_links":{"self":[{"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/product\/6222","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/types\/product"}],"replies":[{"embeddable":true,"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/comments?post=6222"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/media\/6214"}],"wp:attachment":[{"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/media?parent=6222"}],"wp:term":[{"taxonomy":"product_brand","embeddable":true,"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/product_brand?post=6222"},{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/product_cat?post=6222"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/casacartii.ro\/editura\/wp-json\/wp\/v2\/product_tag?post=6222"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}