Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica RAZNO MATEMATIČKI SOFTVER

Krisipus

  • +1

Krisipus

Postod primus » Četvrtak, 27. Maj 2021, 12:59

Python skripta krisipus.py je generator tautologija koje sadrže maksimalno četiri iskazna slova. Skriptu možete preuzeti ovde. Da bi program ispravno radio potrebno je da se fajl formula.py nalazi u istom direktorijumu kao i fajl krisipus.py.
Plenus venter non studet libenter
Korisnikov avatar
primus  OFFLINE
 
Postovi: 232
Zahvalio se: 15 puta
Pohvaljen: 278 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+

Re: Krisipus

Postod ubavic » Petak, 28. Maj 2021, 14:09

Možeš li malo da opišeš kako program funkcioniše?
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 623
Zahvalio se: 385 puta
Pohvaljen: 641 puta

  • +1

Re: Krisipus

Postod primus » Petak, 28. Maj 2021, 16:42

U principu stvar je jednostavna. Program u for petlji generiše random iskazne formule ograničene dužine i odmah proverava da li je formula tautologija ili ne. Ukoliko naiđe na tautologiju izlazi iz petlje i ispisuje rezultat. Ulaznu veličinu predstavlja broj različitih iskaznih slova koja čine iskaznu formulu. Za proveru da li je formula tautologija koristio sam skriptu formula.py koju sam pronašao na netu.
Plenus venter non studet libenter
Korisnikov avatar
primus  OFFLINE
 
Postovi: 232
Zahvalio se: 15 puta
Pohvaljen: 278 puta

Re: Krisipus

Postod primus » Četvrtak, 03. Jun 2021, 06:48

GUI verziju programa možete preuzeti ovde. Za pokretanje programa nije potrebno da imate instaliran Python na računaru.
Plenus venter non studet libenter
Korisnikov avatar
primus  OFFLINE
 
Postovi: 232
Zahvalio se: 15 puta
Pohvaljen: 278 puta


Povratak na MATEMATIČKI SOFTVER

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 23 gostiju


Index stranicaTimObriši sve kolačiće boarda
Danas je Četvrtak, 28. Mart 2024, 15:31 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs