1、 KSKSKSKS KSKSKSK KSKSKS KSKSK KSKS KSK KS KS X 00012 2： KS X 00012 ：2007 (2012 ) 2007 9 28 http:/www.kats.go.krKS X 00012：2007 : ( ) ( ) SJ ( ) : (http:/www.standard.go.kr) ： ：1987 11 4 ：2007 9 28 ：2012 12 28 ： 2012-0829 ： ( 02-509-7262) (http:/www.kats.go.kr). 10 5 , . KS X 00012：2007 (2012 ) 2： I
2、nformation technologyVocabulary Part 2：Arithmetic and logic operation 1 . 1 ISO 23822：1976 . 2 * . 2 . . KS X 1001, ( ) ISO 23822：1976, Data processingVocabularyPart 2：Arithmetic and logic operations 3 , , 4 . . a) 1) 6 . 2 2 , 2 . 2 . 2) * KS . b) 1) 2 . 2) ( ) . . 1 “()” “ ” “ ” (02.01.04 ). 2 “()
3、 ” “ ” “ ” (02.04.01 ). KS X 00012：2007 2 3) , (1), (2), . “(1) ”(11.02.02 ), “(2) ”(11.02.03 ) 4) , 2 . . 1 (a) (b) (11.10.05 ). (a) 2N 2 N (b) 2 2 N N 2 (a) (b) (13.02.06 ). (a) (毆數字) (毆字)英字 , , , (b) , , , , , , , , , , , , 5) ( ) . 1 “( )”(02.01.02 ) 2 “( )”(16.09.04 ), “( )”(18.06.08 ) 6) ( ) .
4、 “SYSGEN()”(19.02.18 ), “DP()”(02.01.03 ) 7) , . “ ”(13.10.09 ) 8) , . 1 (02.01.03 ) 2 COBOL(16.02.22 ) 3 DP(02.01.03 ) KS X 00012：2007 3 c) 1) . , * . 2) b. 4) . d) 1) (ISO 23822) . * . 2) ( ) . 3) (注記) . ( .)： . 11.04.01 logic function ( .) ( .)： . ( .)： , . ()： () . 11.02.07 range () “ ” . e) . ,
5、 . 4 ( ) 11.01 11.01.01 . , heuristic method 11.01.02 N , N , N n ( n1) . mathematical induction 11.01.03 formal logic 11.01.04 , symbolic logic, mathematical logic KS X 00012：2007 4 11.02 11.02.01 switching variable, logic variable ( .) 11.02.02 (1) argument 11.02.03 (2) () , argument 11.02.04 , .
6、parameter 11.02.05 , scalar 11.02.06 vector 11.02.07 span, range() 11.02.08 () characteristic (of a logarithm) 11.02.09 () mantissa (of a logarithm) 11.03 11.03.01 , 0, 1, 2 0 , 1 . natural number, nonnegative integer 11.03.02 0, 1, 1, 2, 2 integer, integer number 11.03.03 , real number 11.03.04 0 r
7、ational number 11.03.05 irrational number 11.03.06 , aib . a b , i i 2 1. complex number 11.03.07 () , random number 11.03.08 random number sequence 11.03.09 , . pseudo-random number sequence 11.03.10 serial number KS X 00012：2007 5 11.03.11 ( ) , , . , ( .) ( , .) . zero (in data processing) 11.03.
8、12 23 8 10 12 16 N 2 3 8 10 12 16 N binary ternary octal decimal or denary duodecimal sexadecimal or hexadecimal N-ary 11.03.13 23 8 10 12 16 N () , 2 3 8 10 12 16 N binaryternaryoctal decimal or denary duodecimal sexadecimal or hexadecimal N-ary 11.03.14 1 factorial 11.04 11.04.01 , . switching fun
9、ction, logic function( .) 11.04.02 2 Bollean function 11.04.03 2 , 2 . recursively defined sequence 11.04.04 . . . , . to map(over) 11.04.05 map, mapping( ). KS X 00012：2007 6 11.04.06 (12uxu 2 ) , P n (x) . (12uxu 2 ) = n n n u x P ) ( 0 generation function 11.04.07 1 2 2 1 , 0 . gT ( a 1 , , a n )
10、0 g T f (a 1 , , a n )1 gW 1a 1 , W n a n W 1 , , W n a 1 , , a n (weight), T . threshold function 11.05 11.05.01 (1) 2 11.05 , 1 2 2 “ 0” “ 1” . . Boolean operation, binary operation a( .) 11.05.02 (2) Boolean operation, binary operation a( .) 11.05.03 2N 2 N dyadic N-adic Boolean operation, binary
11、 N-ary Boolean operation ( .) 11.05.04 2 Boolean operator KS X 00012：2007 7 11.05.05 . . complementary operation 11.05.06 , 2 , 1 . . dual operation 11.05.07 1 2 . identity operation 11.05.08 1 2 . nonidentity operation 11.05.09 , IFANDONLYIF , IFF() 2 , 1 2 2 equivalence operation, IFANDONLYIF oper
12、ation, IFF 11.05.10 , EXCLUSIVEOR 2 , 1 2 2 non-equivalence operation, EXCLUSIVEOR operation, modulo two sum( ), addition without carry ( ) 11.05.11 , AND 1 1 2 conjunction, AND operation intersection, logical product( ) 11.05.12 , , NAND 1 0 2 2 non-conjunction, NAND operation, NOT-BOTH operation,
13、NOT-AND operation ( ) 11.05.13 , OR , INCLUSIVE-OR 0 0 2 disjunction, OR operation, INCLUSIVE-OR operation, logical add, logical sum( ) EITHER-OR operation ( ) KS X 00012：2007 8 11.05.14 , , NOR 0 1 2 2 non-disjunction, NOR operation, NEITHER-NOR operation, NOT-OR operation ( ) 11.05.15 NOT-IF-THEN
14、1 1 , 2 0 1 2 2 exclusion, NOT-IF-THEN operation, AND-NOT operation ( ), EXCEPT operation ( ) 11.05.16 , IF-THEN 1 1 , 2 0 0 2 2 implication, IF-THEN operation, conditional implication (operation), inclusion( ) 11.05.17 NOT 2 negation, NOT operation, Boolean complementation ( ), inversion ( ) 11.05.
15、18 . to negate adyadic operation binary arithmetic operation binary operation . 11.06 , 11.06.01 4 6 . 4 6 . precision 11.06.02 2 multiple-precision KS X 00012：2007 9 11.06.03 2, 3 1 2 3 single-double- triple- precision 11.06.04 , error 11.06.05 accuracy 11.06.06 . . accuracy 11.06.07 . . . accuracy
16、 11.06.08 , , , absolute error 11.06.09 , , relative error 11.06.10 , . balanced error () 11.06.11 . bias 11.06.12 1 2 bias error 11.06.13 error range 11.06.14 error span, error range ( .) 11.06.15 truncation error 11.06.16 rounding error 11.07 11.07.01 2 2 binary arithmetic operation, binary operat
17、ion b( .) 11.07.02 , , , . significant digit arithmetic KS X 00012：2007 10 11.07.03 () (語長) (arithmetic) overflow 11.07.04 overflow 11.07.05 , 1 0 . 2 . (arithmetic) underflow 11.07.06 , , . carry digit 11.07.07 carry 11.07.08 . . to carry 11.07.09 2 , . end-around carry 11.07.10 , , . borrow digit
18、11.07.11 end-around borrow bdyadic operation Boolean operation binary operation . KS X 00012：2007 11 11.08 11.08.01 , , . 1 A B C ( AB)C . 2 P, Q R P&(Q&R) . infix notation 11.08.02 , , , , , . 1 A B C ABC . 2 P, Q R & P&QR . prefix notation, Polish notation, parenthesis-free notation, Lukasiewicz n
19、otation 11.08.03 , , , , 1 A B C ABC . 2 P, Q R PQR& . suffix notation, postfix notation, reverse Polish notation11.09 11.09.01 . ( ) , , . 1 9.99 123.4510 2 1.234510 4 . to normalize (in a floating-point representation system), to standardize KS X 00012：2007 12 11.09.02 (1) () truncation (of a string) 11.09.03 (2) () , truncation (of a computation process) 11.09.04
