Per Lindström

Per Lindström (onbekend, 9 april 1936 - Göteborg, 21 augustus 2009) was een Zweedse logicus naar wie de stelling van Lindström en de Lindström-kwantor zijn vernoemd.

9 relaties: Göteborg (stad), Liber amicorum, Logica, Stelling van Lindström, Zweden, 1936, 2009, 21 augustus, 9 april.

Göteborg (stad)

Göteborg (Nederlandse benaming: Gothenburg of Gotenburg) is een stad in Zweden.

Nieuw!!: Per Lindström en Göteborg (stad) · Bekijk meer »

Een liber amicorum (Latijn voor 'vriendenboek') is in de moderne betekenis een bundel voorzien van veelal persoonlijke teksten en illustraties die door vrienden en/of collega's aan iemand wordt aangeboden ter gelegenheid van een jubileum of afscheid.

Nieuw!!: Per Lindström en Liber amicorum · Bekijk meer »

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Nieuw!!: Per Lindström en Logica · Bekijk meer »

Stelling van Lindström

In de wiskundige logica zegt de stelling van Lindström (genoemd naar de Zweedse logicus Per Lindström) dat de eerste-orde logica de sterkste logica is die, mits deze voldoet aan bepaalde voorwaarden, zoals afsluiting onder logische negatie), zowel de (aftelbare) compactheidseigenschap als de (neerwaartse) Löwenheim-Skolem-eigenschap heeft.

Nieuw!!: Per Lindström en Stelling van Lindström · Bekijk meer »

Zweden

Zweden, officieel het Koninkrijk Zweden (Zweeds:; Noord-Samisch), is een Scandinavisch land in Noord-Europa.

Nieuw!!: Per Lindström en Zweden · Bekijk meer »

1936

Het jaar 1936 is een jaartal volgens de christelijke jaartelling.

Nieuw!!: Per Lindström en 1936 · Bekijk meer »

2009

Het jaar 2009 is een jaartal volgens de christelijke jaartelling.

Nieuw!!: Per Lindström en 2009 · Bekijk meer »

21 augustus

21 augustus is de 233ste dag van het jaar (234ste dag in een schrikkeljaar) in de gregoriaanse kalender.

Nieuw!!: Per Lindström en 21 augustus · Bekijk meer »

9 april

9 april is de 99ste dag van het jaar (100ste in een schrikkeljaar) in de gregoriaanse kalender.

Nieuw!!: Per Lindström en 9 april · Bekijk meer »

Richt hier:

Per Lindstrom.

Unionpedia is een concept map of een semantisch netwerk organiseerde als een encyclopedie of een woordenboek. Het geeft een korte omschrijving van elk concept en haar relaties.

Dit is een enorme online mentale kaart die dient als basis voor concept diagrammen. Het is gratis te gebruiken en elk artikel of document kan worden gedownload. Het is een hulpmiddel, resource of verwijzing voor studie, onderzoek, onderwijs, het leren of onderwijs, die kunnen worden gebruikt door docenten, onderwijzers, leerlingen of studenten; voor de academische wereld: voor school, primaire, secundaire, middelbare school, midden, universiteit, technische opleiding, universiteit, bachelor, master of doctoraal niveau; for papers, rapporten, projecten, ideeën, documentatie, enquêtes, samenvattingen, of scriptie. Hier is de definitie, uitleg, beschrijving, of de betekenis van elke significante waarop u informatie nodig, en een lijst van de bijbehorende concepten als een verklarende woordenlijst. Verkrijgbaar in het Nederlands, Engels, Spaans, Portugees, Japans, Chinees, Frans, Duits, Italiaans, Pools, Russisch, Arabisch, Hindi, Zweeds, Oekraïens, Hongaars, Catalaans, Tsjechisch, Hebreeuws, Deens, Fins, Indonesisch, Noors, Roemeense, Turks, Vietnamees, Koreaans, Thais, Grieks, Bulgaars, Kroatisch, Slowaaks, Litouws, Filipino, Lets, Ests en Sloveens. Meer talen binnenkort.

Alle informatie werd gehaald uit Wikipedia, en het is beschikbaar onder de licentie Creative Commons Naamsvermelding/Gelijk delen.

Unionpedia wordt niet onderschreven door of gelieerd aan de Wikimedia Foundation.

Google Play, Android en het logo van Google Play zijn handelsmerken van Google Inc.

Privacybeleid