Brmlab

brmlab@brmlab.cz

4034 discussions

[[fpi] "Digitální univerza", přednáší doc. RNDr. Josef Mlček, CSc. a Mgr. Petr Glivický (Katedra teoretické informatiky a matematické logiky, MFF UK)]
by Petr Baudis 23 Mar '12

23 Mar '12

Tentokrat spise pro Ty z Vas, kteri se radi zakouznou do te nejstavnatejsi matematiky... :) ----- Forwarded message from Jirka Sejnoha <jirka.sejnoha(a)gmail.com> ----- Dobrý den, zasíláme Vám pozvání na úvodní seminář "Filosofických problémů informatiky", přednáší: doc. RNDr. Josef Mlček, CSc. a Mgr. Petr Glivický Katedra teoretické informatiky a matematické logiky, MFF UK na téma: "Digitální univerza" Abstrakt: Aritmetický (digitální) resp. množinový koncept univerza, formalizace jako Peanova aritmetika P, resp. teorie konečných množin. Základní rozvoj a vztahy. Prearitmetické teorie (čili zúžení P na podjazyk: teorie následníka, Presburgerova aritmetika) a fragmenty P (čili zúžení axiomů: Robinsonova aritmetika, I{Ʃn}, aj.) Vlastnosti prearitmetických teorií a fragmentů P: Lindenbaumovské a izomorfní spektrum, deskriptivní a reprezentační vlastnosti, aritmetizace syntaxe, nerozhodnutelnost, formalizace dokazatelnsti a reference o sobě. Modely prearitmetických teorií a fragmentů P. Peanovské řezy. Problém expanze, peanovský součin. Lokální linearita. Lineární aritmetika a její vlastnosti. Seminář se koná v úterý 27. 3. 2012 od 17:20 v posluchárně S8 na Malostranském náměstí, budova MFF UK. Přejeme Vám pěkný den Petr Štěpánek a Jiří Šejnoha. Informační stránka semináře: http://ktiml.mff.cuni.cz/fpi/ a konference (mail list) pro zasílání pozvánek: http://ktiml.mff.cuni.cz/cgi-bin/mailman/listinfo/fpi ----- End forwarded message -----

1 0

(no subject)
by Honza Klokanek Sipek 20 Mar '12

20 Mar '12

Subject: Nebezpecna kniha: Stopy nasich dni Reply-To: X-Echelon: NSA CIA nuclear bomb bin ladin kill bush cryptography Dastych major Zeman 27. brezna od 20.00 v klubu Cross (Plynarni ulice, Praha, Holesovice) budeme mit spolu se Shaddackem prednasku na tema STOPY NASICH DNI / JEDEN DEN POD KONTROLOU Tematem bude pokus o peclivou analyzu toho, jak nas "system" sleduje, predevsim elektronickym zpusobem. Prednaska se stane zakladem kapitoly Stopy nasich dni v nasi pripravovane Nebezpecne knize. Doufame, ze dalsi podnety k nasi praci vyplynou z interakce s publikem, proto jsou vitani vsichni prakticti paranoici, ale zaroven se pokusime postavit prednasku tak - stejne jako celou knihu - aby ji rozumel i lehce pouceny pocitacovy laik. Tesime se na setkani! A podle moznosti muzete preposlat do sve socialni site (i o tom bude rec). Webove stranky Nebezpecne knihy: http://eldar.cz/kniha -- <(o)>..klokanek............................................................... (honza sipek) * klokanek (zavinac) eldar.cz * ICQ#281 154 266 skype: brouci.tykadylko jabber: klokanek (zavinac) jabber.cz +420 776 817 817 Hackeri: kouzlo modre obrazovky --> http://eldar.cz/kangaroo/clanecky/hackeri

2 2

Divus akce
by Petr Baudis 19 Mar '12

19 Mar '12

Mili brmlabaci! Oznameni akci Divusu bude nejspis vic a casteji a vsechna je forwardovat nebudeme. Mate-li o dalsi oznameni zajem, prihlaste se do https://konference.spoje.net/mailman/listinfo/easternalliance_net Happy hacking, Petr "Pasky" Baudis

1 0

[[Rada] E X E K U C E - R E P O S S E S S I O N]
by Petr Baudis 18 Mar '12

18 Mar '12

2 1

Re: [Brmlab] [Rada] Geekend with µc³
by Petr Baudis 16 Mar '12

16 Mar '12

Hi! On Fri, Mar 16, 2012 at 12:39:20PM +0100, 9R wrote: > a couple of weeks ago I visited you hackerspace when I was in Prague. I > was really impressed by your project and folks here in Munich at µc³ > also were very interested when I told them about your hackerspace. > > That's why we would like to organize a geekend with you. > > Just in case you aren't familiar with the geekend concept, it works like > this: Hackers from hackerspace A visit hackerspace B for a weekend. > Hackerspace B organizes accommodation (ie. space for sleeping bags at > the hackerspace or at local hackers home) and sometimes even food. The > visiting hackers prepare some content (generally talks or even a > workshop) for the geekend. A couple of weeks later the whole thing is > repeated the other way around. > When geekends are organized between local CCC groups, there is financial > support from the main CCC to cut down cost for the hackerspaces > involved. I have already asked and the good news is, there is support > for organizing a geekend with non-ccc-hackerspaces available as well. > > You can check out our website [1] and wiki [2] to see what we do at µc³. > We hope there is something of interest for you. > > If you are interested in organizing a geekend with us we would love to > hear from you. > > I am idling in #brmlab (neunR) so you can contact me there as well. > > Cheers, > > 9R > > ps: As I can read and speak a bit Czech you can contact my in Czech > language , too. Since my orthography is horrible, I wanted to spare you > the pain and myself the embarrassment ;) > > [1] https://muc.ccc.de > [2] https://wiki.muc.ccc.de Thanks for the offer, it's an awesome idea! I'm forwarding this to our mailing list so that everyone can take a look at the projects and express interest, we'll also discuss this on our next meetup. We are actually right now organizing what is essentially a "geekend" with Metalab Vienna - visited them in December and in two weeks, they are coming here. :-) So we might want to leave another few weeks of a gap to "cool down" first ;) - we'll let you know during next week! Petr "Pasky" Baudis

2 1

[Bubenska kantyna jidelnicek 16.03.]
by Petr Baudis 16 Mar '12

16 Mar '12

1 0

[Setkání přátel robotiky]
by Petr Baudis 16 Mar '12

16 Mar '12

----- Forwarded message from "L. Langhammer" <langhammerls(a)gmail.com> ----- Ahoj, rád bych pozval zájemce z Brmlabu na setkání přátel robotiky. Podrobnosti naleznete na Robodoupěti<http://robodoupe.cz/2012/setkani-pratel-robotiky-3/>. Zároveň by bylo super pokud by někdo chtěl, tak udělat krátkou prezentaci nebo seznámení s některým zajímavým projektem. Mohl bych požádat o zveřejnění zprávy o setkání v příloze na vašem webu? S pozdravem -- L. Langhammer Hobbyrobot.cz RoboDoupe.cz <http://robodoupe.cz/> ----- End forwarded message -----

1 0

Hördur Torfa vystupi na Vaclavaku zajtra (15.3.) o 17:00
by Ondrej Mikle 15 Mar '12

15 Mar '12

Zdar, Na http://narodni-rada.cz/ je avizo, ze zajtra: """ V PRAZE na Václaváku vystoupí Hördur Torfa, jeden z hlavních strůjců revoluce na ISLANDU, která vedla k pádu tamější vlády a nastolení SKUTEČNÉ DEMOKRACIE """ Ta stranka a hnutie je take podivne, ale mozno ten prihovor bude zaujimavy (vraj ked hovoril na Slovensku pri Gorilich protestoch, tak to stalo za to). OM

2 2

Tutorial: Jak editovat Wikipedii
by Petr Baudis 14 Mar '12

14 Mar '12

Mili brmlabaci, clenove i priznivci! Ve stredu 28.3.2012 poradame v brmlabu workshop, kde chceme naucit ucastniky zaklady editace a tvorby clanku na Wikipedii: http://brmlab.cz/event/wikipedie Chcete-li se stat prispevateli Wikipedie a na workshop dorazit, napiste se prosim do Doodle: http://www.doodle.com/8xywp4tczh93xc6y Tesime se na Vas, Petr "Pasky" Baudis

1 0

Vienna Open Lab brmvýprava
by Jan Hrach 14 Mar '12

14 Mar '12

Ahoj brmlabáci, zejména pak ti příznivci biolabu, kteří přežili poslední pokusy! Ve Vídni existuje hands-on genetická laboratoř a pořádají tam různé zajímavé workshopy. Co se tam někdy vypravit? Vzhledem k frontě, co tam je, pokud bychom chtěli jet někdy v létě, je nejvyšší čas začít to řešit. Chtělo by to, aby nás bylo alespoň 8-10. Případně metalabáci (vídeňský hackerspace) říkali, že když se nás tolik nesesbírá, někdo od nich půjde taky. Kurzy umí vést i v angličtině, takže pokud jste na tom s němčinou jako já, neměl by to být problém. Nejvhodnější by podle mě bylo „Genetic Fingerprint“ (http://www.viennaopenlab.at/en_ab_17_jahren.php úplně na konci), ale klidně se můžeme dohodnout i na něčem jiném. Jenda -- Jan Hrach, http://jenda.hrach.eu/ GPG 1D9D AC4B E964 0D1E 7F5D 6E03 B72F 6430 9FA4 F536

5 6

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Brmlab