ru.linux

 
 - RU.LINUX ---------------------------------------------------------------------
 From : Vitaly Lugovsky                      2:5080/1003    29 Nov 2004  23:08:10
 To : Ruslan Kosolapov
 Subject : Re: Re:
 -------------------------------------------------------------------------------- 
 

 Ruslan Kosolapov <rk@plesk.ru> wrote:
 
 > VL> Вся дискретная математика (в особенности - теория множеств, теории
 > VL> типов, мат. логика, теория графов, денотационные семантики,
 > VL> лямбда-исчисление, теория вычислимости).  Все основные группы
 > VL> моделей вычислений (и, соответственно, языков программирования -
 > VL> ленивые и агрессивные функциональные, логика первого порядка,
 > VL> императивные).
 > 
 >  Хм.  Ты считаешь, что это - мало?
 
  Дык. Это за пару курсов среднего ВУЗа вбить в человека можно.
 
 > VL> Пи-исчисление и все его прикладные применения - сейчас без этого ни
 > VL> в борщ, ни в Красную Армию...
 > 
 >  Что это такое и где про это можно почитать (если можно, то лучше url)?
 
  Формальная модель параллелизма.
 
  http://en.wikipedia.org/wiki/Pi_calculus
 
 --- ifmail v.2.15dev5
  * Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    Стив Баллмер пригрозил правительствам   Sergey Prokopenko   19 Nov 2004 14:59:50   Re: Стив Баллмер пригрозил правительствам   Artem Chuprina   19 Nov 2004 16:19:59   Стив Баллмер пригрозил правительствам   Anton Shuko   19 Nov 2004 22:39:58   Moderatorial [+][+] Re: Стив Баллмер пригрозил правительствам   Comoderator of RU.LINUX   20 Nov 2004 11:59:24   Re: Стив Баллмер пригрозил правительствам   Vitaly Lugovsky   20 Nov 2004 00:10:16   Re: Стив Баллмер пригрозил правительствам   Eugeny Chernetcki   20 Nov 2004 03:55:43   Re: Стив Баллмер пригрозил правительствам   Vitaly Lugovsky   20 Nov 2004 18:55:39   Re: Стив Баллмер пригрозил правительствам   Kirill Frolov   21 Nov 2004 14:31:24   Re:   Zahar Kiselev   21 Nov 2004 23:57:20   Re: Re:   Alexei Takaseev   22 Nov 2004 19:17:02   Re:   Artem Chuprina   22 Nov 2004 14:42:35   Re: Re:   Victor Wagner   22 Nov 2004 15:27:51   Re:   Artem Chuprina   22 Nov 2004 16:29:25   Re:   Zahar Kiselev   22 Nov 2004 22:00:08   Re: Re:   Vitaly Lugovsky   22 Nov 2004 22:58:05   Re:   Aleksey Cheusov   23 Nov 2004 00:04:26   Re:   Zahar Kiselev   23 Nov 2004 02:46:56   Re:   Aleksey Cheusov   23 Nov 2004 14:34:26   Re: Re:   Vitaly Lugovsky   23 Nov 2004 16:27:48   Re: Re:   Victor Wagner   23 Nov 2004 15:47:08   Re:   Alexander Ogol   24 Nov 2004 21:00:00   Re:   Zahar Kiselev   25 Nov 2004 22:10:10   Re: Re:   Vitaly Lugovsky   23 Nov 2004 15:37:14   Re:   Aleksey Cheusov   23 Nov 2004 20:19:19   Re: Re:   Vitaly Lugovsky   25 Nov 2004 17:32:03   Re:   Aleksey Cheusov   25 Nov 2004 17:49:11   Re: Re:   Vitaly Lugovsky   26 Nov 2004 00:45:33   Re:   Aleksey Cheusov   26 Nov 2004 17:19:26   Re:   Sergej Solowjow   26 Nov 2004 18:14:04   Re: Re:   Vitaly Lugovsky   26 Nov 2004 22:18:45   Re: Re:   Alex Korchmar   26 Nov 2004 21:38:05   Re: Re:   Vitaly Lugovsky   27 Nov 2004 17:49:07   Re: Re:   Vitaly Lugovsky   26 Nov 2004 20:37:15   Re:   Aleksey Cheusov   26 Nov 2004 20:34:25   Re: Re:   Victor Wagner   26 Nov 2004 21:31:15   Re:   Aleksey Cheusov   27 Nov 2004 17:34:22   Re: Re:   Vitaly Lugovsky   27 Nov 2004 20:51:23   Re:   Aleksey Cheusov   27 Nov 2004 20:34:34   Re: Re:   Vitaly Lugovsky   27 Nov 2004 23:19:49   Re:   Aleksey Cheusov   27 Nov 2004 22:19:22   Re: Re:   Vitaly Lugovsky   28 Nov 2004 00:55:08   Re:   Aleksey Cheusov   28 Nov 2004 16:04:20   Re: Re:   Vitaly Lugovsky   28 Nov 2004 19:32:39   Re:   Aleksey Cheusov   28 Nov 2004 19:04:23   Re: Re:   Vitaly Lugovsky   28 Nov 2004 22:52:25   Re:   Ruslan Kosolapov   28 Nov 2004 23:25:08   Re: Re:   Vitaly Lugovsky   29 Nov 2004 23:08:10   Re:   Aleksey Cheusov   29 Nov 2004 16:04:25   Re: Re:   Vitaly Lugovsky   29 Nov 2004 23:32:41   Re:   Aleksey Cheusov   30 Nov 2004 13:34:40   Re: Re:   Vitaly Lugovsky   03 Dec 2004 19:41:51   Re: Re:   Mikhail Gusarov   04 Dec 2004 22:55:11   Re:   Aleksey Cheusov   06 Dec 2004 17:19:40   Cyбж был здеcь, но потом его пропили.   Sergei Dubarev   28 Nov 2004 23:33:46   Re:   Viktor   02 Dec 2004 15:43:00   Re:   Ilya Anfimov   27 Nov 2004 15:29:33   Re:   Aleksey Cheusov   27 Nov 2004 17:49:30   Re:   Ilya Anfimov   27 Nov 2004 18:58:49   Re:   Aleksey Cheusov   27 Nov 2004 20:19:34   Re: Re:   Vitaly Lugovsky   27 Nov 2004 17:32:39   Re:   Boris Veytsman   27 Nov 2004 16:48:59   Re:   Aleksey Barabanov   27 Nov 2004 17:05:48   Re:   Boris Veytsman   27 Nov 2004 17:31:51   Re: Re:   Vitaly Lugovsky   27 Nov 2004 20:45:26   Re:   Boris Veytsman   28 Nov 2004 06:15:26   Re: Re:   Vitaly Lugovsky   28 Nov 2004 18:19:29   Re:   Artem Chuprina   28 Nov 2004 18:47:09   Re: Re:   Vitaly Lugovsky   28 Nov 2004 22:37:49   Re:   Artem Chuprina   29 Nov 2004 10:14:03   Re: Re:   Vitaly Lugovsky   29 Nov 2004 22:55:01   Re:   Artem Chuprina   30 Nov 2004 00:14:26   Re: Re:   Victor Wagner   27 Nov 2004 18:15:51   Re: Re:   Vitaly Lugovsky   27 Nov 2004 21:36:49   Re: Re:   Vitaly Lugovsky   27 Nov 2004 20:00:56   Re:   Boris Veytsman   28 Nov 2004 06:14:26   Re: Re:   Vitaly Lugovsky   28 Nov 2004 18:20:02   Re:   Aleksey Cheusov   27 Nov 2004 18:19:21   Re: Re:   Vitaly Lugovsky   27 Nov 2004 21:57:57   Re:   Aleksey Cheusov   27 Nov 2004 22:05:45   Re: Re:   Vitaly Lugovsky   28 Nov 2004 00:45:00   Re:   Aleksey Cheusov   28 Nov 2004 15:42:12   Re: Re:   Vitaly Lugovsky   28 Nov 2004 19:22:58   Re:   Aleksey Cheusov   28 Nov 2004 18:33:06   Re: Re:   Vitaly Lugovsky   28 Nov 2004 22:41:17   Re:   Aleksey Cheusov   29 Nov 2004 15:04:38   Re: Re:   Vitaly Lugovsky   29 Nov 2004 23:06:17   Re:   Ilya Anfimov   29 Nov 2004 23:19:22   Re: Re:   Vitaly Lugovsky   30 Nov 2004 17:32:12   Re: Re:   Mike Gusev   03 Dec 2004 00:15:51   Re: Re:   Victor Wagner   26 Nov 2004 21:23:08   Re: Re:   Alex Korchmar   26 Nov 2004 21:42:40   Re:   Boris Veytsman   27 Nov 2004 04:11:19   Re: Re:   Vitaly Lugovsky   27 Nov 2004 17:47:01   Re: Re:   Alex Korchmar   27 Nov 2004 16:31:46   Re: Re:   Vitaly Lugovsky   27 Nov 2004 19:09:13   Re: Re:   Vitaly Lugovsky   27 Nov 2004 17:45:27   Re:   Kirill Frolov   26 Nov 2004 09:08:07   Cyбж был здеcь, но потом его пропили.   Sergei Dubarev   28 Nov 2004 23:36:58   Re:   Aleksey Cheusov   26 Nov 2004 17:19:26   Re: Re:   Igor Zubkov   07 Dec 2004 20:22:26   Re:   Yuri Kostylev   14 Dec 2004 09:03:33   Re:   Eugeny Chernetcki   15 Dec 2004 01:49:40   Re:   Igor Zubkov   16 Dec 2004 13:33:48   Re:   Yuri Kostylev   18 Dec 2004 10:16:30   RE:   Sergey Klimov   25 Dec 2004 23:58:11   Re:   Ilya Anfimov   23 Nov 2004 16:16:56   Re:   Aleksey Cheusov   23 Nov 2004 20:49:32   Re:   Aleksey Cheusov   23 Nov 2004 20:49:35   Re:   Ilya Anfimov   23 Nov 2004 21:31:11   Re:   Aleksey Cheusov   23 Nov 2004 22:04:11   Re:   Ilya Anfimov   24 Nov 2004 01:31:13   Re:   Aleksey Cheusov   24 Nov 2004 15:19:44   Re: Re:   Vitaly Lugovsky   25 Nov 2004 17:37:38   Re:   Zahar Kiselev   26 Nov 2004 02:43:34   Re:   Aleksey Cheusov   26 Nov 2004 20:34:26   Re:   Zahar Kiselev   27 Nov 2004 00:20:24   Re:   Fedor Zuev   18 Dec 2004 16:12:30   Re: Re:   Zahar Kiselev   22 Nov 2004 22:50:28   Re: Re:   Vitaly Lugovsky   23 Nov 2004 15:32:05   Re: Re:   Aleksey Barabanov   23 Nov 2004 14:20:30   Re:   Alex Kislica   23 Nov 2004 18:14:10   Re: Re:   Vitaly Lugovsky   23 Nov 2004 19:55:24   Re: Re:   Victor Wagner   23 Nov 2004 18:48:51   Re: Re:   Vitaly Lugovsky   23 Nov 2004 21:19:41   Re:   Aleksey Cheusov   23 Nov 2004 20:34:37   Re: Re:   Vitaly Lugovsky   25 Nov 2004 17:14:33   Re:   Aleksey Cheusov   25 Nov 2004 16:04:30   Re: Re:   Vitaly Lugovsky   26 Nov 2004 00:32:36   Re:   Aleksey Cheusov   25 Nov 2004 23:19:25   Re: Re:   Vitaly Lugovsky   26 Nov 2004 02:05:21   Re: Стив Баллмер пригрозил правительствам   Alexei Dets   20 Nov 2004 09:12:53   Стив Баллмер пригрозил правительствам   Zahar Kiselev   21 Nov 2004 23:26:58   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   22 Nov 2004 13:27:52   Re: Стив Баллмер пригрозил правительствам   Sergey Kudriavtsev   24 Nov 2004 23:08:00   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   27 Nov 2004 13:58:49   Re: Стив Баллмер пригрозил правительствам   Vitaly Lugovsky   22 Nov 2004 23:00:02   Re: Стив Баллмер пригрозил правительствам   Zahar Kiselev   22 Nov 2004 23:03:08   Re: Стив Баллмер пригрозил правительствам   Sergey Prokopenko   23 Nov 2004 12:05:22   Re: Стив Баллмер пригрозил правительствам   Victor Wagner   23 Nov 2004 12:16:47   Re: Стив Баллмер пригрозил правительствам   Vitaly Lugovsky   23 Nov 2004 15:43:51   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   23 Nov 2004 14:41:00   Re: Стив Баллмер пригрозил правительствам   Sergey Prokopenko   24 Nov 2004 01:03:16   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   24 Nov 2004 22:15:43   Re: Стив Баллмер пригрозил правительствам   Boris Veytsman   24 Nov 2004 23:36:15   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   25 Nov 2004 13:23:56   Re: Стив Баллмер пригрозил правительствам   Boris Veytsman   26 Nov 2004 06:39:43   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   27 Nov 2004 14:28:31   Re: Стив Баллмер пригрозил правительствам   Alex Korchmar   25 Nov 2004 21:19:50   Re: Стив Баллмер пригрозил правительствам   Boris Veytsman   26 Nov 2004 06:49:56   Re: Стив Баллмер пригрозил правительствам   Sergey Prokopenko   25 Nov 2004 12:18:13   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   25 Nov 2004 13:34:02   Re: Стив Баллмер пригрозил правительствам   Sergey Prokopenko   25 Nov 2004 14:38:08   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   25 Nov 2004 15:04:16   Re: Стив Баллмер пригрозил правительствам   Sergey Prokopenko   25 Nov 2004 22:04:21   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   28 Nov 2004 22:28:46   Re: Стив Баллмер пригрозил правительствам   Sergey Prokopenko   29 Nov 2004 00:01:09   Re: Стив Баллмер пригрозил правительствам   Aleksey Barabanov   29 Nov 2004 00:58:41   Re: Стив Баллмер пригрозил правительствам   Artem Chuprina   29 Nov 2004 10:44:20   Re: Стив Баллмер пригрозил правительствам   Alex Korchmar   30 Nov 2004 22:17:39   Re: Стив Баллмер пригрозил правительствам   Michael de\'OZ   29 Nov 2004 14:57:54   Re: Стив Баллмер пригрозил правительствам   Dmitry Ponyatov   26 Nov 2004 23:03:08   Re: Стив Баллмер пригрозил правительствам   Vitaly Lugovsky   23 Nov 2004 15:41:32   Re: Стив Баллмер пригрозил правительствам   Dmitry Fedorov   23 Nov 2004 18:48:33