µn¤J
¡U
µù¥U
¡U
·|û¤¤¤ß
¡U
µ²±b
¡U
°ö°V½Òµ{
Å]ªk§Ì¤l
¡U
¦Û¸ê¥Xª©
¡U
¹q¤l®Ñ
¡U
«ÈªA¤¤¤ß
¡U
´¼¼z«¬¥ßÊ^·|û
®Ñ¦W
¥Xª©ªÀ
§@ªÌ
isbn
½s¸¹
5050Å]ªk²³Äw
|
NG®Ñ«°
|
°ê»Ú¯Å«~µP½Òµ{
|
Àu´f³qª¾
|
ÅRÆE^¶¯µ¼Öºë¿ï
|
Å]ªk·L¿n¤À
¦¹§@ªÌµL¬ÛÃö®ÑÄy
¤å¾Ç¤p»¡
¤å¾Ç
¡U
¤p»¡
°ÓºÞ³Ð§ë
°]¸g§ë¸ê
¡U
¦æ¾P¥øºÞ
¤H¤åÃÀ§{
©v±Ð¡Bõ¾Ç
ªÀ·|¡B¤H¤å¡B¥v¦a
ÃÀ³N¡B¬ü¾Ç
¡U
¹q¼vÀ¸¼@
Ày§Ó¾i¥Í
ÂåÀø¡B«O°·
®Æ²z¡B¥Í¬¡¦Ê¬ì
±Ð¨|¡B¤ß²z¡BÀy§Ó
¶i׾Dzß
¹q¸£»Pºô¸ô
¡U
»y¨¥¤u¨ã
Âø»x¡B´Á¥Z
¡U
x¬F¡Bªk«ß
°Ñ¦Ò¡B¦Ò¸Õ¡B±Ð¬ì¥Î®Ñ
¬ì¾Ç¤uµ{
¬ì¾Ç¡B¦ÛµM
¡U
¤u·~¡B¤uµ{
®a®x¿Ë¤l
®a®x¡B¿Ë¤l¡B¤H»Ú
«C¤Ö¦~¡Bµ£®Ñ
ª±¼Ö¤Ñ¦a
®È¹C¡B¦a¹Ï
¡U
¥ð¶¢®T¼Ö
º©µe¡B´¡¹Ï
¡U
¨î¯Å
Â÷´²¼Æ¾Ç(²Ä¤Gª©)
¤ÀÃþ¡G
¬ì¾Ç¡E¦ÛµM
¡þ
¼Æ¾Ç
ÂO®Ñ¨t¦C¡G²Îp/¼Æ¾Ç
¥Xª©ªÀ¡G
ùÖ®p
¥Xª©¤é´Á¡G2008/11/21
ISBN¡G9789861814032
®ÑÄy½s¸¹¡Gkk0221315
¶¼Æ¡G496
©w»ù¡G
460
¤¸
Àu´f»ù¡G
82
§é
377
¤¸
®Ñ»ùY¦³²§°Ê¡A¥H¥Xª©ªÀ¹ê»Ú©w»ù¬°·Ç
µ´ª©®Ñ
µ´ª©®Ñ¡G½T©w¤£¦Aª©ªº°Ó«~¡A¶È´£¨Ñ®ÑÄy¸ê°T°Ñ¦Ò¡C
µû»ù¼Æ¡G
(½Ð±N·Æ¹«²¾¦Ü¬P¬P³B¶i¦æµû»ù)
¥Ø«e¥§¡µû»ù¡G
¤å¦r³sµ²
½Æ»s»yªk
Â÷´²¼Æ¾Ç(²Ä¤Gª©)
¹Ï¤ù³sµ²
½Æ»s»yªk
¤À
¨É
¤º®e²¤¶
¦PÃþ±ÀÂË
¥»®Ñ°Ñ¦Ò¬ü°ê±`¬KÃæW®Õ±Ð§÷½sµÛ¡A¥H¼Æ¾Ç¼Ò«¬¤Á¤J¡A¤«µM¦³§Ç¦a´yz¦³Ãö©w¸q¡B©w«ß¡B»P©w²z¡A¨Ã¥H¥R¸Îªº½d¨Ò»P²ßÃD¤Þ¾É§@§¹¥þåªR¡A±½°£ºÃ´b«Ø¥ß¥¿½TÆ[ÂI¡C¾Ç²ß¥»®Ñ·í¥i¤F¸Ñ¡G(1)¤ä´©¹q¸£À³¥Îªº¼Æ¾Ç·N¸q¡B(2)¹q¸£µwÅé¼Ò»s¤§¼Æ¾Ç¨Ì¾Ú¡B(3)³nÅéµ{¦¡»y¨¥»P¤åªk¤§¼Æ¾Ç²W·½¡C ¥þ®Ñ·§¤À¤Q¤T³¹¡A¤º®e¥]¬A¶°¦X(Set Theory)¡BÃö«Y¦¡(Relations)¡B¨ç¼Æ(Function)¡B¦V¶q»P¦æ¦C¯x°}(Vectors and Matrices)¡B¹Ï½×(Graph Theory)¡B¥¾ã¹Ï(Planar Graphs)¡BµÛ¦âªk(Colorations)¡B¾ð(Tree)¡B¦³¦V¹Ï(Directed Graphs)¡B¦³ª¬ºA¾¹(Finite State Machines)¡B²Õ¦X¤ÀªR(Combinatorial Analysis)¡B¥N¼ÆÆ[ÂI(Algebraic Systems)¡B»y¨¥(Formal Languages)¡BÅÞ¿è¥D±i(Proposition Calculus)¡B°¾§Ç¶°¦X(Partially Ordered Sets)¡B ÂI°}®æ(Lattices)¡B¥¬ªL¥N¼Æ(Boolean Algebra)¡B¦Û°Ê¾÷²z½×(Automata Theory)¡C ¤j±M°|®Õ¦P¾Ç¾Ç²ß¥»®Ñ¡A¥i¡G1.³þ©w¹q¸£½Òµ{¤§°ò¦¡B2.·Ç³Æ¬ã¨s©Ò¤J¾Ç¦Ò¸Õ¤§»Ýn¡B3.§@¬°ì¤å½Ò¥»¤§°Ñ¦Ò®Ñ¡C 1.¦b³þ©w¹q¸£½Òµ{¤§°ò¦¤W¡A¥»®Ñ¤ä´©½Òµ{¦³¡G (1) ¼Æ¦ìÅÞ¿è(¶°¦X¡BÃö«Y¦¡¡B²Õ¦X¤ÀªR¡BÅÞ¿è¥D±i¡B¥¬ªL¥N¼Æ)¡F (2) µ{¦¡»y¨¥(¨ç¼Æ¡B¦V¶q»P¦æ¦C¯x°}¡B²Õ¦X¤ÀªR¡BÅÞ¿è¥D±i¡B¥¬ªL¥N¼Æ)¡F (3) pºâ¾÷µ²ºc(¹Ï½×¡B¥¾ã¹Ï¡BµÛ¦âªk¡B°¾§Ç¶°¦X¡BÂI°}®æ)¡F (4) ½s͵{¦¡(¦³ª¬ºA¾÷¡B¦Û°Ê¾÷²z½×)¡F (5) ¸ê®Æµ²ºc(¾ð¡B¦³¦V¹Ï¡BÂI°}®æ)¡C 2.¦b·Ç³Æ¬ã¨s©Ò¤J¾Ç¦Ò¸Õ¤§»Ýn¤W¡A¥»®Ñ¥H370«h¥R¸Îªº½d¨Ò»P²ßÃD²[»\©Ò¦³¥i¯àªº¦ÒÃD¡A¸ÔºÉªº¸Ñµª±Ôz»P§¹¥þåªR¡C 3.¦b¥Î¬°ì¤å½Ò¥»¤§°Ñ¦Ò®Ñ¤W¡A¾Ç¹L¦¹½Òµ{ªÌ³£¦³¸gÅç¡AÂ÷´²¼Æ¾Ç¤§ì¤åÃã¥y¤£©ö²`¤Á¤F¸Ñ¡A¦Ó¥»®Ñ«h¥H²LÅã©öÀ´ªº¤¤¤å»y¥y¡AÅý«äºû»´ÃP¬yºZ¡A§ì¦í°ÝÃDªººëÅè¡A¥þ®Ñ½s¿è1,100Ó¤¤^¯Á¤Þ¡A¨¬°÷À³¥Î©ó¤¤^¤å¶¡¤§¥æ¬y¡C¥Ø¿ý²Ä¤@³¹ ¶°¦X (Set Theory) ²Ä¤G³¹ Ãö«Y¦¡ (Relations) ²Ä¤T³¹ ¨ç¼Æ (Function) ²Ä¥|³¹ ¦V¶q »P ¦æ¦C¯x°} (Vectors and Matrices) ²Ä¤³¹ ¹Ï½× (Graph Theory) ²Ä¤»³¹ ¥¾ã¹Ï(Planar Graphs)¡BµÛ¦âªk(Colorations)¡B¾ð(Tree) ²Ä¤C³¹ ¦³¦V¹Ï(Directed Graphs)¡B¦³ª¬ºA¾¹(Finite State Machines) ²Ä¤K³¹ ²Õ¦X¤ÀªR(Combinatorial Analysis) ²Ä¤E³¹ ¥N¼ÆÆ[ÂI(Algebraic Systems)»P»y¨¥(Formal Languages) ²Ä¤Q³¹ ÅÞ¿è¥D±i(Proposition Calculus) ²Ä¤Q¤@³¹ °¾§Ç¶°¦X(Partially Ordered Sets)»PÂI°}®æ(Lattices) ²Ä¤Q¤G³¹ ¥¬ªL¥N¼Æ(Boolean Algebra) ²Ä¤Q¤T³¹ ¦Û°Ê¾÷²z½×(Automata Theory)»P»y¨¥(Languages) ªþ¿ýA ¤¤^¤å¦Wµü¯Á¤Þ ªþ¿ýB ^¤å¦Wµü¯Á¤Þ ªþ¿ýC °Ñ¦Ò¸ê®Æ
´c§@¼@¼Æ¾Ç¡GÃö©ó¤p¤¡
§õ¥Ã¼Öªº¯«©_¼Æ¾Ç¡G²
¨âÓ¯¥Í¤Hªºª¼¥Ø¬ù·|
¼Æ¾Ç¤½¦¡¹ÏŲ¡G§Q¥Î¹Ï
¼w°ê¤@¬y¤j¾Ç±Ð§A¼Æ¾Ç
¡iÅý¥@¬É§ó¦³½ì¡jÀ¹¤W
³Ì¼sªx¹ê¥Îªº¼Æ¾Ç½Ò¡G
¥Í¬¡¤¤ªº¼Æ¾ÇÅ]ªk¡G°Ê
Åý¤T¥N¤H·R¤W¼Æ¾Çªº±Ò
¥b¤p®Éº©µe¦t©z¤jÃz¬µ
¬°¤F«O»Ù±zªºÅv¯q¡A·sµ·¸ôºô¸ô®Ñ©±©ÒÁʶRªº°Ó«~§¡¨É¦³¨ì³f¤C¤ÑªºÅ²½à´Á¡]§t¨Ò°²¤é¡^¡C°h¦^¤§°Ó«~¥²¶·©óŲ½à´Á¤º±H¦^¡]¥H¶lÂW©Î¦¬°õÁp¬°¾Ì¡^¡A¥B°Ó«~¥²¶·¬O¥þ·sª¬ºA»P§¹¾ã¥]¸Ë(°Ó«~¡Bªþ¥ó¡B¤º¥~¥]¸Ë¡BÀH³f¤å¥ó¡BÃØ«~µ¥)¡A§_«h®¤¤£±µ¨ü°h³f¡C