30.08.2013 |
17:29:43 |
progr. |
theoretical computer sciences |
теоретические компьютерные науки (подмножество компьютерных наук, состоящее из наук, фокусирующихся на более формальных и математических аспектах вычислений) |
30.08.2013 |
17:24:53 |
progr. |
programming language theory |
теория языков программирования |
29.08.2013 |
15:19:03 |
progr. |
premature exposure to pointers |
предварительное изучение указателей |
29.08.2013 |
15:18:35 |
progr. |
premature exposure |
предварительное изучение |
29.08.2013 |
15:16:11 |
progr. |
exposure |
изучение |
29.08.2013 |
15:03:55 |
progr. |
parameter passage by reference |
передача параметра по ссылке |
29.08.2013 |
15:02:56 |
progr. |
parameter passage |
передача параметра |
29.08.2013 |
14:51:21 |
progr. |
natural lead-in to object-oriented programming |
естественное введение в объектно-ориентированное программирование |
29.08.2013 |
14:49:24 |
progr. |
natural lead-in |
естественное введение |
29.08.2013 |
14:46:29 |
progr. |
interface documentation for user-written functions |
документирование интерфейса функций, заданных пользователем |
29.08.2013 |
14:45:15 |
progr. |
interface documentation |
документирование интерфейса |
29.08.2013 |
14:43:17 |
progr. |
user-written functions |
функции, заданные пользователем |
29.08.2013 |
14:42:57 |
progr. |
user-written function |
функция, заданная пользователем |
29.08.2013 |
11:56:12 |
progr. |
process in a computer system |
процесс в вычислительной системе |
29.08.2013 |
11:53:41 |
progr. |
initial program counter of a process |
первоначальный счётчик команд процесса |
29.08.2013 |
11:53:13 |
progr. |
initial program counter |
первоначальный счётчик команд |
29.08.2013 |
11:52:51 |
progr. |
program counter of a process |
счётчик команд процесса |
29.08.2013 |
11:48:59 |
progr. |
initial marking of the composite Petri net |
начальная маркировка составной сети Петри |
29.08.2013 |
11:47:55 |
progr. |
initial marking |
начальная маркировка |
29.08.2013 |
11:46:05 |
progr. |
concurrent execution of the two processes |
одновременное выполнение двух процессов |
29.08.2013 |
11:40:22 |
progr. |
nodes of the flowchart |
узлы блок-схемы |
29.08.2013 |
11:40:02 |
progr. |
node of the flowchart |
узел блок-схемы |
29.08.2013 |
11:37:17 |
progr. |
graphical representations of a program |
графические представления программы |
29.08.2013 |
11:36:03 |
progr. |
graphical representation of a sequential program |
графическое представление многостадийной программы |
29.08.2013 |
11:33:21 |
progr. |
graphical representation of a program |
графическое представление программы |
29.08.2013 |
11:30:28 |
progr. |
convenient way to execute a flowchart |
удобный способ выполнения блок-схемы |
29.08.2013 |
11:27:21 |
progr. |
decisions represented by the diamond shapes and computations represented by the rectangles |
принятия решения, показанные ромбами, и вычисления, показанные прямоугольниками (на блок-схеме) |
29.08.2013 |
11:21:03 |
progr. |
decisions represented by the diamond shapes |
принятия решения, показанные ромбами (на блок-схеме) |
29.08.2013 |
11:19:12 |
progr. |
decisions |
принятия решения |
29.08.2013 |
11:16:18 |
progr. |
computations represented by the rectangles |
вычисления, показанные прямоугольниками (на блок-схеме) |
29.08.2013 |
11:07:54 |
progr. |
every sequential program |
каждая последовательная программа |
29.08.2013 |
11:05:49 |
progr. |
computations to be done |
вычисления, которые надо произвести |
29.08.2013 |
11:05:49 |
progr. |
computations to be done |
конкретные вычисления, которые надо произвести |
29.08.2013 |
11:04:27 |
progr. |
Notice that the flowchart of Figure 3.22 does not specify the computations to be done, only the structure of the program |
Заметим, что блок-схема на рисунке 3.22 не указывает конкретные вычисления, которые надо произвести, а только определяет структуру программы (см. Petri Net Theory And The Modeling Of Systems / James L. Peterson 1981) |
29.08.2013 |
10:57:07 |
progr. |
flowchart of Figure |
блок-схема на рисунке |
29.08.2013 |
10:48:55 |
progr. |
flow of control in a program |
поток управления в программе |
29.08.2013 |
10:41:51 |
progr. |
one standard means of representing the control structure of a program |
стандартный способ представления структуры управления программ |
29.08.2013 |
10:40:30 |
progr. |
representing the control structure of a program |
представление структуры управления программ |
29.08.2013 |
10:39:46 |
progr. |
control structure of a program |
структура управления программ |
29.08.2013 |
10:39:21 |
progr. |
one standard means |
стандартный способ |
29.08.2013 |
10:30:21 |
progr. |
duplicate of the modeled system |
дубликат моделируемой системы |
29.08.2013 |
10:28:26 |
progr. |
specific details as much as possible |
все возможные специфические детали |
29.08.2013 |
10:25:11 |
progr. |
specific details |
специфические детали |
29.08.2013 |
10:20:59 |
progr. |
model the sequencing of instructions and the flow of information |
моделирование упорядочения инструкций и потока информации |
29.08.2013 |
10:19:14 |
progr. |
sequencing of instructions and the flow of information |
упорядочение инструкций и поток информации |
29.08.2013 |
10:17:48 |
progr. |
sequencing of instructions |
упорядочение инструкций |
29.08.2013 |
10:13:24 |
progr. |
control structure of programs |
структура управления программ |
29.08.2013 |
2:12:21 |
progr. |
relational database management systems |
системы управления реляционными базами данных |
29.08.2013 |
2:10:38 |
progr. |
applications of logic programming |
применение логического программирования |
29.08.2013 |
2:07:14 |
progr. |
nonprocedural programming |
непроцедурное программирование |
29.08.2013 |
2:05:44 |
progr. |
fundamental goal of logic programming |
основная цель логического программирования |
29.08.2013 |
2:03:46 |
progr. |
fundamental goal |
основная цель |
29.08.2013 |
2:02:33 |
progr. |
intrinsic limitations |
внутренние ограничения |
29.08.2013 |
2:00:08 |
progr. |
negation problem |
проблема логического отрицания |
29.08.2013 |
1:56:42 |
progr. |
closed-world assumption |
предположение о закрытом мире |
29.08.2013 |
1:54:20 |
progr. |
resolution order control |
управление порядком выполнения резолюции |
29.08.2013 |
1:53:53 |
progr. |
resolution order |
порядок выполнения резолюции |
29.08.2013 |
1:49:37 |
progr. |
list structures |
списковые структуры |
29.08.2013 |
1:47:21 |
progr. |
simple arithmetic |
простая арифметика |
29.08.2013 |
1:46:00 |
progr. |
inferencing process |
процесс логического вывода |
29.08.2013 |
1:39:30 |
progr. |
overview of logic programming |
обзор логического программирования |
29.08.2013 |
1:35:08 |
progr. |
predicate calculus and proving theorems |
исчисление предикатов и доказательство теорем |
29.08.2013 |
1:32:22 |
progr. |
examples of clausal form propositions |
примеры дизъюнктивных форм высказываний |
29.08.2013 |
1:31:06 |
progr. |
clausal form propositions |
дизъюнктивные формы высказываний |
29.08.2013 |
1:22:59 |
progr. |
consequence of the truth of the antecedent |
следствие истинности антецедента |
29.08.2013 |
1:20:42 |
progr. |
truth of the antecedent |
истинность антецедента |
29.08.2013 |
1:12:02 |
progr. |
right side of a clausal form proposition |
правая часть в дизъюнктивной форме высказывания |
29.08.2013 |
1:07:15 |
progr. |
predicate calculus propositions |
высказывания в исчислении предикатов |
29.08.2013 |
1:02:11 |
progr. |
general clausal form |
общая дизъюнктивная форма |
29.08.2013 |
0:59:19 |
progr. |
universal quantifiers |
кванторы всеобщности |
29.08.2013 |
0:58:15 |
progr. |
existential quantifiers |
кванторы существования |
29.08.2013 |
0:56:22 |
progr. |
primary characteristics of clausal form propositions |
основное свойство дизъюнктивной формы высказываний |
29.08.2013 |
0:54:35 |
progr. |
clausal form propositions |
дизъюнктивная форма высказываний |
29.08.2013 |
0:53:56 |
progr. |
clausal form proposition |
дизъюнктивная форма высказывания |
29.08.2013 |
0:35:15 |
progr. |
clausal |
дизъюнктивный |
29.08.2013 |
0:32:32 |
progr. |
proposition in clausal form |
высказывание в дизъюнктивной форме |
29.08.2013 |
0:28:45 |
progr. |
relatively simple form of propositions |
относительно простая форма высказываний |
29.08.2013 |
0:26:59 |
progr. |
form of propositions |
форма высказываний |
29.08.2013 |
0:24:03 |
progr. |
clausal form |
дизъюнктивная форма |
29.08.2013 |
0:17:22 |
progr. |
objects in logic programming propositions |
объекты в высказываниях логического программирования |
29.08.2013 |
0:16:54 |
progr. |
logic programming propositions |
высказывания логического программирования |
29.08.2013 |
0:11:52 |
progr. |
basic needs of formal logic |
основные задачи формальной логики |
29.08.2013 |
0:10:10 |
progr. |
basic needs |
основные задачи |
29.08.2013 |
0:05:31 |
progr. |
symbolic logic |
символьная логика |
29.08.2013 |
0:00:36 |
progr. |
brief introduction to predicate calculus |
краткое введение в исчисление предикатов |
28.08.2013 |
23:56:24 |
progr. |
logic programming languages |
языки логического программирования |
28.08.2013 |
23:55:54 |
progr. |
logic programming language |
язык логического программирования |
28.08.2013 |
23:52:40 |
progr. |
comparison of functional and imperative languages |
сравнение функциональных и императивных языков |
28.08.2013 |
23:52:14 |
progr. |
functional and imperative languages |
функциональные и императивные языки |
28.08.2013 |
23:47:37 |
progr. |
applications of functional languages |
применение функциональных языков |
28.08.2013 |
23:41:34 |
progr. |
functions that build code |
функции для создания кода |
28.08.2013 |
23:38:48 |
progr. |
most common functional forms |
наиболее распространённые функциональные формы |
28.08.2013 |
23:36:35 |
progr. |
apply-to-all functional form |
функциональная форма применить-ко-всем |
28.08.2013 |
23:30:41 |
progr. |
infinite read-evaluate-print loop |
бесконечный цикл типа прочитать-вычислить-записать |
28.08.2013 |
23:30:10 |
progr. |
read-evaluate-print loop |
цикл типа прочитать-вычислить-записать |
28.08.2013 |
23:25:25 |
progr. |
first-class entities |
сущности первого класса |
28.08.2013 |
23:19:26 |
progr. |
data types and structures |
типы и структуры данных |
28.08.2013 |
23:13:30 |
progr. |
fundamentals of functional programming languages |
основы функциональных языков программирования |
28.08.2013 |
23:10:54 |
progr. |
apply-to-all |
применить-ко-всем |
28.08.2013 |
23:05:22 |
progr. |
function composition |
композиция функций |