69:) in 1951β1956. He earned his PhD in 1960 with "Algorithmic Operators on Constructive Complete Separable Metric Spacesβ. In 1968, he received the Russian doctoral degree (corresponding to a habilitation) from the same university . From 1960 to 2000 Tseitin worked at the
45:
in
Leningrad, USSR, deceased August 27, 2022 in Campbell, CA, USA) was a Russian mathematician and computer scientist, who moved to the United States in 1999. He is best known for
139:
305:
300:
315:
310:
77:
169:"St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics"
66:
192:
112:
111:
A. van
Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.T. Meertens, R.G.Fisker (1970).
156:
89:
G. S. Tseitin. βOn the complexity of derivation in propositional calculusβ in: J. Siekmann and G. Wrightson, editors,
46:
295:
290:
243:
133:
34:
200:
284:
262:
17:
53:, Tseitin tautologies used in the proof complexity theory, and for his work on
50:
152:
91:
Automation of
Reasoning 2: Classical Papers on Computational Logic 1967β1970
225:
168:
54:
76:
In 2006, Tseitin was recognized as a
Distinguished Scientist by the
65:
Tseitin studied mathematics at the
Leningrad State University (now
71:
Smirnov
Scientific Research Institute of Mathematics and Mechanics
42:
263:"ΠΠ΅ΡΡΠ΅Π»ΠΈ ΠΌΠ΅ΠΆΠ΄ΡΠ½Π°ΡΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΡΠΏΠ΅ΡΠ°Π½ΡΠΎ-Π΄Π²ΠΈΠΆΠ΅Π½ΠΈΡ. ΠΡΠΈΠ³ΠΎΡΠΈΠΉ Π¦Π΅ΠΉΡΠΈΠ½"
73:
and taught classes in computer science at his alma mater.
113:"Revised Report on the Algorithmic Language ALGOL 68"
8:
138:: CS1 maint: multiple names: authors list (
27:Russian mathematician and computer scientist
226:"Persons: Tseitin Grigorii Samuilovich"
103:
93:, S. 466β483. Berlin, Heidelberg, 1983.
131:
7:
306:21st-century Russian mathematicians
301:20th-century Russian mathematicians
25:
67:Saint Petersburg State University
316:Scientists from Saint Petersburg
1:
157:Mathematics Genealogy Project
31:Grigori Samuilovitsch Tseitin
244:"ΠΡΠΈΠ³ΠΎΡΠΈΠΉ Π‘Π°ΠΌΡΠΈΠ»ΠΎΠ²ΠΈΡ Π¦Π΅ΠΉΡΠΈΠ½"
311:Russian computer scientists
332:
267:Slavik.babil.komputilo.org
39:ΠΡΠΈΠ³ΠΎΡΠΈΠΉ Π‘Π°ΠΌΡΠΈΠ»ΠΎΠ²ΠΈΡ Π¦Π΅ΠΉΡΠΈΠ½
38:
120:softwarepreservation.org
193:"Dr. Gregory S Tseytin"
47:Tseitin transformation
41:, born November 15,
18:Gregory S. Tseytin
16:(Redirected from
323:
277:
275:
274:
258:
256:
255:
248:Cshistory.nsu.ru
239:
237:
236:
212:
211:
209:
208:
199:. Archived from
189:
183:
182:
180:
179:
165:
159:
150:
144:
143:
137:
129:
127:
126:
117:
108:
40:
21:
331:
330:
326:
325:
324:
322:
321:
320:
281:
280:
272:
270:
261:
253:
251:
242:
234:
232:
224:
221:
216:
215:
206:
204:
191:
190:
186:
177:
175:
167:
166:
162:
153:Grigori Tseitin
151:
147:
130:
124:
122:
115:
110:
109:
105:
100:
86:
63:
28:
23:
22:
15:
12:
11:
5:
329:
327:
319:
318:
313:
308:
303:
298:
293:
283:
282:
279:
278:
259:
240:
220:
219:External links
217:
214:
213:
197:awards.acm.org
184:
160:
145:
116:(PDF; 4,42 MB)
102:
101:
99:
96:
95:
94:
85:
82:
62:
59:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
328:
317:
314:
312:
309:
307:
304:
302:
299:
297:
294:
292:
289:
288:
286:
268:
264:
260:
249:
245:
241:
231:
227:
223:
222:
218:
203:on 2020-06-22
202:
198:
194:
188:
185:
174:
170:
164:
161:
158:
154:
149:
146:
141:
135:
121:
114:
107:
104:
97:
92:
88:
87:
83:
81:
79:
74:
72:
68:
60:
58:
56:
52:
48:
44:
36:
32:
19:
271:. Retrieved
269:(in Russian)
266:
252:. Retrieved
250:(in Russian)
247:
233:. Retrieved
229:
205:. Retrieved
201:the original
196:
187:
176:. Retrieved
172:
163:
148:
123:. Retrieved
119:
106:
90:
75:
70:
64:
30:
29:
296:2022 deaths
291:1936 births
51:SAT solvers
285:Categories
273:2018-12-25
254:2018-12-25
235:2018-12-25
230:Mathnet.ru
207:2018-12-25
178:2018-12-25
125:2018-12-25
98:References
61:Biography
173:Istc.int
134:cite web
55:Algol 68
49:used in
155:at the
35:Russian
84:Works
140:link
43:1936
78:ACM
287::
265:.
246:.
228:.
195:.
171:.
136:}}
132:{{
118:.
80:.
57:.
37::
276:.
257:.
238:.
210:.
181:.
142:)
128:.
33:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.