Denna sida uppdateras ej längre. Numera bloggar Niklas Udd på Enligt Niklas (enligtniklas.se). För nyare texter och mer aktuell information bör du gå dit.

Gå till Enligt Niklas (Niklas Udds nya blogg)

Meny:

Sök
Bläddra

Nyckelord på bloggar.se

- logik
- matematik
- naturlig deduktion

Citera texten

Naturligtvis får du citera denna text, men glöm då inte att lägga in lämpliga hänvisningar. Om du vill får du dessutom gärna skriva en kommentar om att du har citerat texten.

Slumpvalda artiklar

- Vad jag tycker om olika webbtekniker
- Spammarna drar trafik till MIN sida
- Aha, 95!

Bygg bevis i naturlig deduktion med uProve

Publicerad: 2006-12-07
Kategori(er): Kanada, teknik

Under terminen har jag gått kursen Principles of Formal Software Development här på University of Ottawa. I samband med den kursen har jag utvecklat programmet uProve som är ett program för att bygga bevis i naturlig deduktion.

Målet med programmet är att det ska vara enkelt att använda. Många system som utför den här uppgiften, exempelvis Coq, är extremt flexibla och gör allt och lite till. Det gör lätt att programmen är svåranvända och kanske lite opraktiska för de som inte verkligen behöver alla funktioner. uProve däremot begränsar sig och kan därför vara ganska enkelt.

I dagsläget är det kanske lite väl enkelt dock. Det hanterar bara (klassisk) satslogik. Om någon gillar systemet är jag dock mycket villig att bygga ut det. Predikatlogik är nästa mål.

Om du vill titta på uProve kan du gå till dess helt egna sida. Du hittar den på uprove.udd.be.

Kommentarer

Peter (061207)
Blir perfekt till nästa års omdeltagande i logikkursen. Längtar redan...

Carrander (061207)
Hörrödu Udd... det där programmet gav mig ingenting... kan du inte göra nåt spel istället? Typ UNO?

Kan inte du bli IT-miljonär? Typ komma på nåt som typ Skype och sälja för en miljard till nåt amerikanskt konsortium?

Niklas Udd (061208)
Peter: Ja, det låter väl trevligt. Om jag lägger in predikatlogik tills dess kanske du kan försöka sälja in konceptet på matteinstitutionen. Du får bli uProve-ambassadör. Grattis!

Carrander: Gamla hederliga UNO ligger ju faktiskt fortfarande uppe på http://spel.udd.be/

Det går trögt med de lite större projekten nu. Jag får någon idé ibland, men när de är stora tar de ju så mycket tid och energi att realisera. Det är ju tråkigt att satsa mycket på något som sedan inte "slår igenom".

Alla förslag på saker, eller frivilliga insatser, välkomnast dock.

Skriv en kommentar till den här sidan