[Παλιό] - Σεμινάριο Λογικής και Αλγορίθμων -- ΜΠΛΑ

cactus · Post by **cactus** » Tue Jun 26, 2007 9:44 pm

ΣΕΜΙΝΑΡΙΟ ΛΟΓΙΚΗΣ ΚΑΙ ΑΛΓΟΡΙΘΜΩΝ

Ομιλητής: Γ. Μοσχοβάκης, ΜΠΛΑ και UCLA
Θέμα: Borel determinacy
Ημερομηνία: Παρασκευή, 29-6-2007, 6 μ.μ.
Αίθουσα: Γ33 Τμήματος Μαθηματικών

ΠΕΡΙΛΗΨΗ

Donald A. Martin's proof of the determinacy of Borel sets in 1975 was a critical event in the development of set theory, and it influenced fundamentally the subsequent development of the field. My aim in this talk is to describe the state of affairs at the
time of Martin's proof; explain the result and the method of Martin's (second) proof; and discuss its foundational significance. This is an expository and historical talk, and it is only towards the end that I will turn (briefly) to some new observations on the interesting relation between Borel determinacy and the Axiom of Choice.

πηγή: http://mpla.math.uoa.gr/

Μάλλον αγγλικά

,
αλλά θα μαι σίγουρα εκεί, αφου κοιτάξψ σε καμιά wiki τι παίζει ακριβώς με το θέμα...πάντως συνολοθεωρία είναι οπότε ψήνομαι

edit
Γμτ, βρήκα ενα σχετικό pdf στο net αλλά μου φαίνονται κινεζικα...δεν με κόβω να καταλαβαίνω τπτ

ciao · Post by **ciao** » Sat Jun 30, 2007 8:49 pm

Για κάνε μια παράθεση του λινκ...

cactus · Post by **cactus** » Sun Jul 01, 2007 3:28 am

@ciao
here it is...
http://www.games.rwth-aachen.de/Events/ ... duparc.pdf
(το link που βρήκα, όχι η διάλεξη του Μοσχοβάκη -- δεν την έχω αυτή --)

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Τελικά πήγα.

~~Στην αρχή κατάλαβαινα αλλα μετά τον έχασα αρκετά(ήταν στα αγγλικά η διάλεξη plus ένας τύπος μπροστα μου που κουνιόταν όλη την ώρα...μου σπασε τα νεύρα! και μ'αποσυντόνησε αρκετά...γκρ). Σε γενικές γραμμές έκανε μια ιστορική αναδρομή, όπως λεει και στην περίληψη
~Απ'ότι κατάλαβα, αναφέρεται σε θεωρία παιγνίων. Λέει ότι ένα παίγνιο είναι προσδιορισμένο(detrminated) όταν υπάρχει μία στρατηγική που αν την ακολουθήσει ο ένας παίκτης, τότε όποιες κι αν είναι οι κινήσεις του άλλου, ο πρώτος παίκτης θα είναι και ο νικητής. Αν υπάρχει δλδ μια νικήτήρια στραγική. (αυτό ως η κεντρική-κεντρική ιδέα)
~Γενικά ανέφερε ότι είχε ειπωθεί σχετικά με αυτό στην πορέια του χρόνου, ορθές και λάθος προτάσεις/υποθέσεις κλπ. Πάντως δεν ενθουσιάστηκα με το θέμα.

Να αναφέρω πάντως ότι το χιούμορ ήταν πολύ ιδιαίτερο...
πχ
Ο ομιλιτής σταμάτησε την ομιλία στις 20 απο τις 23 διαφάνειες. Ζήτησε ερωτήσεις και ακολουθούν οι εξής:
--Τι βρίσκεται στην επόμενη διφάνεια;; (όλοι γελούν)
--Τι βρίσκεται στην τελευταία διαφάνεια;; (πάλι όλοι γελούν)
--Αν η διάλεξη είχε 24 διαφάνειες, τι θα περιείχε η 24η (πάλι όλοι γελούν και περισσότερο ακόμα)

Τέλος το κλίμα ήταν ιδιαίτερα φιλικό, όλοι γνωρίζονταν μεταξύ τους και ένιωσα άνετα από την αρχή.

Αυτά

ciao · Post by **ciao** » Sun Jul 01, 2007 4:47 am

Σε ευχαριστώ! Όταν προλάβω να το μελετήσω αρκετά ικανοποιητικά θα σε πω..

Ενδιαφέρον πάντως ακούγεται και φαίνεται εκ πρώτης.

cactus · Post by **cactus** » Wed Jul 11, 2007 4:55 pm

ΣΕΜΙΝΑΡΙΟ ΛΟΓΙΚΗΣ ΚΑΙ ΑΛΓΟΡΙΘΜΩΝ

Ομιλητής: A. S. Kechris, California Institute of Technology
Θέμα: Set Theory and Dynamical Systems
Ημερομηνία: Παρασκευή, 13-7-2007, 6 μ.μ.
Αίθουσα: Γ33 Τμήματος Μαθηματικών (νέο κτήριο)

ΠΕΡΙΛΗΨΗ

In this talk, I will give an introduction to some recent work in set theory, whose goal is a theory of complexity of classification problems in mathematics, and discuss its connections with aspects of dynamical systems and in particular rigidity phenomena in the context of ergodic theory.

πηγή:http://mpla.math.uoa.gr/

ΥΓ: Να συνεχίσω να ποστάρω επί του θέματος;; θα ναι σαν ένα ποστ ανα 1-2 βδομάδες std...

λάθος editing...όλα όπως πριν

SeniorCarbone · Post by **SeniorCarbone** » Wed Jul 11, 2007 5:02 pm

ΣΕΜΙΝΑΡΙΟ ΛΟΓΙΚΗΣ ΚΑΙ ΑΛΓΟΡΙΘΜΩΝ

Ομιλητής: A. S. Kechris, California Institute of Technology
Θέμα: Set Theory and Dynamical Systems
Ημερομηνία: Παρασκευή, 13-7-2007, 6 μ.μ.
Αίθουσα: Γ33 Τμήματος Μαθηματικών (νέο κτήριο)

υπόψιν, δίνουμε και λογική την παρασκευή..

Post by **The Punisher** » Wed Jul 11, 2007 5:14 pm

Να συνεχίσω να ποστάρω επί του θέματος;;

εννοείται!

cactus · Post by **cactus** » Thu Jul 12, 2007 1:16 am

Yes sir!

cactus · Post by **cactus** » Tue Jul 17, 2007 7:56 pm

ΣΕΜΙΝΑΡΙΟ ΛΟΓΙΚΗΣ ΚΑΙ ΑΛΓΟΡΙΘΜΩΝ

Ομιλητής: Ε. Ζάχος, Ε. Μ. Π.
Θέμα: Hierarchies of complexity classes
Ημερομηνία: Παρασκευή, 20-7-2007, 6 μ.μ.
Αίθουσα: Γ33 Τμήματος Μαθηματικών

ΠΕΡΙΛΗΨΗ

Computational Complexity deals with the classification of problems into classes of hardness, called complexity classes. Complexity classes are defined by modifying
structural parameters, such as the model of computation (Turing Machine, RAM, Finite Automaton, PDA, LBA, PRAM, Monotone Circuits), the mode of computation (deterministic, nondeterministic, probabilistic, alternating, uniform parallel), the kind of the automaton (Decider, Acceptor, Generator, Transducer, Counting), the resources (time, space, # of processors, circuit size and depth) and others: randomness, oracles, interactivity, promise, advice, operators. Some of the most important questions concern inclusion and separation relations among complexity classes. This line of research has led to numerous definitions of complexity classes, as well as inclusion sequences of classes known as "complexity hierarchies". We will review some of the most interesting ones, including the Polynomial-Time Hierarchy, a Counting Hierarchy and an Approximability Hierarchy.

πηγή: http://mpla.math.uoa.gr/

and the path goes forever on...!
................................φύυυυυυγαμε!!

Post by **The Punisher** » Wed Jul 18, 2007 9:54 am

ψήνομαι! πάμε?

cactus · Post by **cactus** » Wed Jul 18, 2007 11:44 am

πάμε πάμε!

θα επικοινωνήσω σήμερα με ένα παιδί απο μαθηματικό να μου πει συχνότητα εσωτερικού(λεωφορείου). Οπότε i'll be in touch για να κανονίσουμε ώρα.

Την μία και μοναδική φορά που πήγα ήμουν τυχερός και το εσωτερικό ήρθε ακριβώς την ώρα που έφτασα στην πύλη

AnINffected · Post by **AnINffected** » Wed Jul 18, 2007 5:48 pm

Πού βρίσκεται η αίθουσα Γ33 του τμ.Μαθηματικών (σε ποιά περιοχή);

cactus · Post by **cactus** » Wed Jul 18, 2007 7:54 pm

AnINffected wrote:Πού βρίσκεται η αίθουσα Γ33 του τμ.Μαθηματικών (σε ποιά περιοχή);

Code: Select all

Πανεπιστημιούπολη (Ζωγράφου) --> Στάση Γεωλογίας(για το εσωτερικό
                                                                λεωφορειάκι)
                             --> Κτήριο Μαθηματικού(ακριβώς απέναντι) 
                             --> Πτέρυγα Γ
                             --> 2ος ή 3ος όροφος νομίζω 
                                 (αλλά έχει και χάρτη και φοιτητές για 
                                  ερωτήσεις  ώς προς την ακριβή θέση της
                                  αίθουσας....ξεχνάω δυστυχώς εύκολα, 
                                  μέρη & δρόμους)

AnINffected · Post by **AnINffected** » Wed Jul 18, 2007 9:46 pm

Ζωγράφου;Άουτς... αυτό πόνεσε.
Την περιοχή ήθελα, τα άλλα βρίσκονται.
Σ'ευχαριστώ πολύ για την απάντηση σου.

cactus · Post by **cactus** » Sat Jul 21, 2007 1:32 am

Αρχικά έχω να καταγγείλω την παράγκα του εσωτερικού λεωφορείου!

Φτάνω τις 5:55,περιμένω 5 λεπτά και το παίρνω με τα πόδια όοολο το δρόμο προς το μαθηματικό, beneath the red sun, και στο 20+ λεπτο περπατημα μου δεν πέρασε το λεωφορείο.

Αnywayz, πρόλαβα γιατί άργησαν να αρχίσουν.
Έκανε ιστορική αναδρομη στις κλάσεις πολυπλοκότητας από το '30 μέχρι σήμερα. παρουσίασε ορισμούς κλάσεων περισσότερους απο όσους έχουμε ακούσει στη σχολή.
Αυτό που αποκόμησα είναι ότι τα πράγματα είναι πολύ πιο μακρυά απο τα P, NP που έχουμε μείνει, όχι ότι έχουν λύσει την ισότητα/ανισότητα, αλλά δεν το ψάχνουν τόσο και ψάχνουν κάτι άλλα περίεργα ( γκροτέσκα

) πράγματα...

Και τέλος να ξανακαταγείλω την παράγκα του εσωτερικού, που "έφαγε" το δρομολόγιο των 8 και γύρισα πάλι με τα πόδια μέχρι την πύλη!! fuuuuck!

ciao · Post by **ciao** » Sun Jul 22, 2007 2:58 am

Ου μπλέξεις...
Πολύ ενδιαφέροντα τα άρθρα!
Έχεις και από εμένα το support..

cactus · Post by **cactus** » Wed Oct 10, 2007 5:09 pm

Νέο ακαδημαϊκό έτος...άνοιξε πάλι και το ΜΠΛΑ, συνεχίζω κι εγώ να ενημερώνω...

ΣΕΜΙΝΑΡΙΟ ΛΟΓΙΚΗΣ ΚΑΙ ΑΛΓΟΡΙΘΜΩΝ

Ομιλητής: Fedor V. Fomin, University of Bergen (Norway)
Θέμα: Exact algorithms for NP-hard problems
Ημερομηνία: Παρασκευή, 12-10-2007, 6 μ.μ.
Αίθουσα: Γ33 Τμήματος Μαθηματικών

ΠΕΡΙΛΗΨΗ

It is a common belief that exponential time algorithms are unavoidable when we want to find an exact solution of an NP hard problem. The design of exact (moderately exponential) algorithms has a long history dating back to Held and Karp's paper on the traveling salesman problem in the early sixties. The last years have seen an emerging interest in constructing exact algorithms for combinatorial problems like Coloring, Max-Cut, 3-SAT, Minimum Dominating Set, Treewidth, and Maximum Independent Set. In this talk we overview some recent results and techniques in the area of exact algorithms and conclude with several open problems.

Αλλά το θέμα έχει χαρακηρισθεί παλιό...αλλά εγώ το ανανέωσα, άρα είναι νέο

, να ανοίξω νέο θέμα για όλες τις νέες διαλέξεις που έπονται;;

Post by P3 » Thu Oct 11, 2007 8:49 am

Εφόσον έπεται συνέχεια, έβγαλα τον χαρακτηρισμό παλιό από τον τίτλο!

cactus · Post by **cactus** » Mon Dec 10, 2007 10:52 pm

Καιρός ήτανε... αν και ξέχασα να ποστάρω ένα ήδη...anyway, the story goes on...

~~~~~@14 Dec 2007

AXIOMS FOR ELEMENTARY ALGORITHMS, AND THE DERIVATION OF ABSOLUTE LOWER BOUNDS

YIANNIS N. MOSCHOVAKIS

Abstract. In previous work (joint with Lou van den Dries and reported
in the ΜΠΛΑ seminar), we have established lower bounds for arithmetical
problems which, we claimed, hold for all algorithms from specified prim-
itives, based on a Church-Turing Thesis for algorithms. My purpose in
this lecture is to show how these lower bounds can be derived from four
very simple axioms for elementary algorithms, which are both plausible
and easy to verify for all the standard computational models.

DEPARTMENT OF MATHEMATICS, UCLA, and ΜΠΛΑ

επίσης...

Unless otherwise stated, all lectures take place in room Γ33 of the Mathematics Department, at 6p.m..

πηγή: http://mpla.math.uoa.gr/seminars/_files ... vakis5.pdf

[Παλιό] - Σεμινάριο Λογικής και Αλγορίθμων -- ΜΠΛΑ

[Παλιό] - Σεμινάριο Λογικής και Αλγορίθμων -- ΜΠΛΑ

another adventure of the humanoid cactus going to mpla