| Filtype | APK |
|---|---|
| Version | 3.020001 |
| Forlægger | Erpelstolz |
| Udgivelses dato | 11. dec. 2011 |
| Dato tilføjet | 11. dec. 2011 |
| Os krav | Android, Android 2.1 |
| Krav | Compatible with Android 2.1 and above. |
| Samlet antal downloads | 54 |
| Pris | Free |
Beskrivelse
Det eneste formål med dette program er at generere og vise sandhedstabeller. Så, mine medlogikere: Spørg ikke, hvad truth-tables-programmet kan gøre for dig - spørg, hvad du kan gøre for truth-tables-programmet!Denne gratis version understøtter alle sædvanlige forbindelser af klassisk logik, det vil sige negation, konjunktion, (inklusiv) disjunktion, konditonel (materiel implikation) og bibetinget (materiel ækvivalens), samt konstanterne 1 og 0, der angiver henholdsvis sandhed og løgn. En cool ting er, at du, udover den noget kedelige standardnotation af logik, også kan bruge Lukasiewiczs strømlinede, skinnende polske notation! Er det ikke en aftale? Og det stopper ikke her. Hvis du er den jordnære, sunde fornuft slags person, vil du finde det betryggende, at programmet som standard bruger klassisk, to-værdi, logik. Men hvis du er mere af den eventyrlystne type, som aldrig stopper for et eventyr, livet kan byde på, vil du blive glad for at lære, at Truth Tables til Android også understøtter en række ikke-klassiske logiske systemer med flere værdier. Gå aldrig ind i en flod to gange, og to negativer giver så at sige ikke en bekræftelse!Ingen dyr er blevet skadet under udarbejdelsen af denne ansøgning.Versionshistorik3.020001 - vedligeholdelsesudgivelse3.01002 - giver mulighed for fast orientering (anmodet af en bruger) 3.01: Tilføjelse af rullepaneler (anmodet af en bruger) 3.0: Dette er en større omarbejdning af de indre funktioner, der fører til en jævnere og praktisk talt ubegrænset brugeroplevelse (der er ikke flere relevante grænser for størrelsen af sandhedstabellen). 2.1: Nu kan du indtaste mere end én proposition ad gangen (adskilt med kommaer). I dette tilfælde vil programmet vise en integreret sandhedstabel for alle forslagene.2.05: undertrykker eventuelt det bløde Android-tastatur (anmodet af en bruger) 2.04: understøttelse af ældre Android-versioner (fra 1.6) plus mindre fejlrettelser (når du drejer skærm med indstillingsdialogen åben, ændrede indstillinger fra denne dialog blev ikke anvendt)2.03: mere attraktiv visning af historikken for indtastede forslag - rent kosmetisk2.02: tilføjelse af en historiefunktion for forslag (anmodet af en bruger)2.01: tilføjelse af en yderligere omfangsgrad, der viser værdiansættelserne for komplekse underudtryk, men ikke for atomare underudtryk (anmodet af en estimeret bruger) 2.0: Eventuelt viser sandhedstabellen også alle mellemresultater ("detaljeret sandhedstabel"); interne forbedringer1.000020101: tilføjelse af NAND, NOR og XOR (et langt tryk på knapperne for konjunktion, disjunktion og ækvivalens vil indtaste henholdsvis NAND, NOR og XOR)1.0000201: vedholdende lagring af de globale indstillinger; et langt tryk på knappen Slet rydder hele inputfeltet 1.00002: På grund af en indtastning, der mangler på listen over de engelske strengressourcer, var den engelske version af applikationen ikke i stand til at åbne hovedindstillingsdialogen...1.00001: genererer en meget mere pladsbesparende version af APK-filen Nøgleord: sandhedstabeller sandhedstabeller sandhedstabel Wahrheitstafel Wahrheitstabellen Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikSeneste ændringer:vedligeholdelsesudgivelse (under meget sjældne omstændigheder kunne applikationen lukke, når enhedens orientering ændres med indstillingsdialogen åben) Indholdsvurdering: Alle
