Αποτελέσματα αναζήτησης

1

Απόδειξη ορθότητας συλλέκτη σκουπιδιών αντιγραφής

ανά Χαριτάτος, Αλέξανδρος-Ηρόδοτος Δ., Charitatos, Alexandros-Herodotos D.
Έκδοση 1970

Λήψη πλήρους κειμένου

bachelorThesis

2

Η Μαθηματική Απόδειξη στο σχολείο

ανά Παπαδημητρίου, Αργυρώ-Αλίσια Π., Papadimitriou, Argyro-Alicia P.
Έκδοση 1970

Θέματα: '; “...Μαθηματική απόδειξη...”
Λήψη πλήρους κειμένου

bachelorThesis

3

Απόδειξη του θεωρήματος του Kuratowski

ανά Δάρης, Νικόλαος Κ., Daris, Nikolaos K.
Έκδοση 1970

Λήψη πλήρους κειμένου

bachelorThesis

4

Στοιχειώδης απόδειξη του θεωρήματος πρώτων αριθμών

ανά Γεωργάκης, Νικήτας, Georgakis, Nikitas
Έκδοση 2014

Θέματα: '; “...Στοχειώδης απόδειξη θεωρήματος πρώτων αριθμών...”
Λήψη πλήρους κειμένου

bachelorThesis

5

Αναλυτική απόδειξη του θεωρήματος των πρώτων αριθμών

ανά Ευθυμίου, Μαρκέλλα Δ., Efthymiou, Markella D.
Έκδοση 1970

Θέματα: '; “...Αναλυτική απόδειξη θεωρήματος πρώτων αριθμών...”
Λήψη πλήρους κειμένου

bachelorThesis

6

Απόδειξη ορθότητας του μετασχηματισμού διακλαδιζόμενων διαστάσεων στο coq /

ανά Βεκρής, Δημήτριος

Βιβλίο

7

Η έννοια της Μαθηματικής αλήθειας και η απόδειξη του Goedel : Φιλοσοφικές συνέπειες /

ανά Αυγελής, Νικόλαος Γ
Έκδοση 1972

Βιβλίο

8

Τα θεωρήματα μη πληρότητας του Gödel

ανά Σουβατζόγλου, Αντώνιος Ε., Souvatzoglou, Antonios E.
Έκδοση 1970

Θέματα: '; “...Μη-αυτοαναφορική απόδειξη...”
Λήψη πλήρους κειμένου

bachelorThesis

9

Η συνάντηση των μαθηματικών και της αφήγησης στο αστυνομικό μυθιστόρημα

ανά Ρενιέρη, Άννα, Renieri, Anna
Έκδοση 2017

Θέματα: '; “...Απόδειξη...”
Λήψη πλήρους κειμένου

bachelorThesis

10

Αξιολόγηση και παραλληλοποίηση αλγορίθμων μίξης για χρήση σε συστήματα ηλεκτρονικών ψηφοφοριών

ανά Μαμασούλας, Κωνσταντίνος, Mamasoulas, Konstantinos
Έκδοση 2015

Θέματα: '; “...Απόδειξη μηδενικής γνώσης...”
Λήψη πλήρους κειμένου

bachelorThesis

11

Επαλήθευση ιδιοτήτων αλγορίθμων σε Liquid Haskell

ανά Πέτρου, Γεώργιος, Petrou, Georgios
Έκδοση 2018

Θέματα: '; “...Απόδειξη θεωρημάτων...”
Λήψη πλήρους κειμένου

bachelorThesis

12

Algorithmic aspects of the Lovasz Local Lemma

ανά Γουλεάκης, Θεμιστοκλής Γ., Gouleakis, Themistoklis G.
Έκδοση 1970

Θέματα: '; “...Κατασκευαστική απόδειξη...”
Λήψη πλήρους κειμένου

bachelorThesis

13

The Coq Proof Assistant: ΜΕΡΟΣ Α' : "Εντολές και Εφαρμογές"

ανά Παππά, Ελπινίκη Ι., Pappa, Elpiniki I.
Έκδοση 1970

Θέματα: '; “...Απόδειξη...”
Λήψη πλήρους κειμένου

bachelorThesis

14

Μελέτη ναυτικών ατυχημάτων μέσω δικτύων πίστης (Τεύχος Β: μοντέλο σύγκρουσης)

ανά Παπαμιχάλης, Γεώργιος Κ., Papamichalis, George K.
Έκδοση 1970

Θέματα: '; “...Απόδειξη...”
Λήψη πλήρους κειμένου

bachelorThesis

15

Το Θεώρημα του Fonf

ανά Γεωργάκης, Νικήτας, Georgakis, Nikitas
Έκδοση 2018

“...Η παρούσα εργασία έχει ως στόχο την απόδειξη του θεωρήματος του Fonf.Αποτελείται από πέντε κεφάλαια...”
Λήψη πλήρους κειμένου

masterThesis

16

Φως-εργαλείο αστικού σχεδιασμού /

ανά Σιάρκου, Θωμαΐς

Βιβλίο

17

Στοιχεία θεωρίας κρίσιμων σημείων

ανά Κουγιούρη, Ελένη, Kougiouri, Eleni
Έκδοση 2018

“... Αρχή του Ekeland με απόδειξη και πορίσματα αυτής και οι συνθήκες συμπάγειας Palais– Smale και Cerami...”
Λήψη πλήρους κειμένου

masterThesis

18

Ασθενής συγκλιση μέτρων πιθανότητας σε μετρικούς χώρους

ανά Μπουφούνος, Πέτρος, Boufounos, Petros
Έκδοση 2015

“... χώρος D[0,1]. Ένας από τους βασικούς στόχους είναι η κατασκευή του μέτρου Wiener και η απόδειξη του...”
Λήψη πλήρους κειμένου

masterThesis

19

Μαθηματική προτυποποίηση κυκλοφορίας αυτοκινητοδρόμων

ανά Γυφτοδήμου, Γεωργία, Gyftodimou, Georgia
Έκδοση 2016

“... την αναλυτική απόδειξή του και τέλος παρουσιάζουμε μία εφαρμογή για να κατανοήσουμε την χρησιμότητα...”
Λήψη πλήρους κειμένου

bachelorThesis

20

Οι πίνακες Redheffer, οι ιδιοτιμές τους και η υπόθεση Riemann

ανά Μπίτση, Αγγελική-Μαρία, Bitsi, Aggeliki-Maria
Έκδοση 2014

“...Η απόδειξη της ισοδυναμίας της υπόθεσης Riemann με την ορίζουσα των πινάκων Redheffer, καθώς και...”
Λήψη πλήρους κειμένου

bachelorThesis

Περιορισμός αναζήτησης