47 vzťahy: A (tradičná logika), Alfred Tarski, Americká logika, Ľvovsko-varšavská škola, Bertrand Russell, Complementary Metal Oxide Semiconductor, Dôkaz (matematika), Dimităr Skordev, Diskrétna matematika, Elementárna aritmetika, Emil Leon Post, Fuzzy logika, Informatika, Ivan Korec, Jacques Herbrand, Jonas Kubilius, Kalkul (logika), Klasická logika, Kombinatorická logika, Kvantifikátor (logika), Kybernetika, Logická operácia, Logický pozitivizmus, Logika vedy, Logika vzťahov, Logistika, Matematika, Norbert Wiener, Paul Halmos, Platon Sergejevič Poreckij, Pojem algoritmu, Pravdivý výrok, Prírodná veda, Relačná algebra, Roman Sikorski, Saharon Šelach, Saunders Mac Lane, Solomon Feferman, Stephen Cole Kleene, Symbolizácia, Teória vedy, Thoralf Skolem, Topologický priestor, Výroková logika, Wolfgang Stegmüller, Základy matematiky, Zoznam matematických článkov/M.
A (tradičná logika)
A (prvé písmeno latinského slova affirmo - tvrdím) je v tradičnej logike symbol pre kladný všeobecný výrok tvaru: 'Všetky S sú P'; stručne 'S a P' (napr. 'Všetci ľudia sú smrteľní').
Nový!!: Matematická logika a A (tradičná logika) · Pozrieť viac »
Alfred Tarski
Alfred Tarski, pôvodne Alfred Teitelbaum (* 14. január 1901, Varšava, Poľsko – † 26. október 1983, Berkeley, Kalifornia, USA), bol poľský matematik a logik.
Nový!!: Matematická logika a Alfred Tarski · Pozrieť viac »
Americká logika
Americká logika je smer a koncepcia modernej logiky rozvíjanej v USA od konca 19. stor.
Nový!!: Matematická logika a Americká logika · Pozrieť viac »
Ľvovsko-varšavská škola
Ľvovsko-varšavská škola je skupina poľských logikov a filozofov (Lukasiewicz, Kotarbiňski, Ajdukiewicz, S. Lešnewski, Leon Chwistek, Tarski, Jan Salamucha, Bocheňski a i.), ktorí pracovali v období medzi prvou svetovou vojnou a druhou svetovou vojnou vo Varšave, Ľvove a Krakove.
Nový!!: Matematická logika a Ľvovsko-varšavská škola · Pozrieť viac »
Bertrand Russell
Bertrand Russell (* 18. máj 1872, Trellech, Spojené kráľovstvo – † 2. február 1970, Penrhyndeudraeth) bol anglický filozof, logik, matematik, sociológ, od roku 1908 člen Londýnskej kráľovskej spoločnosti, verejný činiteľ, známy pacifista (za čo bol v období 1. svetovej vojny pol roka vo väzení), jeden zo zakladateľov analytickej filozofie.
Nový!!: Matematická logika a Bertrand Russell · Pozrieť viac »
Complementary Metal Oxide Semiconductor
Statický CMOS invertor NAND brána v CMOS logike Complementary Metal Oxide Semiconductor (CMOS) je technológia výroby logických integrovaných obvodov (čipov).
Nový!!: Matematická logika a Complementary Metal Oxide Semiconductor · Pozrieť viac »
Dôkaz (matematika)
Euklidovych Základov. Jeden z najstarších dochovaných matematických dôkazov. Dôkaz je v matematike presvedčivá demonštrácia, že nejaké tvrdenie je za určitých predpokladov (axióm) nevyhnutne pravdivé.
Nový!!: Matematická logika a Dôkaz (matematika) · Pozrieť viac »
Dimităr Skordev
Dimităr Skordev (* 1936, Sofia, Bulharsko) je bulharský matematik, v súčasnosti vysokoškolský profesor na katedre matematickej logiky fakulty matematiky a informatiky Univerzity svätého Klimenta Ochridského.
Nový!!: Matematická logika a Dimităr Skordev · Pozrieť viac »
Diskrétna matematika
Diskrétna matematika je pomerne nový odbor matematiky, ktorý sa zaoberá diskrétnymi matematickými štruktúrami, teda takými, ktoré môžu byť charakterizované celými číslami a sú teda „počítateľné“.
Nový!!: Matematická logika a Diskrétna matematika · Pozrieť viac »
Elementárna aritmetika
Základné aritmetické symboly Elementárna aritmetika je ľahšia časť aritmetiky, ktorá obsahuje operácie sčítanie, odčítanie, násobenie a delenie.
Nový!!: Matematická logika a Elementárna aritmetika · Pozrieť viac »
Emil Leon Post
Emil Leon Post (* 11. február 1897, Augustów, Poľsko, vtedy Ruská ríša - † 21. apríl 1954, New York, USA) bol poľsko-americký matematik a logik.
Nový!!: Matematická logika a Emil Leon Post · Pozrieť viac »
Fuzzy logika
Fuzzy logika je odbor matematiky odvodený z teórie fuzzy množín, v ktorom sa logické výroky ohodnocujú stupňom príslušnosti (tiež index vágnosti), ktorého hodnoty sú v intervale od 0 do 1.
Nový!!: Matematická logika a Fuzzy logika · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Matematická logika a Informatika · Pozrieť viac »
Ivan Korec
Prof.
Nový!!: Matematická logika a Ivan Korec · Pozrieť viac »
Jacques Herbrand
Jacques Herbrand (* 12. február 1908, Paríž, Francúzsko – † 27. júl 1931, La Bérarde) bol francúzsky matematik a logik.
Nový!!: Matematická logika a Jacques Herbrand · Pozrieť viac »
Jonas Kubilius
Jonas Kubilius (* 27. júl 1921, Fermos, Litva – † 30. október 2011) bol litovský matematik, ktorý sa zaoberá predovšetkým teóriou pravdepodobnosti, teóriou čísel, ale aj diferenciálnymi rovnicami alebo matematickou logikou.
Nový!!: Matematická logika a Jonas Kubilius · Pozrieť viac »
Kalkul (logika)
Kalkul alebo počet je v logike formalizovaná sústava - sústava pravidiel operácií so znakmi.
Nový!!: Matematická logika a Kalkul (logika) · Pozrieť viac »
Klasická logika
Klasická logika je dvojhodnotová logika Aristotelova a jej zdokonalenie stoikmi a scholastikmi, ako aj odbor dvojhodnotovej logiky v matematickej logike, kde sa ďalej rozvíja a modernizuje.
Nový!!: Matematická logika a Klasická logika · Pozrieť viac »
Kombinatorická logika
Kombinatorická logika je jeden zo smerov matematickej logiky, zaoberajúci sa analýzou pojmov, ktoré sa v rámci klasickej matematickej logiky prijímajú bez ďalšieho skúmania.
Nový!!: Matematická logika a Kombinatorická logika · Pozrieť viac »
Kvantifikátor (logika)
Kvantifikátor alebo kvantor je výraz určujúci, akému počtu (kvantite) indivíduí možno pripísať (predikovať) nejakú vlastnosť alebo vzťah.
Nový!!: Matematická logika a Kvantifikátor (logika) · Pozrieť viac »
Kybernetika
Kybernetika (z gréckeho slova „kybernetes“ čo znamená kormidelník) vznikla ako samostatný vedný odbor po 2. svetovej vojne.
Nový!!: Matematická logika a Kybernetika · Pozrieť viac »
Logická operácia
Logická operácia je akt, v dôsledku ktorého sa z už daných myšlienok tvoria myšlienky nové.
Nový!!: Matematická logika a Logická operácia · Pozrieť viac »
Logický pozitivizmus
Logický pozitivizmus alebo logický empirizmus je prúd novopozitivizmu, ktorý vznikol v dvadsiatych rokoch 20. storočia na základe Viedenského krúžku.
Nový!!: Matematická logika a Logický pozitivizmus · Pozrieť viac »
Logika vedy
Logika vedy je filozofická disciplína, ktorej cieľom je aplikácia ideí, metód a aparátu modernej logiky na vedecké poznanie.
Nový!!: Matematická logika a Logika vedy · Pozrieť viac »
Logika vzťahov
Logika vzťahov (teória relácií) je časť matematickej logiky, skúmajúca vzťahy.
Nový!!: Matematická logika a Logika vzťahov · Pozrieť viac »
Logistika
Logistika môže byť.
Nový!!: Matematická logika a Logistika · Pozrieť viac »
Matematika
Matematika (z gr. μαθηματικός (mathematikós).
Nový!!: Matematická logika a Matematika · Pozrieť viac »
Norbert Wiener
Norbert Wiener (* 26. november 1894, Columbia, Missouri, USA – † 18. marec 1964, Štokholm, Švédsko) bol americký matematik a filozof, zakladateľ kybernetiky.
Nový!!: Matematická logika a Norbert Wiener · Pozrieť viac »
Paul Halmos
Paul Richard Halmos (* 3. marec 1916, Budapešť, Maďarsko, vtedy Rakúsko-Uhorsko - † 2. október 2006, Los Gatos, Kalifornia, USA).
Nový!!: Matematická logika a Paul Halmos · Pozrieť viac »
Platon Sergejevič Poreckij
Platon Poreckij Platon Sergejevič Poreckij (* 1846 – † 1907) bol ruský logik.
Nový!!: Matematická logika a Platon Sergejevič Poreckij · Pozrieť viac »
Pojem algoritmu
Pojem algoritmu ako taký vznikol až v 20-tych rokoch 20. stor. v matematickej logike.
Nový!!: Matematická logika a Pojem algoritmu · Pozrieť viac »
Pravdivý výrok
Pravdivý výrok (logika matematická) je výrok, ktorý má pravdivostnú hodnotu pravda.
Nový!!: Matematická logika a Pravdivý výrok · Pozrieť viac »
Prírodná veda
Prírodné vedy alebo prírodoveda sú vedy, ktoré študujú fyzikálne, nehumánne aspekty Zeme, prírody a vesmíru okolo nás.
Nový!!: Matematická logika a Prírodná veda · Pozrieť viac »
Relačná algebra
Relačná algebra je, v informatike, formálny systém na manipuláciu s reláciami, ktorý sa používa najmä na popis operácií v relačných databázach.
Nový!!: Matematická logika a Relačná algebra · Pozrieť viac »
Roman Sikorski
Roman Sikorski (* 11. júl 1920, Mszczonów, Poľsko - † 12. september 1983, Varšava, Poľsko) bol poľský matematik a v rokoch 1952 až 1982 profesor na Varšavskej univerzite.
Nový!!: Matematická logika a Roman Sikorski · Pozrieť viac »
Saharon Šelach
Saharon Šelach (hebr. שהרן שלח; ang. Saharon Shelah) (* 3. júl 1945, Jeruzalem, Izrael, vtedy Britský mandát Palestína) je izraelský matematik.
Nový!!: Matematická logika a Saharon Šelach · Pozrieť viac »
Saunders Mac Lane
Saunders Mac Lane (* 4. august 1909, Taftville, Connecticut, USA – † 14. apríl 2005, San Francisco, Kalifornia, USA) bol americký matematik, ktorý spolu so Samuelom Eilenbergom sformuloval teóriu kategórií.
Nový!!: Matematická logika a Saunders Mac Lane · Pozrieť viac »
Solomon Feferman
Solomon Feferman (* 13. december 1928, New York, New York, USA – † 26. júl 2016, Stanford, Kalifornia, USA) bol americký matematik a filozof, ktorý sa zaoberal najmä matematickou logikou a filozofickými otázkami matematiky.
Nový!!: Matematická logika a Solomon Feferman · Pozrieť viac »
Stephen Cole Kleene
Stephen Cole Kleene (* 5. január 1909, Hartford, Connecticut, USA – † 25. január 1994, Madison, Wisconsin) bol americký matematik a informatik, ktorý svojou prácou pomohol položiť základy teoretickej informatiky.
Nový!!: Matematická logika a Stephen Cole Kleene · Pozrieť viac »
Symbolizácia
Symbolizácia je jednojednoznačné priradenie symbolov k jednotlivým výrazom (napríklad v matematickej logike).
Nový!!: Matematická logika a Symbolizácia · Pozrieť viac »
Teória vedy
Teória vedy je skúmanie metód, základov, predpokladov a cieľov špeciálnych vied metódami matematickej logiky, sémantiky, teórie modelov a logickej analýzy jazyka.
Nový!!: Matematická logika a Teória vedy · Pozrieť viac »
Thoralf Skolem
Thoralf Albert Skolem (* 23. máj 1887,Sandsvaer, Buskerud, Nórsko - † 23. marec 1963, Oslo, Nórsko), niekedy uvádzaný aj ako Albert Thoralf Skolem, bol nórsky matematik.
Nový!!: Matematická logika a Thoralf Skolem · Pozrieť viac »
Topologický priestor
Topologický priestor je matematická štruktúra, ktorá umožňuje formalizovať a zovšeobecniť koncepty ako konvergencia, spojitosť, či kompaktnosť.
Nový!!: Matematická logika a Topologický priestor · Pozrieť viac »
Výroková logika
Výroková logika je časť matematickej logiky (výroková algebra), ktorá sa zaoberá tvorbou výrokov, ich vzájomným spájaním, zisťovaním logickej pravdivosti výrokov a ich spojení i niektorými spôsobmi odvodzovania.
Nový!!: Matematická logika a Výroková logika · Pozrieť viac »
Wolfgang Stegmüller
Wolfgang Stegmüller (* 3. jún 1923, Natters, Rakúsko† 1. jún 1991, Mníchov, Nemecko) bol rakúsko-nemecký filozof.
Nový!!: Matematická logika a Wolfgang Stegmüller · Pozrieť viac »
Základy matematiky
Základy matematiky sú súhrnné označenie pre viacero oblastí matematiky, na ktorých sú vybudované ostatné, vyššie teórie.
Nový!!: Matematická logika a Základy matematiky · Pozrieť viac »
Zoznam matematických článkov/M
Tento index bol automaticky vygenerovaný podľa tejto kategorizácie.
Nový!!: Matematická logika a Zoznam matematických článkov/M · Pozrieť viac »
Presmerovanie tu:
Moderná logika, Symbolická logika.