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>

........