comp.lang.ada
 help / color / mirror / Atom feed
From: Mehdi Saada <00120260a@gmail.com>
Subject: Re: questions on input/output
Date: Sat, 6 Feb 2021 03:51:54 -0800 (PST)	[thread overview]
Message-ID: <3401b745-e012-485a-905d-1389189d6ec6n@googlegroups.com> (raw)
In-Reply-To: <92ef81c7-65d8-411f-97c7-7bfcc27213e1n@googlegroups.com>

Okay here's what I've got, excluding, the RM, Barne's, and another book on high-risk/ultra-advanced Ada that I uselessly bought but feel no remorse because I'm a fetishist.
Concrete Mathematics
Daniel J. Velleman-How to prove it_ a structured approach
Introduction to Algorithms Third Edition.pdf
John_W._McCormick,_Frank_Singhoff,_Jérôme_Hugue(b-ok.xyz).pdf
the-science-of-programming-gries
Programming and Problem Solving with Ada 95, Second Edition.pdf
The_Art_of_Computer_Programming - Vol 1.pdf
the Craft of Programming, Reynolds.pdf
thinkcomplexity.pdf

Proving things should come at last. I'm not averse to math but the difficulty isn't absent and I fear losing motivation if I stumble again like before... So my confidence isn't that high. Well, just give your opinion regardless. I want to get sound programming reasoning and understand algos of others, enough to implement them. I don't mind spending hours if it's step by step and high reward... so no unnecessary gimmicks. More theoretical/philosophical stuff, why not, eventually in parallel, if it's enjoyable. Tell which ones and which order.

  reply	other threads:[~2021-02-06 11:51 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-02-05 22:50 questions on input/output Mehdi Saada
2021-02-05 23:36 ` Jeffrey R. Carter
2021-02-06  0:59   ` Mehdi Saada
2021-02-06  1:34     ` Mehdi Saada
2021-02-06  2:13       ` Paul Rubin
2021-02-06  7:21     ` J-P. Rosen
2021-02-06  9:36 ` Dmitry A. Kazakov
2021-02-06 10:38   ` AdaMagica
2021-02-06 11:37     ` Mehdi Saada
2021-02-06 11:51       ` Mehdi Saada [this message]
2021-02-06 18:10         ` Paul Rubin
2021-02-06 18:55           ` Mehdi Saada
2021-02-06 20:26             ` Paul Rubin
2021-02-07  8:52               ` Mehdi Saada
2021-02-07 20:38                 ` Paul Rubin
2021-02-07  9:55             ` Gautier write-only address
2021-02-07 22:54               ` Mehdi Saada
2021-02-06 11:47     ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox