1
00:00:04,178 --> 00:00:05,278
SLOVNÍČEK POJMŮ:
2
00:00:05,302 --> 00:00:09,102
Výroková logika: formální odvozovací systém,
ve kterém atomické formule tvoří výrokové proměnné
3
00:00:56,002 --> 00:00:57,046
Kde je Arun?
4
00:00:57,090 --> 00:00:58,482
Plave.
5
00:01:00,354 --> 00:01:02,617
Chci aby přišel na večeři.
6
00:01:02,660 --> 00:01:05,620
Chci s ním mluvit
o jeho známkách z matematiky.
7
00:02:04,157 --> 00:02:06,115
Kde je personál?
8
00:02:06,159 --> 00:02:07,769
Všichni jsou pryč!
9
00:02:07,812 --> 00:02:09,249
Co tím myslíš, pryč?
10
00:02:23,959 --> 00:02:25,526
Ajite, co se děje?
11
00:02:35,971 --> 00:02:37,929
Buď v klidu. Je to v pořádku.
12
00:02:39,279 --> 00:02:40,671
<i>Prosím, pro lásku Boží.</i>
13
00:02:40,715 --> 00:02:42,543
<i>Prosím, nedělej to.</i>
14
00:02:42,586 --> 00:02:44,194
<i>Udělám cokoli.
Budu pokračovat v práci.</i>
15
00:02:44,218 --> 00:02:45,280
<i>Nic neřeknu.</i> Co to je?
16
00:02:45,323 --> 00:02:46,342
Co jsi udělal?
17
00:02:46,386 --> 00:02:47,722
<i>Něco tam být musí...</i>
18
00:02:47,765 --> 00:02:50,246
Běž po nouzovém schodišti dolů.
19
00:02:50,290 --> 00:02:51,334
Najdu Aruna.
20
00:02:51,378 --> 00:02:52,379
Ajite!
21
00:03:02,171 --> 00:03:04,086
Spusťte kontrolu systému na síti.
22
00:03:04,130 --> 00:03:06,001
Byli jsme hacknuti.
Chanda je venku.
23
00:03:06,044 --> 00:03:07,307
Nějak se osvobodil.
24
00:03:07,350 --> 00:03:08,873
<i>Osvobodil?</i>
........