Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Ginat:1995:LIM,
author = "David Ginat",
title = "Loop invariants and mathematical games",
journal = j-SIGCSE,
volume = "27",
number = "1",
pages = "263--267",
month = mar,
year = "1995",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/199691.199812",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:28 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "The concept of combining loop invariants with
algorithm analysis and design is a significant
programming tool. However, teaching this concept is not
easy. One way of motivating and supporting the
introduction of such a concept, is by illustrating it
with attractive examples. In this paper we describe how
to illustrate it with mathematical games. In our
description, we emphasize the links between heuristic
search strategies, pattern exploration, induction, and
invariant construction.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- attractive,
24(1)107,
26(2)52,
28(1)363,
30(2)64,
30(3)81,
31(1)78
- combining,
24(1)197,
30(1)171,
30(3)77,
31(3)188
- construction,
22(3)2,
24(1)138,
25(1)151,
25(4)61,
26(1)339,
26(1)349,
27(1)345,
28(3)60,
29(1)179,
29(1)248,
29(3)130,
30(1)341,
30(3)162,
30(3)232,
31(1)87,
31(1)105,
31(1)110,
31(3)17
- description,
22(2)34,
25(2)1,
26(1)300,
26(3)51,
26(4)2,
27(1)228,
28(1)150,
28(z)101,
29(1)277,
29(1)282,
29(3)31,
30(1)166,
30(3)32,
30(3)37,
30(3)310,
31(1)17,
31(1)22,
31(1)100,
31(1)227,
31(3)127,
31(4)35,
31(4)48
- easy,
22(2)42,
23(3)17,
24(1)147,
24(1)259,
25(4)41,
26(1)51,
26(1)198,
26(1)300,
26(2)19,
27(4)54,
28(1)280,
28(3)5,
28(3)51,
28(3)55,
28(4)59,
29(1)229,
30(1)87,
30(1)145,
30(1)237,
30(1)341,
30(1)345,
30(2)48,
30(3)213,
30(4)59,
31(1)58,
31(1)222,
31(3)204
- emphasize,
22(3)39,
23(2)21,
24(3)29,
26(1)51,
26(1)92,
26(1)106,
26(1)169,
26(1)183,
26(1)253,
26(1)290,
26(2)2,
27(1)116,
27(1)126,
28(1)112,
28(1)160,
29(3)117,
30(1)166,
30(1)382,
30(4)18,
31(1)127,
31(4)56
- exploration,
28(1)305,
28(3)55,
29(3)62,
29(3)111,
30(1)1,
31(1)105,
31(1)311,
31(4)42
- game,
22(4)2,
24(3)35,
26(2)41,
26(4)25,
26(4)56,
27(1)248,
27(1)340,
27(2)59,
28(z)122,
29(1)184,
29(1)214,
29(3)114,
30(1)10,
31(1)242,
31(2)65,
31(3)135,
31(3)155,
31(3)190,
31(3)204
- Ginat, David,
28(1)256,
29(1)184,
31(1)127,
31(3)64
- heuristic,
24(3)53,
25(4)18,
28(1)155,
28(2)25,
29(2)17,
31(1)100
- however,
22(2)2,
22(2)52,
22(4)37,
23(3)36,
23(4)13,
24(1)173,
24(1)176,
24(2)20,
24(3)51,
24(4)11,
26(3)56,
27(1)44,
27(1)214,
28(1)83,
28(1)93,
28(1)310,
28(1)363,
28(2)25,
28(3)26,
29(1)6,
29(1)20,
29(1)219,
29(1)229,
29(1)243,
29(2)17,
29(3)1,
29(3)77,
29(3)100,
29(3)114,
29(3)127,
29(3)130,
30(1)20,
30(1)112,
30(1)145,
30(2)43,
30(2)53,
30(3)41,
30(3)46,
30(3)122,
30(3)162,
30(3)175,
30(3)213,
30(3)243,
30(4)39,
31(1)31,
31(1)43,
31(1)58,
31(1)122,
31(1)296,
31(2)17,
31(2)62,
31(3)171,
31(3)177,
31(4)70,
31(4)79,
31(4)121
- illustrate,
22(3)34,
24(1)76,
24(1)207,
24(3)35,
24(3)53,
26(1)83,
26(1)228,
26(1)238,
26(1)366,
26(2)19,
26(3)29,
27(1)126,
27(1)199,
27(1)340,
28(1)107,
28(1)160,
28(1)185,
28(1)256,
28(1)343,
28(1)348,
28(2)62,
28(4)36,
29(1)126,
29(1)135,
29(1)238,
29(1)243,
29(3)45,
30(1)48,
30(1)207,
30(1)217,
30(1)277,
30(3)171,
30(3)243,
31(1)53,
31(1)87,
31(1)136,
31(1)286,
31(1)367,
31(2)78,
31(3)198,
31(3)206
- illustrating,
26(1)46,
27(1)307,
28(1)130,
30(3)257
- induction,
30(3)219
- introduction,
22(1)31,
22(1)94,
23(1)82,
23(2)33,
23(3)20,
24(1)5,
24(1)147,
24(1)207,
24(4)35,
25(2)19,
26(1)16,
26(1)21,
26(1)71,
26(1)92,
26(1)243,
26(1)290,
26(1)373,
27(1)102,
27(1)136,
27(1)149,
27(1)199,
27(1)287,
27(1)360,
27(2)49,
27(4)5,
28(1)78,
28(4)45,
28(z)150,
29(1)121,
29(1)131,
29(1)238,
29(1)253,
29(1)345,
29(3)65,
29(4)57,
30(1)10,
30(1)40,
30(1)53,
30(1)161,
30(1)242,
30(1)287,
30(1)302,
30(1)312,
30(1)331,
30(1)341,
30(1)383,
30(3)282,
31(1)53,
31(1)242,
31(1)311,
31(2)81,
31(3)194,
31(4)48
- invariant,
23(1)112,
24(1)92,
26(1)141,
30(2)31
- link,
22(3)34,
27(3)27,
28(1)256,
28(1)333,
28(z)235,
29(1)315,
29(4)19,
30(3)162,
31(1)141,
31(3)201
- loop,
23(1)78,
23(2)24,
23(3)20,
24(1)92,
26(1)92,
26(1)141,
27(1)268,
28(3)51,
30(2)31,
30(3)69,
31(2)65,
31(3)167,
31(3)211
- mathematical,
22(1)22,
25(1)20,
25(1)78,
25(4)5,
26(1)290,
27(1)199,
27(1)355,
28(z)231,
29(1)238,
29(1)258,
29(4)57,
30(1)77,
30(1)97,
30(1)202,
30(1)252,
30(1)350,
30(1)365,
30(3)130,
30(3)232,
31(1)110,
31(2)28,
31(3)175,
31(4)32,
31(4)35
- motivating,
25(1)78,
26(4)25,
28(1)160,
28(1)195,
28(2)31,
30(1)68,
30(1)341,
30(3)228
- pattern,
22(3)39,
23(3)27,
24(3)1,
26(1)71,
26(1)281,
27(1)223,
28(1)27,
29(1)58,
29(3)54,
30(1)6,
30(1)48,
30(1)153,
30(1)326,
30(1)331,
30(1)336,
30(3)37,
30(4)18,
31(1)37,
31(1)87,
31(1)95,
31(1)127,
31(1)326,
31(4)101
- search,
22(3)7,
23(3)10,
23(4)7,
25(3)26,
25(4)41,
26(1)36,
26(3)29,
28(1)185,
28(3)5,
28(4)36,
29(1)72,
29(3)27,
30(1)297,
30(3)162,
31(1)110,
31(1)286
- significant,
22(2)30,
22(4)29,
23(3)20,
24(1)81,
24(2)59,
25(1)78,
26(1)80,
26(1)102,
26(1)188,
26(3)56,
27(1)48,
27(1)317,
27(1)350,
28(1)78,
28(1)363,
28(2)3,
29(1)63,
29(1)135,
29(1)306,
29(2)35,
29(3)1,
29(3)100,
29(3)120,
30(1)82,
30(1)282,
30(1)287,
30(1)312,
30(2)53,
30(3)51,
30(3)213,
30(3)219,
30(3)236,
30(3)243,
30(3)275,
31(1)110,
31(3)1,
31(3)64
- strategy,
23(3)23,
25(3)31,
26(1)131,
26(1)183,
26(1)253,
26(3)8,
26(4)56,
27(1)368,
27(3)47,
28(1)73,
28(3)45,
28(4)8,
29(1)10,
29(1)25,
29(1)296,
29(1)360,
29(3)94,
30(1)10,
30(1)131,
30(1)194,
30(1)312,
30(1)361,
30(3)46,
30(3)69,
30(3)105,
30(3)209,
30(3)213,
30(3)254,
30(3)274,
30(3)275,
30(3)285,
31(1)83,
31(1)132,
31(1)291,
31(3)52,
31(3)84,
31(3)127,
31(3)194,
31(3)200,
31(3)201,
31(3)208,
31(4)4
- supporting,
24(1)63,
27(1)19,
27(1)368,
28(1)217,
28(1)275,
28(1)280,
28(1)333,
28(1)363,
28(2)3,
28(z)116,
29(1)350,
29(3)42,
29(3)130,
30(1)126,
30(3)86,
30(3)162,
30(4)59,
31(1)281,
31(1)296,
31(3)203,
31(4)121
- way,
22(2)42,
22(4)37,
23(3)11,
23(3)31,
23(3)36,
24(1)92,
24(1)173,
24(1)240,
24(1)268,
24(1)272,
24(1)299,
24(1)304,
24(3)1,
24(4)27,
25(2)59,
25(3)58,
26(1)169,
26(1)213,
26(4)17,
27(1)1,
27(1)199,
27(1)223,
27(1)248,
27(1)273,
27(1)287,
27(1)307,
27(2)49,
27(3)21,
27(3)47,
27(4)13,
27(4)27,
28(1)47,
28(1)185,
28(1)295,
28(1)358,
28(4)3,
29(1)116,
29(1)174,
29(1)184,
29(1)238,
29(1)272,
29(1)306,
29(1)330,
29(3)57,
29(3)117,
29(4)30,
30(1)20,
30(1)107,
30(1)121,
30(1)126,
30(1)207,
30(1)242,
30(1)312,
30(1)331,
30(1)336,
30(1)350,
30(1)378,
30(1)382,
30(3)41,
30(3)122,
30(3)148,
30(3)206,
30(3)275,
30(4)61,
31(1)122,
31(1)127,
31(1)198,
31(1)203,
31(1)296,
31(2)60,
31(2)73,
31(3)1,
31(3)33,
31(3)119,
31(3)127,
31(3)147,
31(3)167,
31(3)171,
31(3)194,
31(4)13,
31(4)32,
31(4)79