13 suhted: Ashay Dharwadker, Charles Sanders Peirce, Edgar Krahn, Graafi värvimine, Graafiteooria, Heuristika, James H. Moor, Jüri Nuut, Matemaatika mõisteid, Mathematics, Matter and Method, Percy John Heawood, Tõestusassistent, Teoreem.
Ashay Dharwadker
Ashay Dharwadker (sündinud 1. jaanuaril 1967 New Delhis) on Eestiga seotud india matemaatik.
Uus!!: Neljavärviprobleem ja Ashay Dharwadker · Näe rohkem »
Charles Sanders Peirce
Charles Sanders Peirce umbes 1870 Charles Sanders Peirce (10. september 1839 Cambridge (Massachusetts) – 19. aprill 1914) oli USA filosoof ja mitmekülgne teadlane, polühistor, sealhulgas loogik ja matemaatik.
Uus!!: Neljavärviprobleem ja Charles Sanders Peirce · Näe rohkem »
Edgar Krahn
Edgar Krahn Edgar Krahn (19. september/1. oktoober 1894 Laiuse vald, Tartumaa – 6. märts 1961 Kensington, USA) oli baltisaksa päritolu eesti matemaatik.
Uus!!: Neljavärviprobleem ja Edgar Krahn · Näe rohkem »
Graafi värvimine
Graafiteoorias on graafi värvimine graafi elementide sildistamine (tavaliselt värvidega) teatud reeglite alusel.
Uus!!: Neljavärviprobleem ja Graafi värvimine · Näe rohkem »
Graafiteooria
Graafiteooria on matemaatika haru, mille uurimisobjektiks on graaf.
Uus!!: Neljavärviprobleem ja Graafiteooria · Näe rohkem »
Heuristika
Heuristika (kreeka keeles εὑρίσκω – 'avastan') on avastamisõpetus.
Uus!!: Neljavärviprobleem ja Heuristika · Näe rohkem »
James H. Moor
James H. Moor on Ameerika Ühendriikide filosoof, kelle uurimisalad on muu hulgas tehisintellektifilosoofia, vaimufilosoofia, teadusfilosoofia ja loogika.
Uus!!: Neljavärviprobleem ja James H. Moor · Näe rohkem »
Jüri Nuut
Jüri Nuut (1928) Jüri Nuut (10. juuli 1892 Peterburi – 31. mai 1952 Tallinn) oli eesti matemaatik, kosmoloog ja ühiskonnategelane, Eesti NSV Teaduste Akadeemia liige (1946).
Uus!!: Neljavärviprobleem ja Jüri Nuut · Näe rohkem »
Matemaatika mõisteid
Siin on loetletud matemaatika mõisteid.
Uus!!: Neljavärviprobleem ja Matemaatika mõisteid · Näe rohkem »
Mathematics, Matter and Method
"Mathematics, Matter and Method" on Hilary Putnami filosoofiliste kirjutiste kogumik, väljaande "Philosophical Papers" 1.
Uus!!: Neljavärviprobleem ja Mathematics, Matter and Method · Näe rohkem »
Percy John Heawood
Percy John Heawood Percy John Heawood (8. september 1861 Newport, Shropshire – 24. jaanuar 1955 Durham) oli Ühendkuningriigi matemaatik.
Uus!!: Neljavärviprobleem ja Percy John Heawood · Näe rohkem »
Tõestusassistent
Interaktiivne tõestussessioon CoqIDE keskkonnas, kus tõestusskript on vasakul ja tõestuse seisund on paremal. Tõestusassistent ehk interaktiivne teoreemitõestaja on arvutiprogramm, mis aitab inimestel arvuti abiga arendada formaalseid tõestusi igasugustele teoreemidele.
Uus!!: Neljavärviprobleem ja Tõestusassistent · Näe rohkem »
Teoreem
publisher.
Uus!!: Neljavärviprobleem ja Teoreem · Näe rohkem »
Ümbersuunamised siin:
Nelja värvi probleem, Nelja värvi teoreem, Neljavärvi probleem, Neljavärviteoreem.