Ιστορικό αλλαγών για τη σελίδα «Προτασιακός λογισμός»

13 Αυγούστου 2021

• παρόνπροηγ. 06:4206:42, 13 Αυγούστου 2021‎ Gerakibot συζήτηση συνεισφορές‎ μ 73.330 bytes −1‎ Ρομπότ: λατινικοί -> ελληνικοί χαρακτήρες, αντικατέστησε: Aπ → Απ αναίρεση

13 Νοεμβρίου 2020

• παρόνπροηγ. 14:5314:53, 13 Νοεμβρίου 2020‎ 2.84.41.206 συζήτηση‎ 73.331 bytes +1‎ Διόρθωσα δυό λέξεις που ήταν κολλημένες μεταξύ τους. αναίρεση Ετικέτα: Οπτική επεξεργασία

23 Οκτωβρίου 2020

• παρόνπροηγ. 18:3718:37, 23 Οκτωβρίου 2020‎ MARKELLOS συζήτηση συνεισφορές‎ μ 73.330 bytes −6‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

18 Οκτωβρίου 2020

• παρόνπροηγ. 14:3914:39, 18 Οκτωβρίου 2020‎ MARKELLOS συζήτηση συνεισφορές‎ μ 73.336 bytes −6‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

23 Σεπτεμβρίου 2020

• παρόνπροηγ. 02:3302:33, 23 Σεπτεμβρίου 2020‎ InternetArchiveBot συζήτηση συνεισφορές‎ 73.342 bytes +128‎ Προσθήκη 1 βιβλίου για Επαληθευσιμότητα) #IABot (v2.0.7) (GreenC bot αναίρεση

29 Σεπτεμβρίου 2019

• παρόνπροηγ. 18:2118:21, 29 Σεπτεμβρίου 2019‎ InternetArchiveBot συζήτηση συνεισφορές‎ 73.214 bytes +58‎ Διάσωση 2 πηγών και υποβολή 0 για αρχειοθέτηση.) #IABot (v2.0 αναίρεση

19 Νοεμβρίου 2018

• παρόνπροηγ. 20:4720:47, 19 Νοεμβρίου 2018‎ Texvc2LaTeXBot συζήτηση συνεισφορές‎ μ 73.156 bytes +4‎ Αντικατάσταση παρωχημένης σύνταξης latex (mw:Extension:Math/Roadmap) αναίρεση

22 Μαρτίου 2018

• παρόνπροηγ. 19:2819:28, 22 Μαρτίου 2018‎ Apeirostikos συζήτηση συνεισφορές‎ 73.152 bytes −48‎ →‎Βασικές και Παράγωγες μορφές Επιχειρήματος: Αλλαγές ώστε να είναι πιο κατανοητό το κείμενο. Επίσης διαγραφή συμβόλων τα οποία δεν είχαν νόημα και διόρθωση συμβόλων από αυτόματη μετάφραση. αναίρεση Ετικέτα: Οπτική επεξεργασία

6 Μαΐου 2017

• παρόνπροηγ. 17:5017:50, 6 Μαΐου 2017‎ Gerakibot συζήτηση συνεισφορές‎ μ 73.200 bytes +3‎ Αντικατάσταση παρωχημένου προτύπου με references tag αναίρεση

1 Αυγούστου 2016

• παρόνπροηγ. 09:0009:00, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.197 bytes −9‎ →‎Άλλοι λογισμοί αναίρεση
• παρόνπροηγ. 08:5708:57, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.206 bytes +10‎ →‎Γενική Περιγραφή του Προτασιακού Λογισμού αναίρεση
• παρόνπροηγ. 08:5508:55, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.196 bytes +40‎ →‎Γενική Περιγραφή του Προτασιακού Λογισμού αναίρεση
• παρόνπροηγ. 08:5508:55, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.156 bytes −8‎ →‎Γενική Περιγραφή του Προτασιακού Λογισμού αναίρεση
• παρόνπροηγ. 08:5208:52, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.164 bytes −11‎ →‎Ιστορική αναδρομή αναίρεση
• παρόνπροηγ. 08:4808:48, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.175 bytes +32‎ →‎Άλλοι λογισμοί αναίρεση
• παρόνπροηγ. 08:4708:47, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.143 bytes +61‎ →‎Λύτες αναίρεση
• παρόνπροηγ. 08:4508:45, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ 73.082 bytes +85‎ →‎Άλλοι λογισμοί αναίρεση
• παρόνπροηγ. 08:4308:43, 1 Αυγούστου 2016‎ Sotkil συζήτηση συνεισφορές‎ μ 72.997 bytes +57‎ προστέθηκε η Κατηγορία:Μαθηματική λογική (με το HotCat) αναίρεση

7 Φεβρουαρίου 2016

• παρόνπροηγ. 07:2307:23, 7 Φεβρουαρίου 2016‎ Sotkil συζήτηση συνεισφορές‎ μ 72.940 bytes +8‎ αφαιρέθηκε η Κατηγορία:Μαθηματική λογική; προστέθηκε η Κατηγορία:Προτασιακός λογισμός (με το HotCat) αναίρεση

6 Ιανουαρίου 2016

• παρόνπροηγ. 14:2614:26, 6 Ιανουαρίου 2016‎ Sotkil συζήτηση συνεισφορές‎ 72.932 bytes +24‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 13:5513:55, 6 Ιανουαρίου 2016‎ Sotkil συζήτηση συνεισφορές‎ 72.908 bytes −11‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 13:5313:53, 6 Ιανουαρίου 2016‎ Sotkil συζήτηση συνεισφορές‎ μ 72.919 bytes +28‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 13:4913:49, 6 Ιανουαρίου 2016‎ Sotkil συζήτηση συνεισφορές‎ μ 72.891 bytes +49‎ προστέθηκε η Κατηγορία:Άλγεβρα Μπουλ (με το HotCat) αναίρεση
• παρόνπροηγ. 13:4813:48, 6 Ιανουαρίου 2016‎ Sotkil συζήτηση συνεισφορές‎ μ 72.842 bytes +58‎ προστέθηκε η Κατηγορία:Μαθηματική λογική (με το HotCat) αναίρεση

21 Σεπτεμβρίου 2015

• παρόνπροηγ. 01:0101:01, 21 Σεπτεμβρίου 2015‎ Dexbot συζήτηση συνεισφορές‎ μ 72.784 bytes −18‎ Bot: Parsoid bug phab:T107675 αναίρεση

12 Σεπτεμβρίου 2015

• παρόνπροηγ. 13:1513:15, 12 Σεπτεμβρίου 2015‎ Yobot συζήτηση συνεισφορές‎ μ 72.802 bytes −11‎ Διόρθωση συντακτικών λαθών του κώδικα με τη χρήση AWB (11457) αναίρεση

2 Ιουλίου 2015

• παρόνπροηγ. 17:1017:10, 2 Ιουλίου 2015‎ 2a02:214b:8214:200:34df:6ddc:2b4b:750 συζήτηση‎ 72.813 bytes +43‎ Προσθήκη math tags στην τελευταία παράγραφο (απλά έλειπαν) και άλλες μικροδιορθώσεις (τόνοι, κενά) αναίρεση

23 Ιουνίου 2015

• παρόνπροηγ. 21:0321:03, 23 Ιουνίου 2015‎ SiriusGR συζήτηση συνεισφορές‎ 72.770 bytes +138‎ Βελτιώσεις διατύπωσης στην εισαγωγή. αναίρεση Ετικέτα: Οπτική επεξεργασία

19 Ιουνίου 2015

• παρόνπροηγ. 10:5110:51, 19 Ιουνίου 2015‎ Gts-tg συζήτηση συνεισφορές‎ 72.632 bytes −257‎ Tagging dead link using Checklinks αναίρεση

6 Ιουνίου 2015

• παρόνπροηγ. 17:0417:04, 6 Ιουνίου 2015‎ SucreRouge συζήτηση συνεισφορές‎ 72.889 bytes +91‎ Χωρίς σύνοψη επεξεργασίας αναίρεση

4 Ιουνίου 2015

• παρόνπροηγ. 07:2807:28, 4 Ιουνίου 2015‎ Geraki συζήτηση συνεισφορές‎ 72.798 bytes −95‎ Χωρίς σύνοψη επεξεργασίας αναίρεση Ετικέτα: Οπτική επεξεργασία

1 Ιουνίου 2015

• παρόνπροηγ. 06:2706:27, 1 Ιουνίου 2015‎ Alotsios συζήτηση συνεισφορές‎ 72.893 bytes +3.871‎ Εναλλακτικοί Λογισμοί, προστέθηκε μετεφρασμένο... αναίρεση Ετικέτα: Οπτική επεξεργασία

31 Μαΐου 2015

• παρόνπροηγ. 11:2911:29, 31 Μαΐου 2015‎ FocalPoint συζήτηση συνεισφορές‎ 69.022 bytes −27‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 11:2811:28, 31 Μαΐου 2015‎ FocalPoint συζήτηση συνεισφορές‎ 69.049 bytes −1.356‎ αφαίρεση αμετάφραστων αναίρεση

30 Μαΐου 2015

• παρόνπροηγ. 09:3209:32, 30 Μαΐου 2015‎ Dianakaranik συζήτηση συνεισφορές‎ 70.405 bytes +2‎ →‎Το κλείσιμο στο πλαίσιο των πράξεων αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 09:3009:30, 30 Μαΐου 2015‎ Dianakaranik συζήτηση συνεισφορές‎ 70.403 bytes −19‎ Χωρίς σύνοψη επεξεργασίας αναίρεση Ετικέτα: Οπτική επεξεργασία

29 Μαΐου 2015

• παρόνπροηγ. 22:2222:22, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ 70.422 bytes +892‎ Προσθήκη συμβόλων αναίρεση
• παρόνπροηγ. 22:0722:07, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ 69.530 bytes −112‎ Βελτίωση εμφάνισης κειμένου αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 22:0122:01, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ 69.642 bytes +9.891‎ Μετάφραση του examples (simple Axiom system & Natural deduction system) Introduction of 3 basic rules αναίρεση
• παρόνπροηγ. 20:5720:57, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ μ 59.751 bytes −2.084‎ Προσθήκη συνδέσμων αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 19:1519:15, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ μ 61.835 bytes +208‎ Χωρίς σύνοψη επεξεργασίας αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 19:1119:11, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ μ 61.627 bytes −142‎ Διορθωση κειμένου αναίρεση
• παρόνπροηγ. 19:0919:09, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ 61.769 bytes +1.666‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 18:5618:56, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ 60.103 bytes +1.768‎ Χωρίς σύνοψη επεξεργασίας αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 18:5118:51, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ 58.335 bytes +964‎ Ολοκλήρωση της μετάφρασης του Argument αναίρεση
• παρόνπροηγ. 18:3918:39, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ μ 57.371 bytes +346‎ Εισαγωγή συνδέσμων αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 18:2418:24, 29 Μαΐου 2015‎ Fwsmathimatika συζήτηση συνεισφορές‎ μ 57.025 bytes +51‎ Χωρίς σύνοψη επεξεργασίας αναίρεση Ετικέτα: Οπτική επεξεργασία
• παρόνπροηγ. 18:1518:15, 29 Μαΐου 2015‎ Kkampouk συζήτηση συνεισφορές‎ 56.974 bytes −1‎ Μετάφραση του : Closure under operations αναίρεση
• παρόνπροηγ. 18:0718:07, 29 Μαΐου 2015‎ Kkampouk συζήτηση συνεισφορές‎ 56.975 bytes +4.661‎ Χωρίς σύνοψη επεξεργασίας αναίρεση
• παρόνπροηγ. 17:0917:09, 29 Μαΐου 2015‎ Dianakaranik συζήτηση συνεισφορές‎ 52.314 bytes +130‎ →‎Γενική Περιγραφή του Προτασιακού Λογισμού αναίρεση