1.

Record Nr.

UNISA996387433103316

Autore

Ockford James

Titolo

The tryal of the truth [[electronic resource] ] : or rather, the law is the truth : Psalm CXIX, CXLII, wherein are presented to the upright in heart, certain theoretical queries ... which queries particularly and especially tend to make way for the finding out whether it be our duty to keep holy the seventh day Sabbath ... / / propounded by a lover of the truth, I.O., of age 57 years, who desireth that truth be preferred in all things above error, and virtue above vice .

Pubbl/distr/stampa

At Amsterdam, : Printed for the Author, 1656

Descrizione fisica

[5], 14 p

Soggetti

Sabbath

Sabbatarians

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Preface signed: James Oockford.

Reproduction of original in the Union Theological Seminary Library, New York.

Sommario/riassunto

eebo-0160



2.

Record Nr.

UNINA9910143592503321

Titolo

Computational Discrete Mathematics : Advanced Lectures / / edited by Helmut Alt

Pubbl/distr/stampa

Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001

ISBN

3-540-45506-X

Edizione

[1st ed. 2001.]

Descrizione fisica

1 online resource (VII, 173 p.)

Collana

Lecture Notes in Computer Science, , 0302-9743 ; ; 2122

Disciplina

510

Soggetti

Algorithms

Computer programming

Computer science—Mathematics

Computer graphics

Combinatorial analysis

Algorithm Analysis and Problem Complexity

Programming Techniques

Mathematics of Computing

Discrete Mathematics in Computer Science

Computer Graphics

Combinatorics

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references at the end of each chapters and index.

Nota di contenuto

Lattice Paths and Determinants -- The Nearest Neighbor -- Explicit and Implicit Enforcing - Randomized Optimization -- Codes over Z 4 -- Degree Bounds for Long Paths and Cycles in k-Connected Graphs -- Data Structures for Boolean Functions BDDs — Foundations and Applications -- Scheduling under Uncertainty: Bounding the Makespan Distribution -- Random Graphs, Random Triangle-Free Graphs, and Random Partial Orders -- Division-Free Algorithms for the Determinant and the Pfaffian: Algebraic and Combinatorial Approaches -- Check Character Systems and Anti-symmetric Mappings -- Algorithms in Pure Mathematics -- Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions.



Sommario/riassunto

This book is based on a graduate education program on computational discrete mathematics run for several years in Berlin, Germany as a joint effort of theoretical computer scientists and mathematicians in order to support doctoral students and advanced ongoing education in the field of discrete mathematics and algorithmics. The 12 selected lectures by leading researchers presented in this book provide recent research results and advanced topics in a coherent and consolidated way. Among the areas covered are combinatorics, graph theory, coding theory, discrete and computational geometry, optimization, and algorithmic aspects of algebra.